Matemática
Tautologia
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
Logica
Tautologia
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...