3 - Diagramas lógicos

Prévia do material em texto

REVISÃO 
Informações Relevantes 
• Sentenças abertas são sentenças que possuem termos variáveis. Por esse motivo, não é possível 
atribuir-lhes valor lógico. 
• Quantificadores são palavras ou expressões que transformam uma sentença aberta em uma 
proposição. 
• Sentenças abertas transformadas em proposições com o uso de quantificadores são denominadas 
proposições quantificadas. 
• São quantificadores universais (∀): "todo(s)", "toda(s)", "qualquer", "nenhum". 
• São quantificadores existenciais (∃): "algum", "pelo menos um", "existe". 
• Para negar proposições quantificadas devemos substituir o tipo de quantificador e negar o predicado. 
• Tenha atenção com as proposições iniciadas com "nenhum" pois são equivalentes a usar "todo... 
não...". Logo, ao negar esse tipo de proposição universal, devemos apenas substituir o quantificador 
"nenhum" por um quantificador existencial. 
• Proposições categóricas são proposições que estabelecem uma relação de inclusão/exclusão entre 
duas classes (categorias). 
• Proposições categóricas não deixam de ser proposições quantificadas. Então, tudo que vimos para 
proposições quantificadas também se aplica a elas. 
• As formas de proposições categóricas são representadas pelas letras A, E, I e O. 
 ___________________________________________________________________________________ 
Esquemas e Diagramas 
 
 
 
 
 
 
 
 
 
 
 
12010637798 - Igrezio Ramos da Cruz