Tautologia, Contradição e Contingência.

Tautologia

Filósofo Ludwig Wittgenstein adotou a palavra tautologia para representar uma proposição composta que assume apenas o valor verdadeiro.

Exemplo:

Na eleição, o candidato será eleito ou não será eleito.

p = o candidato será eleito

~p = não será eleito

p            ~p         p v~ p

V            F            V

F             V            V

Neste caso utilizado a tabela do V(ou) fazer verificação que resultado em todos verdadeiros e com isso são valores Tautologia.

Contradição

Uma proposição composta é uma contradição se se ela subir apenas o valor lógico falso.

Exemplo:

O cão late e o ladrão corre se, e somente se, é mentira que o cão late o e ladrão corre.

p = O cão late.

q = O ladrão corre.

p            q           p ^ q     ~(p ^ q) (p ^ q)<->~(p ^ q)

V           V            V          F             F

V           F            F             V            F

F            V           F             V            F

F            F            F             V            F

Neste caso proposição composta que assume apenas o valor lógico falso que é uma contradição.

Contingência

Na contingência tem uma proposição composta que assumi os valores tanto verdade quanto falso.

Exemplo:

Joaquim dorme cedo se, e somente se, Joaquim dorme e Valdemar dorme tarde.

p = Joaquim dorme cedo.

q = Valdemar dorme tarde.

p            q            p ^ q     p <-> (p ^ q)

V           V            V           V

V           F             F            F

F            V            F            V

F            F             F            V

É uma contingência quando na última coluna tabela tem resultado verdade e falso.

Estarei colocando algumas referências para quem quiser se aprofunda mais afundo sobre lógica de programação.

Bons Estudos!

Referências

Lógica de Programação Algorítmica., Sérgio Guedes (Organizador)., Editora Pearson,2014.

Lógica Matemática., Jeferson Afonso Lopes de Souza, Pearson Education do Brasil Ltda.,