PDF Aula 034

Prévia do material em texto

02/08/2017
1
 Facebook: Brunno Lima III 
 Instagram: @profbrunnolima
 Periscope: @profbrunnolima
 : Professor Brunno Lima
 brunnolimaevp@gmail.com
CAPÍTULO 2 – DIAGRAMAS LÓGICOS
2.1) PROPOSIÇÕES CATEGÓRICAS
(FORMACANÔNICA)
Dizemos que proposições formadas com
algum dos termos TODO, ALGUM e NENHUM,
ou que tragam implícitas ideias associadas a
algum deles são chamadas proposições
categóricas. No entanto, tentaremos sempre
reduzir qualquer proposição desse tipo a uma
das formas a seguir, que dizemos estarem na
forma canônica.
 TODO A É B
 NENHUM A É B  ALGUM A É B
02/08/2017
2
 ALGUM A NÃO É B
2.2) EQUIVALÊNCIAS
Nem sempre as proposições aparecem na
sua forma canônica. Por exemplo, a frase
“Há homens mortais” exprime uma
proposição categórica, mas não está na
forma canônica. De modo a colocá-la na
forma canônica das proposições da forma
“Alguns A são B”,
teríamos de a exprimir através da frase
“Alguns homens são mortais”. A tabela que
se segue mostra algumas formas de
exprimir proposições categóricas, indicando
a sua transformação na forma canônica.