Diagramas lógicos Flashcards
Sentenças abertas são sentenças que possuem … Por esse
motivo, não é possível atribuir-lhes ….
termos variáveis.
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
Todo S é P é contrario a
Todo S não é P e nenhum S é P
Algum S é P é subcontrária a
Algum S não é P
Algum S é P é subcontrária a
Algum S não é P
Todo S é P é subalternante a
Algum S é P
Todo S não é P e nenhum S é P é subalternante a
Algum S não é P
