I.

Indique (sem justificar) o valor de verdade de cada uma das seguintes proposies:

1. Se um argumento tiver premissas verdadeiras e concluso verdadeira, vlido.
2. Se todos os brasileiros forem europeus, ento possvel que alguns europeus sejam
brasileiros e ainda que todos os europeus sejam brasileiros.
3. Se for falso que nem tudo o que luz ouro, ento necessariamente verdade que tudo o que luz
ouro.
4. A afirmao Qualquer pessoa se pode enganar no tem nenhum quantificador existencial.

II.
Justifique brevemente (no mximo, 2 linhas por justificao) o valor de verdade das seguintes
afirmaes, todas referentes ao argumento

Todos os animais so ratos. Os gatos so animais. Logo, os gatos so ratos.

1. O argumento tem validade no dedutiva, porque a concluso falsa.
2. A forma lgica da segunda premissa Alguns A so B.
3. O argumento formalmente invlido, embora possa ter validade informal.
4. A concluso do argumento uma proposio do tipo I.
5. O argumento tem um termo geral.
6. Na primeira premissa no h nenhum quantificador existencial.
7. Os termos gatos e ratos, como se referem ambos a animais, so co-extensionais.
8. A negao de Os gatos so ratos Os gatos no so ratos.

III.
Considere as seguintes proposies:

(P1) Existem gatos que so ternurentos.
(P2) Cavaco Silva Presidente da Repblica.
(P3) Qualquer aluno estudioso.
(P4) Nem todas as casas so amarelas.
(P5) Quem divino no mortal.
(P6) Todos os vestidos pretos so bonitos.
(P7) Alguns vestidos pretos so bonitos.
(P8) Algumas roupas so vestidos pretos.

1.
Reescreva na expresso cannica as proposies que, segundo a silogstica, seja possvel faz-lo e o no
estejam j.

. (P1) Alguns gatos so ternurentos.
. (P3) Todos os alunos so estudiosos.
. (P4) Algumas casas no so amarelas.
. (P5) Nenhum ser divino mortal.

2.
Justifique brevemente (no mximo, 3 linhas por justificao) o valor de verdade das seguintes
afirmaes, todas referentes s proposies acima apresentadas, na sua expresso cannica
(quando possvel):

a) Em todas as proposies h pelo menos 1 termo geral.
V. excepo de (P2), em que o sujeito termo singular, em todas as proposies
ambos os termos (sujeito e predicado) so termos gerais.
b) possvel construir um silogismo que tenha qualquer uma das proposies como uma
das premissas.
F. So todas possveis, excepo de (P2), cujo sujeito um termo singular as
premissas dum silogismo tm que conter 2 termos gerais (ser proposies do tipo
A/E/I/O).
c) possvel construir um silogismo que tenha como premissas (P6) e (P7).
F: os 2 termos (vestidos pretos e objectos bonitos) repetem-se nas 2 proposies
e apenas um deles poderia repetir-se, sendo o termo mdio.
d) Se (P6) for falsa, ento (P7) necessariamente verdadeira.
F. (P7) no a negao de (P6); a negao de (P6), A, Alguns vestidos pretos no
so bonitos, O.
e) O termo sujeito, em (P5) e em (P6), est distribudo em ambos os casos.
V. Ambos tm o quantificador universal Todos (P6) ou equivalente a Nenhum
(Quem () no > Nenhum).
f) Um silogismo que tenha como premissa (P7) nunca poder ter esta forma: Todo A
B. / Todo C A. / Logo, todo C B.
V. As duas premissas so universais afirmativas (A) e (P7) particular afirmativa (I).

3.
Construa um silogismo vlido que tenha como premissas (P6) e (P8).
Todos os vestidos pretos so bonitos.
Algumas roupas so vestidos pretos.
Logo, algumas roupas so bonitas. (1 figura)
ou
Logo, algumas coisas bonitas so roupas (4 figura)

4.
Identifique a figura do silogismo construdo na resposta anterior. Justifique a sua resposta.
(Se no foi possvel construir um silogismo vlido, construa um invlido com as referidas
premissas e responda a esta questo).
(ver resposta anterior)


IV.
Demonstre se estes 2 argumentos respeitam cada uma das regras do silogismo:

1.
Todos os polticos so homens. / Alguns cientistas so homens. / Logo, alguns cientistas so polticos.
1 regra: no: falcia do mdio no distribudo. 2: ok. 3: ok. 4: ok. 5: ok.

2.
Todos os polticos so homens. / Nenhum cientista poltico. / Logo, nenhum cientista homem.
1 regra: ok. 2: no: falcia da ilcita maior. 3: ok. 4: ok. 5: ok.