APOSTILA

DE

Introdução
a
LÓGICA
(TABELA VERDADE)

Professor Jean A. A. Vieira

e-mail: professorjean@yahoo.com.br
 Lógica

O que é lógica?
Lógica: Conhecimentos das formas gerais e regras gerais do pensamento correto e
verdadeiro, independentemente dos conteúdos pensados; regras para
demonstração cientifica verdadeira; regras para pensamentos não–científicos;
regras sobre o modo de expor o conhecimento; regras para verificação da verdade
ou falsidade de um pensamento etc. ( Chauí, 2002 ).

Considere os exemplos:
 Todo homem é mortal. José é um homem. Portanto, José é mortal.

 Todo cão late. Totó é um cão. Portanto, Totó late.

 Todo X é Y. Z é X. Portanto, Z é Y.

Alfabeto – O alfabeto da Linguagem da Lógica é definido pelo conjunto de

símbolos descritos a seguir.

Símbolos de Pontuação: ( , ).
Símbolos de verdade : True (V), False (F).
Símbolos proposicionais: P, Q, R, S, P1, Q1, R1, S1, P2, Q2, .....
Símbolos Conectivos proposicionais: ~, v, v, ^, →, ↔ .

Observe que o alfabeto da Lógica é constituído de infinito símbolos, e é dividido em

4 classes de símbolos.

Os conectivos são símbolos utilizados frequentemente na matemática e possuem as

seguintes denominações. O símbolo ~ é denominado por “NÃO“, v por “OU”, ^ por
“E”, → por “Implica”, ↔ por “Bi-condicional”.

Professor Jean A. A. Vieira

e-mail: professorjean@yahoo.com.br
Fórmulas – O conjunto de fórmulas da Lógica, que são formadas pela
concatenação de símbolos, que é definida a seguir:

 Todo símbolo de verdade é uma fórmula.

 Todo símbolo proposicional é uma fórmula.
 Se H é uma formula então (~H), a negação de H, é uma formula.
 Se H e G são fórmulas então (H v G) é uma formula. Esta fórmula é a
disjunção das formulas H e G.
 Se H e G são fórmulas então (H ^ G) é uma formula. Esta fórmula é a
conjunção das fórmulas H e G.
 Se H e G são fórmulas então (H → G) é uma formula. Neste caso H é o
antecedente e G o Conseqüente da formula (H→G).
 Se H e G são fórmulas então (H ↔ G) é uma formula. Neste caso H é o lado
esquerdo e G o lado direito da fórmula (H↔G).

Tabela Verdade – Esta é um instrumento para que possamos interpretar a

lógica com diferentes condições, alem de servir como base para a aplicação das
formulas matemáticas de lógica.

Exemplos de conectivos proposicionais:

^ ou “e” – A condição ^ é verdadeira se p e q forem verdadeiros.

p ^ q = p^q
V V = V
V F = F
F V = F
F F = F

v ou “ou” – A condição v é verdadeira se p ou q forem verdadeiros ou ambos

verdadeiros.

p v q = pvq
V V = V
V F = V
F V = V
F F = F

v ou “ou exclusivo” – A condição v é verdadeira somente se p ou q forem

verdadeiros.

p v q = pvq
V V = F
V F = V
F V = V
F F = F

Professor Jean A. A. Vieira

e-mail: professorjean@yahoo.com.br
→ ou “Implica” - A condição → só é falsa se p for verdadeiro e q for falso.

p → q = P→q
V V = V
V F = F
F V = V
F F = V

↔ ou “Bi-Condicional” - A condição ↔ só é verdadeira se ambas forem iguais.

p ↔ q = P↔q
V V = V
V F = F
F V = F
F F = V

~ ou “Negação” - A regra “não” dita: tudo que for falso se torna verdadeiro e vice
versa.

p ~p
V F
V F
F V
F V

REGRA : Para que eu possa montar uma tabela verdade usando duas condições
( p e q) devo seguir a estrutura abaixo para que sejam aplicadas todas as
possibilidades de combinações possíveis.

p q
V V
V F
F V
F F

Podemos observar que temos todas as combinações V e F possíveis.

Professor Jean A. A. Vieira

e-mail: professorjean@yahoo.com.br
Exemplo de uma tabela verdade aplicando todos os Conectivos:

p Q p^q pvq Pvq p→q p↔q ~p ~q

V V V V F V V F F
V F F V V F F F V
F V F V V V F V F
F F F F F V V V V

Exemplo de equações e suas resoluções:

1- p ^ q

P q p^q
V V V
V F F
F V F
F F F

2- (p^q) → (pvq)

P q p^q pvq p^q→pvq

V V V V V
V F F V V
F V F V V
F F F F V

Podemos observar que a montagem é padrão montamos a coluna p depois a q,

depois inserimos as concatenações da equação uma a uma até resolvermos a
equação por completo.

Exercícios
1 – Construa as representações de tabela verdade das equações abaixo:

a)- ~q ^ (p v q) b)- (p → ~q) c)- (p ^ q) v (p v q)

d)- ~(p → q) ↔ (p v q) e)- (p ↔ q) ^ ~q f)- ~(p↔q) ↔ ((p v q) v p)

Professor Jean A. A. Vieira

e-mail: professorjean@yahoo.com.br