Lógica tautologia
Matemática

Lógica tautologia


Tautologia

Professor de Matemática e Biologia Antônio Carlos Carneiro Barroso
Colégio Estadual Dinah Gonçalves
email [email protected]        
 www.ensinodematemtica.blogspot.com.br
www.accbarrosogestar.blogspot.com.br 
WWW.profantoniocarneiro.com        



Tautologia é uma proposição cujo valor lógico é sempre verdadeiro.

Exemplo

A proposição p ∨ (~p) é uma tautologia, pois o seu valor lógico é sempre V, conforme a tabela-verdade.



Exemplo

A proposição (p Λ q) → (p → q) é uma tautologia, pois a última coluna da tabela-verdade só possui V.




Contradição

Contradição é uma proposição cujo valor lógico é sempre falso.

Exemplo

A proposição (p Λ q) Λ (p Λ q) é uma contradição, pois o seu valor lógico é sempre F conforme a tabela-verdade. Que significa que uma proposição não pode ser falsa e verdadeira ao mesmo tempo, isto é, o principio da não contradição.




Exemplo

A proposição ~(p ν q) Λ (p Λ q) é contraválida, pois a última coluna da tabela-verdade só possui F.



Contingência

Quando uma proposição não é tautológica nem contraválida, a chamamos de contingência ou proposição contingente ou proposição indeterminada.




- ...::introdução Ao Estudo Da Lógica Matemática::...
LÓGICA MATEMÁTICA Prof. Esp. Deivison da Silva e Silvae-mail:[email protected] Lógica Matemática No estudo da Lógica Matemática o primeiro conceito que vamos tratar é o conceito de Proposição. PROPOSIÇÃO: é toda sentença,...

- Equivalência Logica
Definição Há equivalência entre as proposições P e Q somente quando a bicondicional P ↔ Q for uma tautologia ou quando P e Q tiverem a mesma tabela-verdade. P ⇔ Q (P é equivalente a Q) é o símbolo que representa a equivalência lógica. ...

- Lógica Matemática/cálculo Proposicional
Proposição]Proposição é uma sentença declarativa afirmativa que pode assumir um valor de Verdadeiro (V) ou Falso (F).Como exemplo de proposições temos:A terra é redonda.O dado é quadrado.As proposições, de acordo com a lógica clássica,...

- Implicação Logica
. Implicação lógica Definição A proposição P implica a proposição Q, quando a condicional P → Q for uma tautologia. O símbolo P ⇒ Q (P implica Q) representa a implicação lógica. Diferenciação dos símbolos → e ⇒ O símbolo →...

- Logica Tabela Verdade
Tabela-Verdade A tabela-verdade é usada para determinar o valor lógico de uma proposição composta, sendo que os valores das proposições simples já são conhecidos. Pois o valor lógico da proposição composta depende do valor lógico da proposição...



Matemática








.