Matemática
AS TABELAS VERDADE
A lógica clássica é governada por três princípios (entre outros) que podem ser formulados como segue:
· Princípio da Identidade: Todo objeto é idêntico a si mesmo.
· Princípio da Contradição: Dadas duas proposições contraditórias (uma é negação da outra), uma delas é falsa.
· Princípio do Terceiro Excluído: Dadas duas proposições contraditórias, uma delas é verdadeira.
Com base nesses princípios as proposições simples são ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; daí dizer que a lógica clássica é bivalente.
Para determinar o valor (verdade ou falsidade) das proposições compostas (moleculares), conhecidos os valores das proposições simples (atômicas) que as compõem usaremos tabelas-verdade :
1.Tabela verdade da
"negação" :
~p é verdadeira (falsa) se e somente se
p é falsa (verdadeira).
2. Tabela verdade da
"conjunção" : a conjunção é verdadeira se e somente os conjunctos são verdadeiros.
3. Tabela verdade da
"disjunção" : a disjunção é falsa se, e somente, os disjunctos são falsos.
4. Tabela verdade da
"implicação": a implicação é falsa se, e somente se, o antecedente é verdadeiro e o conseqüente é falso.
5. Tabela verdade da
"bi-implicação": a bi-implicação é verdadeira se, e somente se seus componentes são ou ambos verdadeiros ou ambos falsos
Exemplo: Construir a tabela verdade da fórmula :
((p Ú q) ® ~p) ® (q Ù p)p | q | ((p Ú q) ® ~p) ® (q Ù p) |
V | V | V | F | F | V | V |
V | F | V | F | F | V | F |
F | V | V | V | V | F | F |
F | F | F | V | V | F | F |
·NÚMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposição simples (atômica) tem dois valores V ou F, que se excluem. Para
n atômicas distintas, há tantas possibilidades quantos são os arranjos com repetição de 2 (V e F) elementos
n a
n. Segue-se que o número de linhas da tabela verdade é 2
n. Assim, para duas proposições são 2
2 = 4 linhas; para 3 proposições são 2
3 = 8; etc.
Exemplo: a tabela - verdade da fórmula
((p Ù q) ® r) terá 8 linhas como segue :
p | q | r | ((p Ù q) ® r ) |
V | V | V | V V |
V | V | F | V F |
V | F | V | F V |
V | F | F | F V |
F | V | V | F V |
F | V | F | F V |
F | F | V | F V |
F | F | F | F V |
NOTA: "OU EXCLUSIVO" É importante observar que "ou" pode ter dois sentidos na linguagem habitual:
inclusivo(disjunção)
Ú ("vel") e
exclusivo Ú ( "aut") onde
p Úq significa
((p Ú q) Ù~ (p Ù q)).
p | q | ((p Ú q) Ù ~ (p Ù q)) |
V | V | V F F V |
V | F | V V V F |
F | V | V V V F |
F | F | F F V F |
CELINA ABAR
-
...::definição De Função Do 1º Grau E Zero De Uma Função Do 1º Grau::...
FUNÇÃO DO 1º GRAU Prof. Esp. Deivison da Silva e Silvae-mail:
[email protected]...
-
Post De Número 260
É com muita felicidade, que nós do Clave de Pi chgamos a marca de nosso post de numero 260. Agradecemos a todos que acessam nosso blog, pois sem vocês nada existiria. Também agradecemos a todos que comentam em nosso blog, aos nossos parceiros e todos...
-
Tautologia E Contra -tautologia
· TAUTOLOGIA ou FÓRMULA LOGICAMENTE VÁLIDA : Fórmula que possui apenas valor V em sua tabela verdade. Exemplo : p Ú~ p p~ pp Ú ~ p1VF V2FV V · CONTRA-TAUTOLOGIA...
-
Fatoração
Professor de Matemática no Colégio Estadual Dinah GonçalvesE Biologia na rede privada de Salvador-BahiaProfessor Antonio Carlos carneiro Barrosoemail
[email protected] HTTP://ensinodematemtica.blogspot.com eHTTP://accbarroso60.wordpress.com...
-
NoÇÕes De LÓgica MatemÁtica
CÁLCULO PROPOSICIONAL Como primeira e indispensável parte da Lógica Matemática temos o CÁLCULO PROPOSICIONAL ou CÁLCULO SENTENCIAL ou ainda CÁLCULO DAS SENTENÇAS. CONCEITO DE PROPOSIÇÃO PROPOSIÇÃO: sentenças...
Matemática