Académique Documents
Professionnel Documents
Culture Documents
LGICAII
SEIJIFUJITAMatrcula:13306117
ListadeExerccios2
Questo1.[12pts]Transcrevaassentenasabaixoparaalinguagemdoclculode
predicadoscomidentidade,utilizandoanotaosugerida.
(a)PlatonoScrates,maslvarodeCamposFernandoPessoa.
(p:Platos:Scratesa:lvarodeCamposf:FernandoPessoa)
R:psa=f
(b)SePlatonoScrates,entoScratesnonemPlatonemAristteles.
(p:Platos:Scratesa:Aristteles)
R:psspsa
(c)OmestredePlatoumfilsofo.
(p:PlatoF:xumfilsofoM:xmestredey)
R:x(MxpFxy(MypFyyx))
(d)Oinventordarodanoexiste.
(R:xinventouaroda)
R:x(Rxy(Ryy=x))
(e)QualquerfilsofoquesejamestredePlatonoPlato.
(p:PlatoF:xumfilsofoM:xmestredey)
R:x(FxMxpxp)
(f)HpelomenosmaisumvulcanoalmdeMr.Spock.
(s:Mr.SpockB:xvulcano)
R:xy(BxByxyx=s)
ouxy(BxByx=s)
(g)SeMr.SpocknooCapitoKirk,entoexistempelomenosdoisindivduos.
(k:oCapitoKirks:Mr.Spock)
R:skxy(xy)
(h)HumoficialdaFrotaEstelarquevulcano,eoutroqueromulano.
(F:xumoficialdaFrotaEstelarR:xromulanoB:xvulcano)
R:xy((FxBx)(FyRy)xy)
(i)Nohmaisdoquedoisromulanos.
(R:xromulano)
R:xy(RxRyxyz(Rzzxzy))
(j)Todofazendeiroricotempelomenosduasfilhassolteiras.
(F:xumfazendeiroricoD:xfilhadeyS:xsolteira)
R:x(Fxyz(DyxSyDzxSzyz))
(k)Dadosdoisindivduosquaisquer,seoprimeirodiferentedosegundo,entoo
segundonoidnticoaoprimeiro.
R:xy(xyyx)
(l)Jooviuumpapagaio,eCarlosviuoutro.
(j:Jooc:CarlosP:xumpapagaioS:xviuy)
R:xy(SjxPxScyPyxy)
ouxy(SjxScyPxPy)
Questo2.[4pts]Usandotablssemnticos,determineseasfrmulasabaixoso
vlidasouno.(Incluaostablsnasrespostas!)
(a)xy((Rxyx=y)Ryx)
Fxy((Rxyx=y)Ryx)
Fy((Raya=y)Rya)
F
((Raba=b)Rba)
V
(Raba=b)
F
Rba
Rab
a=b
F
Raa
Raa
X
R:Afrmulavlida.
(b)xy(xyyx)
Fxy(xyyx)
Fy(ayya)
F
(aaaa)
F
aa
V
a=a
?
R:Afrmulanovlida.
(a)PaQb,x(QxPx)xy(x=y)
FPaQb,x(QxPx)xy(x=y)
V
PaQb
x(QxPx)
xy(x=y)
V
Pa
Qb
Pa
QbPb
FQb
VPb
Vxy(x=y)
Vy(a=y)
Va=b
VPa
X
R:Aconclusoconsequncialgica.
(b)x(PxQx),Pax(x=a)
Fx(PxQx),Pax(x=a)
Vx(PxQx)
VPa
Fx(x=a)
Fa=a
FPa
VPaQa
FPa
VQa
Fa=a Fa=a
X
R:Aconclusoconsequncialgica