Mindmap
Proposição lógica
Inhalt der Mindmap
Proposição lógica
Operação lógica
- Conjunção
- VERDADEIRO
- Toda proposição tem que ser V
- Disjunção inclusiva
- VERDADEIRO
- Basta apenas uma verdadeira
- Disjunção exclusiva
- VERDADEIRO
- Apenas uma V
- Condicional
- FALSO
- De V para F
- Bi-condicional
- VERDADEIRO
- Se todas forem V ou todas F
- Conjunção
Equivalência de proposição
- P → Q
- SE...ENTÃO
- ~Q → ~P
- VOLTA NEGANDO
- ~P V Q
- NEGA A PRIMEIRA OU COPIA A SEGUNDA
- P suficiente pára Q
- Q NECESSÁRIO PARA P
- P V Q
- DISJUNÇÃO
- ~P → Q
- SE NEGAR UMA...ENTÃO COPIA A OUTRA
- P ↔ Q
- P necessário /suficiente para Q
- P → Q
Negação
- LEIS DE MORGAN
- P ^ Q
- ~ P v ~ Q
- TROCA TUDO E POR OU
- ~ P v ~ Q
- P v Q
- ~ P ^ ~Q
- TROCA TUDO E POR OU
- ~ P ^ ~Q
- P→ Q
- P ^ ~ Q
- COPIA A PRIMEIRA E NEGA A SEGUNDA
- P ^ ~ Q
- P ↔ Q
- P + Q
- P OU OU Q
- P + Q
Classificação
- Tautologia
- Qd o resultado é sempre V
- Contradição
- Qd o resultado é sempre F
- Contigência
- Qd o resultado é sempre V e F
- Tautologia
Proposição categóricas
- Negação
- Todo
- Algum....não
- Algum
- Pelo menos um...
- Existe....
- Nenhum
- Algum....é...
- Todo
- Negação