INTRODUÇÃO À

LÓGICA
BIVALENTE
Bivalente?

Valor lógico: Verdadeiro ou Falso

Mas o que é Verdadeiro ou Falso?

 Proposições
■ Uma proposição é toda a expressão p suscetível
de ser verdadeira ou falsa.
Princípio de não contradição: Uma proposição não
pode ser verdadeira e falsa simultaneamente.
■ Exemplos:
-  é um número irracional.
- 2 é maior que 3.
- Hoje está sol.
- Ontem choveu.
 Proposições equivelentes

■ Quando duas proposições possuem o mesmo

valor lógico dizemos que são equivalentes e
representamos com o símbolo .

■ Exemplo: Sejam p: 0>1 e q: 2³=6 duas

proposições. Temos que p q.
 Operações lógicas
■ Negação (~)
– A negação de uma proposição verdadeira é uma proposição
falsa.
– A negação de uma proposição falsa é uma proposição
verdadeira.
– Exemplo: Tabela de Verdade
o p: 2=3. ~p: 23.
p ~p
CUIDADO: negação NÃO é o F V
mesmo que o V F
“contrário/oposto/inverso”.
 % $
# !
@ ? 2 4
78 XLR8
Todos os símbolos neste slide são números. FALSA

(oposto/inverso/contrário) Nenhum símbolo neste slide é um número. FALSA

(negação) Nem todos os símbolos neste slide são números. VERDADEIR

A
Pág. 14,15, n°1,2,3,4,
Pág. 17, n° 5
■ Conjunção()
A conjunção de duas proposições, p e q, é uma nova proposição que é
verdadeira quando p e q são simultaneamente verdadeiras e é falsa
caso contrário.
Exemplo:
2 é um número primo E 3 é um número ímpar.
10 é múltiplo de 5 E 15 é divisível por 2.
Tabela de verdade:
p q pq p V F
V V V q
V F F V V F
F V F
F F F
F F F
■ Disjunção()
A disjunção de duas proposições, p e q, é uma nova proposição que é
verdadeira quando pelo menos uma das proposições é verdadeira e
falsa quando todas as proposições são simultaneamente falsas
Exemplo:
2 é um número primo OU 3 é um número ímpar.
10 é múltiplo de 5 OU 15 é divisível por 2.
Tabela de verdade:
p q pq p V F
V V V q
V F V V V V
F V V
F V F
F F F
Princípio de não contradição: Uma proposição não pode ser
verdadeira e falsa simultaneamente, pelo que a proposição é
sempre falsa.

Princípio do terceiro excluído: Uma proposição ou é verdadeira ou

é falsa, pelo que a proposição é sempre verdadeira.

p ~p p ~p p ~p p ~p
V F V V F F
F V V F V F

Pág. 19,21, n°6,7,8,9

 ■ Implicação ()
Dadas as proposições p e q, chama-se implicação entre p e q a
uma nova proposição que só é falsa se p for verdadeira e q for
falsa. Representa-se por p q e lê-se “p implica q” ou “ se p,
então q”. Neste caso, p é o antecedente e q é o consequente.
Exemplo: Se chover, então vou estudar.
Se as galinhas têm dentes, então os porcos voam.

p q p q
TPC: V V V Pág. 23, n°12, 13 14
Pág. 34, 35, n°33, 34, 35 39, Pág. 24, n° 15, 16
V F F
F V V
F F V
 Convenções
■ Primeira operação é a negação
■ Em seguida, conjunções e disjunções
■ Por último, implicação e equivalência
 Leis de De Morgan

Negar que (as proposições) sejam simultaneamente verdadeiras é o

mesmo que pelo menos uma delas não seja verdadeira.
Exemplo: Não (comer uma maçã e beber água) equivale a não comer a
maçã ou não beber água

Negar que pelo menos uma (proposição) seja verdadeira é o mesmo que as
duas simultaneamente não sejam verdadeiras.
Exemplo: Não (nadar no mar ou fazer um castelo de areia) equivale a não
nadar no mar e não fazer o castelo de areia.
 Propriedades da implicação

■ Implicação contrarrecíproca:

p q ~p ~q
V V F F V V
V F V F F F
F V F V V V
F F V V V V
 Propriedades da implicação
■ Negação da implicação

Exercício: provar por tabelas de verdade

■ Dupla implicação

Pág. 27, 28, n°20, 21 TPC

Pág. 30, n° 23, 26 Pág. 35, n° 41, 42, 50