FORMULA LÓGICA
Tautologica
Satisfasível
Insatisfasível
Falsificavel
Equivalência
Segue-se
Quando pelo menos uma condição da formula lógica é verdadeira.
A╞ B
Quando todas as condições da formula lógica é verdadeira.
Quando pelo menos uma condição é falsa.
Duas formulas A e B são logicamente equivalentes se as condições que satisfazem A são as mesmas que satisfazem B.
Quando todas as condições da tabela verdade são falsas.
click to edit
COMO PROVAR ??
Fazendo a tabela verdade
Somente se A for verdadeiro.
Necessário usar a tabela verdade na resolução.
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.