LÓGICA

PROF. DIONATAN
NADALON
dionatan.nadalon@iffarroupilha.edu.br
 REVISÃO
Conjunção Disjunção Condicional Bicondicional
‘e’ ‘∧’ ‘ou’ ‘∨’ ‘se então’ ‘→’ ‘se e somente se’ ‘’
p q p∧q p q p∨q p q p→q p q pq
V V V V V V V V V V V V
V F F V F V V F F V F F
F V F F V V F V V F V F
F F F F F F F F V F F V
 TABELA VERDADE
1. Tabela-Verdade de um Proposição Composta

Dadas várias proposições simples p, q, r, ..., podemos combiná-las pelos

conectivos:
~, ∧, ∨, →,
e construir proposições compostas, tais como:
P(p, q) = ~p ∨ (p→q)
Q(p, q) = (p →~q) ∧ q
R(p, q, r) = (p → ~q ∨ r) ∧ ~(q ∨ (p ~r))
Então, com o emprego das tabelas-verdade das operações lógicas fundamentais é
possível construir a tabela-verdade correspondente a qualquer proposição composta
dada, tabela-verdade esta que mostrará exatamente os casos em que a proposição
composta será verdadeira (V) ou falsa (F), admitindo-se, como é sabido, que o seu
 TABELA VERDADE
2. Número de Linhas de uma Tabela-Verdade

O número de linhas da tabela-verdade de uma proposição composta depende do

número de proposições simples que a integram, sendo dado pelo seguinte teorema:

A tabela verdade de uma proposição composta com proposições simples

componentes contém linhas.
 TABELA VERDADE
3. Construção da Tabela Verdade de um Proposição Composta

Exemplo 1:
P(p, q) = ~(p ∧ ~q)
p q ~q p ∧ ~q ~(p ∧ ~q)
V V F F V
V F V V F
F V F F V
F F V F V
 TABELA VERDADE
Exemplo 1: (2° Resolução)

P(p, q) = ~(p ∧ ~q)

~ (p ∧ ~ q)
V V F F V
F V V V F
V F F F V
V F F V F
4° 1° 3° 2° 1°
 TABELA VERDADE
Exemplo 2:
P(p, q) = ~(p ∧ q) ∨ ~(q p)

p q p∧q q p ~(p ∧ q) ~(q p) ~(p ∧ q) ∨ ~(q p)

V V V V F F F
V F F F V V V
F V F F V V V
F F F V V F V
 TABELA VERDADE
Exemplo 2: (2° Resolução)

P(p, q) = ~(p ∧ q) ∨ ~(q p)

~ (p ∧ q) ∨ ~ (q p)
F V V V F F V V V
V V F F V V F F V
V F F V V V V F F
V F F F V F F V F
3° 1° 2° 1° 4° 3° 1° 2° 1°
 EXERCÍCIOS
1 - Construir as tabelas-verdades das seguintes proposições:

a) ~(p ∨ ~q)
b) ~(p → ~q)
c) p ∧ q → p ∨ q
d) ~p → (q → p)
e) (p → ~q) → p ∧ q
f) q ~q ∧ p
g) (p ~q) q → p
h) (p ~q) → ~p ∧ q
 REFERÊNCIA
Alencar Filho, Edgard de, 1913. Iniciação a Lógica Matemática / Edgar de Alencar
Filho – São Paulo: Nobel, 2002.