Lógica Matemática - 3/4

    Para falarmos de tautologia precisamos entender que ela é uma proposição formada por outras proposições (p, q, r, s...) junto com conectivos, modificadores ou condicionais.

    A característica principal de uma tautologia é que ela sempre terá um valor lógico verdadeiro independentemente dos valores lógicos de p, q, r...

EXEMPLO:

( p ∧ ~p ) → ( q ∨ p )

    Uma proposição logicamente falsa é formada por outras proposições (p, q, r, s...) junto com conectivos, modificadores ou condicionais.

    A sua característica principal é que essa proposição sempre terá um valor lógico falso independentemente dos valores lógicos de p, q, r...

EXEMPLO:

( p ∨ ~q ) ↔ ( ~p ∧ q )

    Com as proposições p e q, temos a implicação de p em q ( p ⇒ q ). Isso acontece quando não temos na tabela simultaneamente p verdadeira e q falsa. Observe que p implica q quando ( p → q ) é verdadeira.

    

EXEMPLO:

2 | 4 ⇒ 2 | 4 × 5

    Com as proposições p e q, temos a equivalência de p em q ( p⇔q ). Isso acontece quando p e q têm as mesmas tabelas de lógica, assim como seus valores lógicos. Observe que p é equivalente a q quando p ↔ q é verdadeira.

EXEMPLO:

(p → q) ⇔ (~q → ~p)

*Todos os direitos deste post estão reservados ao autor.

Mais informações.