Lgica II

Curso: Filosofia 2001/2002

Exerccios Suplementares (Ficha n1 e 2)
1. Simbolize os argumentos seguintes:
a) Se hoje Quinta-feira ent!o amanh! Se"ta-feira. Se amanh! Se"ta-feira ent!o o #ia
#e$ois #e amanh! S%ba#o. Conse&uentemente se hoje Quinta-feira ent!o o #ia #e$ois
#e amanh! S%ba#o. 'Q S (.)
Soluo: QS S( Q(.
b) )oje fim #e semana se e s* se hoje S%ba#o ou (omingo. +ortanto hoje fim #e semana
#es#e &ue seja (omingo. 'F S (.)
Soluo: F'S() ( F.
,) Se a Sara -ai . festa ent!o ou o /i,ar#o ou a +aula -!o . festa. Se a Sara n!o -ai . festa
ent!o a +aula e o 0oa&uim -!o ambos . festa. +ortanto a +aula -ai . festa. 'S + / 0.)
Soluo: S'/+) S'+0) +.
2. Simbolize os argumentos e ,lassifi&ue-os:
a) (eus sumamente bom e to#o-$o#eroso. 1as se ele sumamente bom e to#o-$o#eroso o
mal n!o $o#e e"istir. 1as h% mal mais #o &ue sufi,iente. 2ogo ou (eus n!o sumamente
bom ou (eus n!o to#o-$o#eroso.
Soluo: 34 '34)1 1 34. 5rgumento -%li#o.
b) Se o $rofessor e"$li,ou bem a matria ent!o eu $asso a l*gi,a. Se eu $asso a l*gi,a ent!o
ou estu#ei a matria ou subornei o $rofessor. 6o entanto eu n!o subornei o $rofessor.
+ortanto se o $rofessor e"$li,ou bem a matria eu estu#ei a matria.
Soluo: 7+ +'1S) S 71. 5rgumento -%li#o.
8. Classifi&ue as seguintes f*rmulas #e tautologias ,ontra#i9:es ou ,ontingentes.
a) '+ Q) '+ Q). Soluo: ,ontra#i9!o.
b) + 'Q /). Soluo: ,ontingente.
,) ''+ Q) '/ S)) +. Soluo: tautologia.
;. 7s,re-a as %r-ores sem<nti,as #as f*rmulas #o e"er,=,io 8.
1
>. ?se as regras #e forma9!o $ara e"$li,ar se as f*rmulas seguintes s!o ou n!o s!o fbf.
a) /
b) '/)
,) +Q
#) Q /
e) 'Q /)
f) ''Q /) S)
g) 'Q /) S
h) ''Q) 'S))
Solu9!o: a) Sim@ b) 6!o@ ,) 6!o@ #) 6!o ofi,ialmente 'faltam os $arAntesis e"teriores) @ e) Sim@ f)
Sim@ g) 6!o ofi,ialmente 'faltam os $arAntesis e"teriores)@ h) 6!o.
B. (a#a a f*rmula CQ '/ 'S 4))D. Qual o <mbito #os o$era#ores:
a) +rimeira o,orrAn,ia #e EFG
b) Segun#a o,orrAn,ia #e EFG
,) H,orrAn,ia EFG
#) H,orrAn,ia #e EFG
Soluo: a) EQF@ b) ESF@ ,) 4o#a a f*rmula ECQ '/ 'S 4))DF@ #) F'/ 'S 4))F.
1.
2