Validade e Satisfazibilidade

Validade e Satisfazibilidade

1. VÁLIDA / TAUTOLÓGICA

   • Quando toda coluna resultado da tabela verdade é VERDADEIRA (1)
   • Toda fórmula válida é também satisfazível

2. INSATISFAZÍVEL

   • Quando toda coluna resultado da tabela verdade é FALSO (0)
   • Toda fórmula insatisfazível é falsificável.

3. SATISFAZÍVEL

   • Quando pelo o menos uma linha da coluna resultado da tabela verdade é VERDADEIRA (1)

4. FALSIFICÁVEL

   • Quando pelo o menos uma linha da coluna resultado da tabela verdade é FALSO (0)

5. CONSEQUÊNCIA LÓGICA

   • • B é consequência lógica em A
       • B segue-se de A
       • se toda valoração que satisfaz A também satisfaz B
   • • A implica logicamente B
       • pois, toda linha da coluna A = p ∨ q → r que contém 1 (linhas 1,2,6,7,8) também contém 1 na coluna para B = p → r
         • Além disso, a terceira linha contém 1 para B = p → r e 0 para A = p ∨ q → r, o que é permitido pela definição.
   • EQUIVALENCIA LÓGICA
     • EQUIVALENCIA NOTÁVEL

Imagens e arquivos do mapa