Please enable JavaScript.
Coggle requires JavaScript to display documents.
FORMULA LÓGICA (Segue-se (A╞ B, Somente se A for verdadeiro., Necessário…
FORMULA LÓGICA
-
-
-
-
Equivalência
Duas formulas A e B são logicamente equivalentes se as condições que satisfazem A são as mesmas que satisfazem B.
Segue-se
-
-
-
Se A for 0(zero), não analisamos.
-
OBSERVAÇÕES
- Toda fórmula tautológica é também satisfazível.
- Toda fórmula insatisfazível é também falsificável.
- Uma fórmula não pode ser satisfazível e insatisfazível.
- Uma fórmula não pode ser válida e falsificável.
- Se A é satisfazível, ~A é falsificável, e vice-versa
- Existem fórmulas que são tanto satisfazíveis como falsificáveis.
-