INTRODUÇÃO

A
LÓGICA
MATEMÁTICA
 CONCEITO
• Lógica é o estudo do raciocínio correto.
•  

• Raciocínio é uma serie de passos para obter a conclusão

•
dado por suposições ou fatos.
 

• Proposição é o conjunto de palavras ou símbolos que

•
expressam um pensamento com sentido completo.
 

• Proposição lógica – são todas as frases declarativas

afirmativas que possuem um valor lógico, que podem
ser consideradas verdadeiras (V) ou falsas (F).
Outros exemplos:
SÃO PROPOSIÇÕES NÃO SÃO PROPOSIÇÕES

 Como você esta?

 João é jogador de futebol. Não é proposição, pois não é frase
Proposição, pois pode ser V ou F. afirmativa e, portanto não pode ser
verdadeira ou falsa.

 2+3x5
 2+3=5 Não é proposição, pois não possui
igualdade o que não nos permite dizer se
Proposição Verdadeira é verdadeira ou falsa. É apenas uma
expressão matemática.

 x + 5 = 15
Não é proposição, pois dependerá do
 2 x 5 = 70 valor de x para afirmar se ela é
Proposição Falsa verdadeira ou falsa, e este valor não esta
especificado. É apenas uma sentença
aberta.
 Importante: A lógica trabalha somente com proposições,
ou seja, frases que podem ser consideradas verdadeiras ou
falsas, nunca as duas coisas simultaneamente.

Exemplos:
• A neve é branca. → Proposição Verdadeira
• A lua é quadrada. → Proposição Falsa
• Matemática é uma ciência. → Proposição Verdadeira
• O Brasil fica na America. → Proposição Verdadeira
• A lua é de queijo. → Proposição Falsa
• 3 é menor do que 4. → Proposição Verdadeira
 OS SÍMBOLOS DA LINGUAGEM DO
CÁLCULO PROPOSICIONAL

VARIÁVEIS PROPOSICIONAIS: letras latinas minúsculas

p,q,r,s,.... para indicar as proposições (fórmulas atômicas) .
Exemplos:
• O Brasil fica na América: p (Proposição Verdadeira)
• A lua é quadrada: q (Proposição Falsa)
VARIÁVEIS PROPOSICIONAIS DE NEGAÇÃO: são
representadas por um til (~) na frente da letras minúsculas.
Exemplos:
• O Brasil não fica na América: ~p (Proposição Falsa)
• A lua não é quadrada: ~q (Proposição Verdadeira)
Se uma proposição é verdadeira então sua negação é falsa e
vice versa, como pode se observar nos exemplos acima.
SENTENÇA ABERTA: São sentenças que não possuem
valor lógico definido.
Exemplo: “x2 + 2 = 11.” e U=R

Uma sentença aberta com uma variável x em um conjunto U é uma

declaração que resulta numa proposição verdadeira ou falsa ao
substituir x por um elemento de U. Assim, sendo s(x) uma sentença
aberta e sendo a um elemento de U, ocorre exatamente um dos
seguintes casos: o valor lógico de s(a) é V (verdadeiro) ou s(a) é F
(falso). No exemplo acima temos:
S(3) 32 + 2 = 11 Sentença Verdadeira
S(2) 22 + 2 = 11 Sentença Falsa
Nos casos em que s(a) é uma proposição verdadeira, dizemos que
a satisfaz ou verifica s(x), e portanto é chamado de conjunto
verdade da sentença s(x).
 QUANTIFICADORES: São símbolos utilizados para
estabelecermos valores lógicos às sentenças abertas.

• Quantificador Universal ( ) : Esse símbolo pode ser lido

das seguintes formas: “Para todo”, “Para qualquer”,
“Qualquer que seja”, “Todo”, etc.
Ex: x  R; x é um número par.
• Quantificador Existencial ( ) : Esse símbolo pode ser lido
das formas: “Existe”, “Existe algum”, “Há”, etc.
Ex: x  Z; x  2  5.
*OBS.: Derivam ainda do quantificador existencial:
 - “Não existe”.
 - “Existe apenas um”, ”Existe um único”, etc.
Exs.: a) x  N; x  7  5.
b)  x  Z; x 2  9.
Em resumo:

Proposição Interpretação (leitura)

 x, p para todo x, p ocorre

 x, p existe x, tal que p ocorre

 I x, p existe um único x, tal que p ocorre

 x, p não existe x, tal que p ocorre

 x, ~ p existe x, tal que p não ocorre

 x, ~ p para todo x, p não ocorre

 NEGAÇÃO DE PROPOSIÇÕES QUANTIFICADAS
Para negar uma proposição quantificada, devemos trocar o
quantificador universal pelo existencial (ou vice-versa) e negar
a sentença.
A negação de “para todo x ocorre s(x)” é “existe pelo menos
um x para o qual não ocorre s(x)”
Exemplo:
1. A negação de “ todos os homens pensam” é “existe pelo
menos um homem que não pensa”
2. A negação de “ existe um homem que pensa” é “todos os
homens não pensam”
3. r: x  Z; x  2  5.
~ r: x  Z; x  2  5.
 OS SÍMBOLOS DA LINGUAGEM DO
CÁLCULO PROPOSICIONAL
CONECTIVOS LÓGICOS: As fórmulas atômicas podem ser
combinadas entre si e, para representar tais combinações
usaremos os conectivos lógicos :

Conjunção - E (˄)
Disjunção - Ou (v)
Não - (~)
Condicional - Se ... então ()
Bi-condicional - Se e somente se ()
 PROPOSIÇÃO COMPOSTA: É uma proposição formada por
duas ou mais proposições simples, ligadas entre si pelos
elementos chamados de conectivos. Também conhecidas por
(formulas moleculares)
Exemplos:
 A lua é quadrada e a neve é branca.
Em linguagem matemática: p ˄ q
 A lua é quadrada ou a neve é branca.
Em linguagem matemática : p v q
 A lua não é quadrada.
Em linguagem matemática : ~p
 Se a lua é quadrada então a neve é branca.
Em linguagem matemática : p  q
 A lua é quadrada se e somente se a neve é branca.
Em linguagem matemática : p  q
 Tabela-verdade
A TABELA-VERDADE é um recurso utilizado
para determinar todos os possíveis valores
lógicos de uma proposição composta, a partir de
todas as possíveis atribuições de valores lógicos
dados às proposições simples que a compõem.
O resultado depende do conectivo que gera a
proposição composta. Conectivos diferentes
geram tabelas-verdade diferentes.
A lógica clássica é governada por três princípios (entre
outros) que podem ser formulados como segue:

• Principio da Identidade: Todo objeto é idêntico a si

mesmo.

• Principio da Contradição: Dadas duas proposições

contraditórias (uma é negação da outra), uma delas é
falsa.

• Principio 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.
• Seja p e q duas proposições simples. Os valores lógicos
possíveis para cada uma delas é:
p q
1 V 1 V
2 F 2 F

Toda vez que negamos uma proposição ela muda de valor

lógico (se p é verdadeira, então ~p é falsa e vice-versa).
• Para determinar o valor (verdade ou falsidade) das
proposições compostas (moleculares), conhecidos os
valores das proposições simples (atômicas) que as
compõe usaremos as tabelas-verdade, lembrando que
resultado depende do conectivo que gera essa proposição
composta.
Seja a proposição composta: (p,q).

p q
1 V V
2 V F
3 F V
4 F F
1. Conjunção: Proposições simples ligadas pelo conectivo
“e”, representando simbolicamente pelo sinal “^”.

Exemplo: p: Vou passar em física.

q: Vou passar em matemática.
p ^ q: Vou passar em física e matemática.

Tabela - Verdade
p q p Λq
V V V
Regra: V = V V
V F F
F V F
F F F
2. Disjunção: Proposições simples ligadas pelo conectivo
“ou” representando simbolicamente pelo sinal “v”.

Exemplo: p: Vou passar em física.

q: Vou passar em matemática.
p v q: Vou passar em física ou matemática

Tabela - Verdade

p q pvq
V V V
V F V Regra: F = F F
F V V
F F F
3. Condicional: Proposições simples ligadas pelo conectivo
“se...então”, representando simbolicamente pelo sinal “”.

Exemplo: p: O pássaro canta.

q: O pássaro está vivo.
p → q: Se o pássaro canta, então está vivo.

Tabela - Verdade

p q p→q
V V V
Regra: F = V F
V F F
F V V
F F V
4. Bicondicional: Proposições simples ligadas pelo conectivo
“...se somente se...”, representada simbolicamente pelo sinal
“ ↔”.

Exemplo: p: Juarez está vivo.

q: Juarez respira.
p ↔ q: Juarez está vivo se, somente se, respira.

Tabela - Verdade
p q p↔q
V V V
Regra: V = V V ou F F
V F F
F V F
F F V
 PROPOSIÇÕES COMPOSTAS
PROPOSIÇÃO
SIMBOLOGIA SIGNIFICADO REGRA
COMPOSTA

CONJUNÇÃO Λ “e” V=VV

“ou”
DISJUNÇÃO V F=FF

CONDICIONAL → “se..., então” F=VF

“... se, e V=V V

BICONDICIONAL ↔ somente ou
se...” V=FF
Em resumo:

p q p^q p˅q p→q p↔q

V V V V V V

V F F V F F

F V F V V F

F F F F V V
 Equivalências Lógicas
Dizemos que duas proposições são equivalentes quando os
resultados de suas tabelas verdade são idênticos.
A equivalência lógica é representada matematicamente através
do símbolo . Exemplos:

p q p Λq q p q Λp
V V V V V V
V F F F V F
F V F V F F
F F F F F F

Podemos então dizer que p Λ q  q Λ p

Outro exemplo:
p q p →q q p q →p
V V V V V V
V F F F V V
F V V V F F
F F V F F V

Neste caso podemos dizer que p → q NÃO é

equivalente a q → p pois a ultima coluna de
suas tabelas verdade não são iguais.
As proposições ~(p ˄ q) e (~p ˅ ~q) são
equivalentes, portanto mesmo valor lógico.
p q p ˄ q ~(p˄q) ~p ~q ~p˅~q

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

Exemplo: A negação de “hoje é sexta-feira e hoje é dia

13” é “hoje não é sexta-feira ou hoje não é dia 13”.
As proposições ~(p ˅ q) e (~p ˄ ~q) são
equivalentes, portanto mesmo valor lógico.
p q p ˅ q ~(p˅q) ~p ~q ~p˄~q

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

Exemplo: A negação de “hoje é sexta-feira ou hoje é

dia 13” é “hoje não é sexta-feira e hoje não é dia 13”.
As proposições (p → q) e (~q → ~p) são
equivalentes, portanto mesmo valor lógico.
p q p→q ~q ~p ~q→~p
V V V F F V
V F F V F F
F V V F V V
F F V V V V
Exemplo:
“Se x = 3, então x2 = 9” é equivalente a “se x2 ≠ 9,
então x ≠ 3.
Principais Equivalências
p˄q q˄p
p˅q q˅p
p↔q q↔p
~(p˅q) ~p ˄ ~q
~(p˄q) ~p ˅ ~q
p→q ~q → p~
p→q ~p ˅ q
r˄(p˅q) (r˄p)˅(r˄q)
(propriedade distributiva)

r˅(p˄q) (r˅p)˄(r˅q)
(propriedade distributiva)
Negação de
Proposições
Compostas
 Negação de uma Proposição
Conjuntiva
 Para negar uma proposiçã o no formato de conjunçã o (p e q), faremos o seguinte:

1. Negaremos a primeira parte (~p);

2. Negaremos a segunda parte (~q);
3. Trocaremos e por ou.

 Exemplo: a questão dirá: “Não é verdade que João é médico e Pedro é dentista”, e
pedirá que encontremos, entre as opções de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:

1. Nega-se a primeira parte (~p) = João não é médico;

2. Nega-se a segunda parte (~q) = Pedro não é dentista;
3. Troca-se E por OU, e o resultado final será o seguinte:

JOÃO NÃO É MÉDICO OU PEDRO NÃO É DENTISTA.

 Negação de uma Proposição
Conjuntiva
 Traduzindo para a linguagem da ló gica, dizemos que:

 Como fomos chegar à essa conclusão?

 Negação de uma Proposição
Disjuntiva
 Para negar uma proposiçã o no formato de disjunçã o (p ou q), faremos o seguinte:

1. Negaremos a primeira parte (~p);

2. Negaremos a segunda parte (~q);
3. Trocaremos ou por e.

 Exemplo: a questão dirá: “Não é verdade que Pedro é dentista ou Paulo é engenheiro”,
e pedirá que encontremos, entre as opções de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:
1. Nega-se a primeira parte (~p) = Pedro não é dentista;
2. Nega-se a segunda parte (~q) = Paulo não é engenheiro;
3. Troca-se OU por E, e o resultado final será o seguinte:

PEDRO NÃO É DENTISTA E PAULO NÃO É ENGENHEIRO.

 Negação de uma Proposição
Disjuntiva
 Traduzindo para a linguagem da ló gica, dizemos que:

 Como fomos chegar à essa conclusão?

 Negação de uma Proposição
Condicional
 Para negar uma proposiçã o no formato condicional (p  q), faremos o seguinte:

1. Mantém-se a primeira parte (p); E

2. Nega-se a segunda parte (~q).

 Exemplo: Como fica a negativa de “se chover então levarei o guarda-chuva”.

Sol:
1. Mantém-se a primeira parte (p) = Chove;
2. Nega-se a segunda parte (~q) = Não levo o guarda-chuva;

CHOVE E NÃO LEVO O GUARDA-CHUVA.

 Negação de uma Proposição
Condicional
 Traduzindo para a linguagem da lógica, dizemos que:

 Como fomos chegar a essa conclusão?

???
Recapitulando
Exemplo de aplicação das equivalências:
• Qual a negação de: "o gato mia e o rato chia“?
Resolução:
Primeiro devemos transformar a proposição para
linguagem matemática:
o gato mia: p o gato mia e o rato chia
o rato chia: q p˄q
A negação de p ˄ q é ~( p ˄ q ). Observando a tabela
de equivalências ~( p ˄ q ) ~p ˅ ~q.
Portanto a negação de "o gato mia e o rato chia“ é
“o gato não mia OU o rato não chia”
Exercícios :

1. Nas questões a seguir, julgar cada uma das

proposições simples e, em seguida, julgar a
proposição composta conectada com o sinal de
operação lógica:

Exemplo:
a) p: Pitágoras era grego
q: Descartes era francês
p Ʌ q: Pitágoras era grego e Descartes era francês.

Solução:
p: V q: V então pɅq:V
b) p: 3 + 4 = 9
q: 20 = 1
p Ʌ q: 3 + 4 = 9 Ʌ 20 = 1
c) p: Manaus é a capital de Alagoas
q:  é um número irracional
p V q : Manaus é a capital de Alagoas ou  é um número
irracional
d) p: O mês de dezembro tem 31 dias
q: Todo número primo é ímpar
p → q: Se o mês de dezembro tem 31 dias então todo
número primo é ímpar.
e) p: No triângulo podem-se traçar três diagonais
q: 91 é divisível por 3
p ↔ q: No triângulo pode-se traçar três diagonais se, e
somente se, 91 é divisível por 3.
2. Construa a tabela verdade de cada uma das
seguintes proposições:

a) ~p Ʌ q

b) ~p V ~q

c) p → ~q

d) (p ↔q) → (p V ~q)

e) (p Ʌ ~q) Ʌ (~p V q)

f) (p Ʌ ~p) → (~p V ~q)

3. Em uma roda de amigos, Jorge, Edson e Geraldo
contam fatos sobre suas namoradas. Sabe-se que
Jorge e Edson mentiram e Geraldo falou a verdade.
Assinale qual das proposições abaixo é verdadeira:

a) “Edson falou a verdade e Geraldo mentiu”

b) “Se Edson mentiu, então Jorge falou a verdade”
c) “Jorge falou a verdade e Geraldo mentiu”
d) “Se Geraldo mentiu, então Jorge falou a verdade”
e) “Edson mentiu e Jorge falou a verdade”
4. Julgue os itens a seguir:

a) 3 < 4 → 6 < 5

b) 3 = 4 ↔ 6 = 5

c) (3 = 4 → 6 < 5) ↔ (5 < 4 v 3 = 4)