UABUFSCGRADUAOEMFILOSOFIAEADPLOTUBARO

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.

Questo 3. [4 pts] Usando tabls semnticos, determine, nos casos abaixo, se as

concluses indicadassoconsequncialgicaounodaspremissas.(Incluaostabls
nasrespostas!)

(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