Matemática
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 simples.
A seguir vamos compreender como se constrói essas tabelas-verdade partindo da árvore das possibilidades dos valores lógicos das preposições simples, e mais adiante veremos como determinar o valor lógico de uma proposição composta.
Proposição composta do tipo P(p, q)
Proposição composta do tipo P(p, q, r)
Proposição composta do tipo P(p, q, r, s)
A tabela-verdade possui 24 = 16 linhas e é formada igualmente as anteriores.
Proposição composta do tipo P(p1, p2, p3,..., pn)
A tabela-verdade possui 2n linhas e é formada igualmente as anteriores.
extraido de www.colegioweb.com.br
-
...::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,...
-
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) é...
-
Logica Proposição Composta
Tabela-Verdade de uma proposição composta Exemplo Veja como se procede a construção de uma tabela-verdade da proposição composta P(p, q) = ((p ⋁ q) → (~p)) → (p ⋀ q), onde p e q são duas proposições simples. Resolução Uma tabela-verdade...
-
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 →...
-
Lógica Tautologia
Tautologia Professor de Matemática e Biologia Antônio Carlos Carneiro BarrosoColégio Estadual Dinah Gonçalvesemail
[email protected] www.ensinodematemtica.blogspot.com.brwww.accbarrosogestar.blogspot.com.br WWW.profantoniocarneiro.com...
Matemática