Tautologia

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (328 palavras )
  • Download(s) : 0
  • Publicado : 17 de outubro de 2012
Ler documento completo
Amostra do texto
Disciplina: Matemática Computacional Prof. Diana de Barros Teles

AULA 3 Tautologias, Contradições, Contingências e Equivalências

Conceito:
Tautologia: →raciocínio que consiste em repetir com outras palavras o que se pretende demonstrar. → função lógica que sempre se converte em uma proposição verdadeira sejam quaisforem os valores assumidos por suas variáveis.

Tautologias
Uma tautologia é intrinsecamente verdadeira pela sua própria estrutura, ela é verdadeira independentementedos valores lógicos atribuídos às suas letras de proposição. Exemplo: (p → q) ↔ (~q → ~p) p V V F F q V F V F ~p F F V V ~q F V F V p → q ~q → ~p (p → q) ↔ (~q →~p) V F V V V F V V V V V V

Contradição
Uma contradição é intrinsecamente falsa pela sua própria estrutura. Exemplo: (p v ~p) → ( q ∧ ~q) p V V F F q V F V F ~p FF V V ~q F V F V p v ~p V V V V q ∧ ~q F F F F (p v ~p) → (q ∧ ~q) F F F F

1

Contingências
Uma contingência é toda proposição composta que não é tautologianem contradição.

Equivalências lógicas
Uma proposição P é sempre logicamente equivalente ou apenas equivalente a uma proposição Q, se as tabelas-verdade destasduas proposições são idênticas. Em particular, se as proposições P e Q são ambas tautológicas ou são ambas contradições, então são equivalentes.

Exemplo 1: Ascondicionais “p → p ∧ q” e “p → q” tem tabelas verdades idênticas. p V V F F q V F V F p∧ q V F F F p→ p∧ q V F V V p→ q V F V V

Exemplo 2: As condicionais “p ↔ q” e“(p → q) ∧ (q → p)” tem tabelas-verdades idênticas.

p V V F F

q V F V F

p↔ q V F F V

p→ q V F V V

q→ p V V F V

(p → q) ∧ (q → p) V F F V

2

tracking img