Please enable JavaScript.
Coggle requires JavaScript to display documents.
PROPOSIÇÃO CATEGÓRICA, Universais, Existencial, Todo A é B, Nenhum A é B,…
PROPOSIÇÃO CATEGÓRICA
POSSUI QUANTIFICADOR
Formas Canônicas
EQUIVALÊNCIAS
Universais
Todo e Nenhum
Existencial
Algum
(Existe, Há, Pelo menos um, ...)
Todo A é B
Não Comutativa
Exceto (Se A=B)
Nenhum + não é
Nenhum A é B
Comutativo (Equivalente)
Todo + não
Algum A é B
Comutativo (Equivalente)
Algum A não é B
Não Comutativa
Nem todo
Algumas Prop categóricas, mas não canônicas
Formas equivalentes
SE ENTÃO
Condicional
E
-
SE ENTÃO
Condicional
Se A, então NÃO B
Se B, então NÃO A
E
-
A E não B
Indução - Do particular para o geral
Inferência INDUTIVA
Usar conjuntos (Diagramas)
UA
UN
EA ou Partic. Afirm.
EN ou Partic Neg.
Contrapositiva
:warning:
Universal X Existencial
:warning:
