Objetivos

• Identificar proposição e conectivos lógicos (Factual);

• Identificar os operadores lógicos (Factual);
• Identificar e executar exercícios de implicação lógica (Procedimental);
• Construir tabelas-verdade utilizando conectivos e implicação lógica
(Procedimental);
• Identificar quantificadores, tautologias, contradições e contingências
(Factual);
• Identificar e executar exercícios de equivalência lógica, negação de
proposições e composição proposicional (Procedimental).
SUMÁRIO
• INTRODUÇÃO
• DESENVOLVIMENTO
• PROPOSIÇÕES
• NEGAÇÃO
• CONECTIVOS LÓGICOS
• IMPLICAÇÃO LÓGICA
• CONSTRUÇÃO DE TABELAS-VERDADE
• QUANTIFICADORES, TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
• EQUIVALÊNCIA LÓGICA
• PRÁTICA
• CONCLUSÃO
INTRODUÇÃO
• Lógica Matemática é ciência que se dedica nas aplicações da lógica formal para a
matemática;

• Possui aplicações mais diretas na programação e na eletrônica;

• Pode ser utilizada como facilitadora em pesquisas rápidas em softwares como o

Excel, Libre Calc e etc...

• Na Cartografia, pode ser utilizada em pesquisas rápidas em softwares do tipo GIS

(QGIS, ArcGIS e etc..)
INTRODUÇÃO
• Nesse exemplo, tirado do
Excel, é construída uma
tabela que retorna a situação
do aluno (Aprovado ou
reprovado), levando em
consideração dois aspectos:
média maior que 70 e PR3
maior que 70;
• São utilizados os conectivos
“e” e ”se”, que serão
ensinados mais a frente.
INTRODUÇÃO
• Continuando a planilha
anterior e utilizando o mesmo
conectivo “se”, é possível
quantificar o total de alunos
aprovados e reprovados;

• Mais uma utilização da lógica

matemática na vida cotidiana.
Proposições
• Proposição é um conjunto de palavras que exprimem um
pensamento completo, de modo que se possa atribuir somente um
de dois valores lógicos possíveis: verdadeiro ou falso. Podendo ser
classificadas como simples (apenas 1 proposição) ou compostas
(junção de duas proposições).

p: “João é alto”. (Simples)

q: “Maria fala inglês”. (Simples)
r: “Pedro é baixo e fala francês”. (Composta)
Negação
• Significa inverter o seu valor lógico, ou seja, se uma proposição for
verdadeira então ela passará a ser falsa e vice-versa.
• A notação normalmente utilizada para negar uma proposição é ~p ou
¬p. Lê-se: não p.

p: “João é alto”
¬p: “João não é alto”
Conectivos Lógicos
• Conectivos Lógicos ou Operadores lógicos – são símbolos ou palavras
utilizadas para unir proposições. Os 4 conectivos abordados nessa
disciplina serão: não, e, ou, se... então.
Conectivo “’e”
• Há duas formas de utilização: “p e q” ou “p ^ q”

p: Pedro é baixo.
q: Pedro fala francês.
p ^ q: “Pedro é baixo e fala francês”.

• A proposição composta p ^ q só será verdadeira quando p for

Verdadeiro e q for Verdadeiro ao mesmo tempo.
Conectivo “’ou”
• Há duas formas de utilização: “p ou q” ou “p v q”

p: Pedro é baixo.
q: Pedro fala francês.
p v q: “Pedro é baixo ou fala francês”.

• A proposição composta p v q só será Falsa quando p for Falso e q for

Falso ao mesmo tempo.
Implicação lógica
• A implicação, ou condicional é a indicação do tipo "SE ... ENTÃO",
indicando que uma condição deve ser satisfeita necessariamente para
que a outra seja verdadeira.

p: “João esquia”
q: “Maria nada”
p→q: “Se João esquia, Então Maria nada"
Construção de Tabelas-Verdade
• Tabela-verdade é um dispositivo utilizado no estudo da lógica
matemática. Com o uso desta tabela é possível definir o valor lógico
de uma proposição, isto é, saber quando uma sentença é verdadeira
ou falsa.
Construção de Tabelas-Verdade – “não”

• Observe que, na construção da

tabela, é importante analisar todos os
p ~p valores lógicos da proposição (V ou F)
V F (1ª Coluna);
F V • Na segunda coluna, colocamos a
negação do valor lógico da primeira
coluna, linha por linha.
Construção de Tabelas-Verdade – “e”

• Observe que, como p^q é composta,

aumentamos o número de
p q p^q possibilidades (4);
V V V • Na primeira e na segunda coluna
V F F colocamos todas as possibilidades de
F V F combinações dos valores lógicos de p
F F F e q;
• Observe que p^q só será verdadeiro
quando ambos forem verdadeiros.
Construção de Tabelas-Verdade – “ou”

• Observe que, como p v q é composta,

aumentamos o número de
p q pvq possibilidades (4);
V V V • Na primeira e na segunda coluna
V F V colocamos todas as possibilidades de
F V V combinações dos valores lógicos de p
F F F e q;
• Observe que p v q só será Falso
quando ambos forem Falsos.
Construção de Tabelas-Verdade – “se..
Então..”

• Observe que, como p→q é composta,

aumentamos o número de
p q p→q possibilidades (4);
V V V • Na primeira e na segunda coluna
V F F colocamos todas as possibilidades de
F V V combinações dos valores lógicos de p
F F V e q;
• Observe que p→q só será Falso
quando p for Verdadeiro e q for Falso.
“Verdade não implica Falsidade”
Quantificadores
• Quantificador Existencial - Utilizaremos o símbolo “∃”, que se lê:
“existe”.
• Quantificador universal - Utilizaremos o símbolo “∀”, que se lê: “para
todo” ou ”qualquer que seja”.
• Conforme abaixo:
∃ x ∈ A: p(x) ,que se lê: existe x em A tal que p(x)
∀ x ∈ A, p(x), que se lê: para todo x em A temos p(x)
• A negação das proposições acima pode ser expressa como:
¬∃x ∈ A : p(x), que equivale a: ∀x ∈ A, ¬p(x)
¬∀x ∈ A, p(x), que equivale a: ∃ x ∈ A : ¬p(x)
Tautologias
• É a proposição composta que é sempre verdadeira.

P q p^q pvq p^q→pvq

V V V V V • Observe que o valor da
V F V
proposição p ^ q → p v q,
F V
independe dos valores
F V F V V
lógicos de p e de q.
F F F F V
Contradição
• Contradição é a proposição composta que é sempre Falsa.

p q p^q pvq ~(p v q) (p ^ q) ^ ~(p v q) Observe que o valor da

V V V V F F
proposição p → ~p,
independe do valor lógico de
V F F V F F
p.
F V F V F F
F F F F V F
Contingências
• Contingência é uma proposição composta que não é uma tautologia
nem uma contradição, i.e., o valor lógico da proposição composta
depende dos valores lógicos das proposições simples que a
compõem.

p q pvq p^q (p v q) → (p ^ q)
V V V V V
V F V F F
F V V F F
F F F F V
Equivalência lógica
• Duas sentenças são logicamente equivalentes se possuem o mesmo
"conteúdo lógico“. Na prática, as duas sentenças apresentam a
mesma tabela-verdade. A sua notação normalmente utilizada para
dizer que p e q são equivalentes é p ≡ q, p ⇔ q ou p ≈ q. Lê-se: p se, e
somente se q.
p ~p q ~q p→q ~q → ~p
• Da tabela ao lado, entende-se
V F V F V V
que as proposições p→q e
V F F V F F ~q→~p são logicamente
F V V F V V equivalentes.
F V F V V V
PRÁTICA
Exercícios da UD1 no AVA