Universidade de Bras lia Departamento de Filosofia - Logica 1 (2010/01) - Lista 1

Prof. Alexandre Costa-Leite

1. Uma teoria T implica os seguintes enunciados categricos: o Nenhum no-S no-P e Algum no-S no-P. a e a a e a E T uma teoria contraditria? Quais proposies podemos inferir a partir o co de T ? Justique. 2. Construa diagramas de Venn e verique se so vlidas as seguintes ina a ferncias (justique!): e (2.1) (2.2) (2.3) (2.4) Algum S P. Portanto, algum no-no-S no-no-P; e a a e a a Todo no-S P. Deste modo, nenhum no-S no-P; a e a e a x(Sx P x) e x(P x Qx). Assim, x(Sx Qx); x(Sx P x) e x(P x Qx). Logo, x(Sx Qx).

3. Explique os princ pios lgicos. o 4. O que uma inferncia indutiva? O que uma inferncia dedutiva? D e e e e e exemplos. 5. (5.1) Dado que o valor de verdade de uma proposio da forma ca (I) Algum S P. e indeterminado, o que podemos armar acerca dos valores de (A), (E) e e (O)? E se o valor de (I) fosse verdadeiro? Justique. (5.2) Dado que o valor de verdade de uma proposio da forma ca Se todo S P, ento algum S no P. e a a e falso, o que podemos armar acerca dos valores de (A), (E), (I) e (O)? e (5.3) Dena um quadrado lgico para o quanticador existencial. o