Lógica Matemática 2.

Conceitos Preliminares

2.1. Sentença, Verdade e Proposição

Cálculo Proposicional Sentença e Proposição

Como primeira e indispensável parte da Lógica Matemática • A lógica formal pode representar as afirmações que
temos o CÁLCULO PROPOSICIONAL ou CÁLCULO fazemos em linguagem cotidiana para apresentar fatos
SENTENCIAL ou ainda CÁLCULO DAS SENTENÇAS. ou transmitir informações. Uma proposição (ou
declaração) é uma sentença que é falsa ou verdadeira.
CONCEITO DE PROPOSIÇÃO
Sentenças declarativas afirmativas (expressão de uma • Considere as seguintes sentenças:
linguagem) da qual tenha sentido afirmar que seja verdadeira (a) Dez é menor do que sete. É uma proposição, já que é falsa.
ou que seja falsa. (b) Como está você? Não pode ser considerada falsa ou verdadeira,
.3<4 não é proposição.
· A lua é quadrada. . π = 3,14 (c) Ela é muito talentosa. Não é uma proposição. Ela não está
· A neve é branca. . 1 é primo especificada, não é falsa nem verdadeira.

· Matemática é uma ciência. . Zero é par (d) Existe vida em outros planetas do universo. É proposição.

Não é preciso sermos capazes de decidir qual das alternativas é válida.

Consideração inicial
A lógica analisa os argumentos em vista de sua validade,
não de sua veracidade.
Ex: Se todo homem dessa sala é candidato à engenheiro
e se todo candidato a engenheiro é bonito
então todo homem dessa sala é bonito.
Proposição
Exemplo:
Foi detectado que alguns prefeitos não moram
nos municípios onde trabalham. O governo federal
criou então o município de Pizzalândia e nele só
podem morar os prefeitos que não moram em
seus municípios.
Onde mora o prefeito de Pizzalândia?

Cálculo Proposicional PROPOSIÇÃO – Definição

TERMO (Palavra) – Definição:

Todo o conjunto de termos ou símbolos
que exprimem um pensamento
Definição de um objeto.
de sentido completo.
Exemplo: Exemplo:
Paula Todo homem é mortal.
Um filme de terror A Lua é um satélite da Terra.
Triângulo retângulo sen π/2 = cos π/2
PROPOSIÇÃO – Definição PROPOSIÇÃO – Definição

PROPOSIÇÃO A linguagem NATURAL permite vários tipos

de proposições:
As PROPOSIÇÕES
DECLARATIVA: Meu carro é azul.
transmitem pensamentos,
isto é, INTERROGATIVA: Está frio?
afirmam fatos ou exprimem juízos
EXCLAMATIVA: Que lindo!
que formamos a
respeito de determinados entes. IMPERATIVA: Cale a boca.

PROPOSIÇÃO – Definição Exercício

• Quais das frases a seguir são proposições

CÁLCULO PROPOSICIONAL: declarativas?
ƒ A lua é feita de queijo verde.
ƒ Ele é, certamente, um homem alto.
Permite apenas as ƒ Dois é um número primo.
ƒ O jogo vai acabar logo?
proposições ƒ Os juros vão subir ano que vem.
ƒ Os juros vão descer ano que vem.
DECLARATIVAS.
ƒ x2 – 4 = 0.
Exercício PRINCÍPIOS LÓGICOS FUNDAMENTAIS

• Quais das frases a seguir são proposições? A Lógica Matemática adota como regras
ƒ A lua é feita de queijo verde. fundamentais do pensamento os 2 princípios:
ƒ Ele é, certamente, um homem alto.
ƒ Dois é um número primo. I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO.
ƒ O jogo vai acabar logo?
ƒ Os juros vão subir ano que vem. II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO.
ƒ Os juros vão descer ano que vem.
ƒ x2 – 4 = 0.

PRINCÍPIOS LÓGICOS FUNDAMENTAIS PRINCÍPIOS LÓGICOS FUNDAMENTAIS

I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO: II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO:

Uma proposição NÃO pode ser Toda proposição ou é Verdadeira ou Falsa,

FALSA e VERDADEIRA ao mesmo tempo. isto é, verifica-se sempre um destes casos
O Brasil é pentacampeão de futebol. Verdade (V) e nunca um terceiro.

O Brasil possui pena de morte. Falso (F) LÓGICA BIVALENTE

VALOR LÓGICO DE UMA PROPOSIÇÃO
O Valor Lógico de uma PROPOSIÇÃO é:
VERDADE se esta for VERDADEIRA;
FALSIDADE se a PROPOSIÇÃO for FALSA.
Qual é Valor Lógico (V ou F) das
proposições a seguir?
• O número 17 é primo. ( V )
• Fortaleza é a capital do Maranhão. ( F )
• TIRADENTES morreu afogado. ( F )
• (3 + 5)2 = 32 + 52. ( F )
• O valor archimediano de π é 22/7. ( V )
• -1 < -7. ( F )
• 0,131313… é uma dízima periódica simples. ( V )
• As diagonais de um paralelogramo são iguais. ( F )
• Todo polígono regular convexo é inscritível. ( V )
• O hexaedro regular tem 8 arestas. ( F )
VALOR LÓGICO DE UMA PROPOSIÇÃO
Assim, o que os princípios da não contradição
e o do terceiro excluido afirmam é que:
Toda proposição tem um, e um só,
dos valores V, F.
Qual é Valor Lógico (V ou F) das
proposições a seguir?
• A expressão n2 – n + 41 (n∈N) só produz números primos. ( F )
• Todo número divisível por 5 termina por 5. ( F )
• O produto de dois números ímpares é um número ímpar. ( V )
• sen2 30º + sen2 60º = 2. ( F )
• 1 + 3 + 5 + … + (2n – 1)2 = n2. ( V )
• As raízes da equação x3 - 1 = 0 são todas reais. ( V )
• O número 125 é cubo perfeito. ( V )
• 0, 4 e -4 são raízes da equação x3 - 16x = 0. ( V )
• O cubo é um poliedro regular. ( V )
• tg π/4 < tg π/6. ( F )
PROPOSIÇÕES SIMPLES OU ATÔMICAS
PROPOSIÇÃO SIMPLES (ÁTOMOS)
Proposição NÃO contém nenhuma outra
proposição como parte integrante
de si mesmo.
Minha casa é grande.
Seus olhos são azuis.
Está calor.
PROPOSIÇÕES COMPOSTAS OU MOLECULARES
PROPOSIÇAO COMPOSTA (MOLÉCULAS)
Formada pela combinação de 2 ou mais
PROPOSIÇÕES.
Minha casa é grande e meu carro é azul.
Seus olhos são azuis ou verdes.
Se está calor, então é verão.
PROPOSIÇÕES SIMPLES OU ATÔMICAS
PROPOSIÇÃO SIMPLES (ÁTOMOS)
São designadas pelas letras latinas
minúsculas p,q,r,s,...,
chamadas letras proposicionais.
p: Minha casa é grande.
q: Seus olhos são azuis.
r: Está calor.
PROPOSIÇÕES COMPOSTAS OU MOLECULARES
PROPOSIÇÃO COMPOSTA (MOLÉCULAS)
São designadas pelas letras latinas
maiúsculas P,Q,R,S,...,
chamadas letras proposicionais.
P: Minha casa é grande e meu carro é azul.
Q: Seus olhos são azuis ou verdes.
R: Se está calor, então é verão.

PROPOSIÇÕES COMPOSTAS OU MOLECULARES
PROPOSIÇÃO COMPOSTA (MOLÉCULAS)
Também chamadas de
fórmulas proposicionais ou fórmulas.
Notação:
P(q,r,s) – significa que P
é uma proposição composta das
proposições atômicas q,r e s.
Conectivos Lógicos
Termos usados para formar novas
proposições a partir de outras.
E OU NÃO
SE... ...SE E
ENTÃO... SOMENTE SE...
Os símbolos da Linguagem do
Cálculo Proposicional
VARIÁVEIS PROPOSICIONAIS SIMPLES E COMPOSTAS
Proposições Simples: letras minúsculas p, q, r, s,....
Ex: A lua é quadrada: p
A neve é branca: q
Proposições Compostas: letras maiúsculas P, Q, R, S,....
Ex: Carlos é estudante e Pedro é Careca: P
Se André é médico então sabe biologia: Q
• P (p, q, r, ...) indica que a proposição composta P é combinação das
proposições simples p, q, r, ...
• O valor lógico de uma proposição simples p indica-se por V(p) e o de
uma proposição composta P por V(P).
Conectivos Lógicos
CONECTIVO – Exemplos:
P: Minha casa é grande e meu carro é azul.
Q: Seus olhos são azuis ou verdes.
R: Se está calor então é verão.
S: Não está chovendo.
T: O triângulo é equilátero se e
somente se é equiângulo.
Operadores Lógicos Conectivos Lógicos

Assim como operamos com números, as

proposições também podem ser “operadas”
utilizando os operadores lógicos. São eles:
Conjunção - E (^)
Disjunção - Ou (v)
Condicional - Se ... então (Æ)
Bi-condicional - Se e só se (↔)

Exemplos Outros Exemplos

• A lua é quadrada e a neve é branca. • Pedro é estudante e Carlos professor.
p ∧ q (p e q são chamados conjunctos) p ∧ q (p e q são chamados conjunctos)

• A lua é quadrada ou a neve é branca. • O triângulo ABC é retângulo ou isósceles.

p ∨ q (p e q são chamados disjunctos) p ∨ q (p e q são chamados disjunctos)

• Se a lua é quadrada então a neve é branca. • Se Roberto é engenheiro então sabe matemática.
p → q (p é o antecedente e q o consequente) p → q (p é o antecedente e q o conseqüente)

• O triângulo ABC é equilátero se e somente se tem os três

• A lua é quadrada se e somente se a neve é branca.: p ↔ q
lados iguais.: p ↔ q
• A lua não é quadrada.: ~p • Não tenho carro.: ~p
Símbolos Auxiliares Definição de Fórmula

( ), servem para denotar o "alcance" dos conectivos. 1. Toda fórmula atômica é uma fórmula.
Exemplos: p: a lua é quadrada e q: a neve é branca 2. Se A e B são fórmulas então (A ∧ B), (A ∨ B), (A → B),
(A ↔ B) e (~ A) também são fórmulas.
· Se a lua é quadrada e a neve é branca então a lua não
3. São fórmulas apenas as obtidas por 1. e 2..
é quadrada.:
Os parênteses serão usados segundo a seguinte ordem dos conectivos:
((p ∧ q) → ~p)
~, ∨ , ∧ , →, ↔ .
· A lua não é quadrada se e somente se a neve é
Com o mesmo conectivo adotaremos a convenção pela direita.
branca.:
Exemplo: a fórmula p ∨ q ∧ ~ r → p → ~ q deve ser entendida como
((~p) ↔ q)) (((p ∨ q) ∧ (~ r)) → ( p → (~ q)))

Algumas observações
Negação (~)
sobre a negação
Chama-se negação de uma proposição p a proposição
representada por não p cujo valor lógico é a verdade (v) se p é • A negação de “sempre” é
falsa e a falsidade (f) se p é verdadeira. Simbolicamente: ~p.
Dada uma proposição p, sua negação será denotada por
~p (não p).
Se p é verdadeira então ~ p será falsa e vice versa.

Ex: p = Bia está usando tênis preto.

~p = Bia não está usando tênis preto.
p = Esta frase possui cinco palavras.
~p = Esta frase não possui cinco palavras.
Algumas observações Algumas observações
sobre a negação sobre a negação
• A negação de “sempre” é “existe uma vez que não” • A negação de “sempre” é “existe uma vez que não”
• A negação de “nunca” é

Algumas observações Algumas observações

sobre a negação sobre a negação
• A negação de “sempre” é “existe uma vez que não” • A negação de “sempre” é “existe uma vez que não”
• A negação de “nunca” é “existe uma vez que” • A negação de “nunca” é “existe uma vez que”
• A negação de “p e q” é
Algumas observações
sobre a negação
• A negação de “sempre” é “existe uma vez que não”
• A negação de “nunca” é “existe uma vez que”
• A negação de “p e q” é “~p ou ~q”
Algumas observações
sobre a negação
• A negação de “sempre” é “existe uma vez que não”
• A negação de “nunca” é “existe uma vez que”
• A negação de “p e q” é “~p ou ~q”
• A negação de “p ou q” é “~p e ~q”
Algumas observações
sobre a negação
• A negação de “sempre” é “existe uma vez que não”
• A negação de “nunca” é “existe uma vez que”
• A negação de “p e q” é “~p ou ~q”
• A negação de “p ou q” é
Quais negações das proposições
estão corretas?
1. A resposta 2 é 2 ou 3.
1. A resposta é nem 2 nem 3.
2. A resposta não é 2 ou não é 3.
3. A resposta não é 2 e não é 3.
2. Pepinos são verdes e têm sementes.
1. Pepinos não são verdes e não têm sementes.
2. Pepinos não são verdes ou não têm sementes.
3. Pepinos são verdes e não têm sementes.
Quais negações das proposições
Escreva a negação das afirmações a seguir.
estão corretas?
1. Se a comida é boa, então o serviço é excelente.
3. 2 < 7 e 3 é ímpar.
1. 2 > 7 e 3 é par. A comida é boa, mas o serviço é ruim.
2. 2 ≥ 7 e 3 é par.
2. Ou a comida é boa, ou o serviço é excelente.
3. 2 ≥ 7 ou 3 é ímpar.
4. 2 ≥ 7 ou 3 é par. A comida é ruim e o serviço também.

Sejam as proposições p e q, traduzir para a Sejam as proposições p e q, traduzir para a

linguagem corrente as seguintes proposições: linguagem simbólica as seguintes proposições:
1. p: Está frio e q: Está Chovendo.
a) ~p b) p ^ q c) p v q d) q ↔ p e) p → ~q 5. p: Marcos é alto e q: Marcos é elegante.
f) p v ~q g) ~p ^ ~q h) p ↔ ~q i) p ^ ~q → p
2. p: Jorge é rico e q: Carlos é feliz.
a) Marcos é alto e elegante
a) q → p b) p v ~q c) q ↔ ~p d) ~p → q e) ~~p b) Marcos é alto, mas não é elegante
f) ~p ^ q → p
c) Não é verdade que Marcos é baixo ou elegante
3. p: Claudio fala inglês e q: Claudio fala alemão.
d) Marcos não é nem alto e nem elegante
a) q v p b) p ^ q c) p ^ ~q d) ~p ^ ~q e) ~~p
f) ~(~p ^ ~q) e) Marcos é alto ou é baixo e elegante
4. p: João é gaúcho e q: Jaime é paulista. f) É falso que Marcos é baixo ou que não é elegante
a) ~(~p ^ ~q) b) ~~p c) ~(~p v ~q) d) p → ~q e) ~p → ~q
f) ~(~q → p)
Sejam as proposições p e q, traduzir para a
linguagem simbólica as seguintes proposições:
6. p: Suely é rica e q: Suely é feliz.
a) Suely é pobre, mas feliz
b) Suely é rica ou infeliz
c) Suely é pobre e infeliz
d) Suely é pobre ou rica, mas infeliz
Traduzir para a linguagem simbólica
seguintes proposições matemáticas:
8. a) x = 0 ou x > 0 b) x ≠ 0 ou y ≠ 0
c) x > 1 ou x + y > 0 d) x2 = x . x ou x0 = 1
9. a) (x + y = 0 e z > 0) ou z = 0
b) x = 0 e (y + z > x ou z = 0)
c) x ≠ 0 ou (x = 0 e y < 0 e z = 0)
d) x + y = 0 e z > 0) ou z = 0
Sejam as proposições p e q, traduzir para a
linguagem simbólica as seguintes proposições:
7. p: Carlos fala francês e q: Carlos fala inglês
e r: Carlos fala alemão.
a) Carlos fala francês ou inglês, mas não fala alemão
b) Carlos fala francês e inglês, ou não fala francês e alemão
c) É falso que Carlos fala francês mas que não fala alemão
d) É falso que Carlos fala inglês ou alemão mas que não
fala francês
as Traduzir para a linguagem simbólica as
seguintes proposições matemáticas:
10. a) Se x > 0 então y = 2
b) Se x + y = 2 então z > 0
c) x = 1 ou z = 2 então y > 1
d) Se z > 5 então x ≠ 1 e x ≠ 2
e) Se x ≠ y então x + z > 5 e y + z < 5
f) Se x + y > z e z = 1 então x + y > 1
g) Se x < 2 então x = 1 ou x = 0
h) Se y = 4 e se x < y então x < 5
Gabarito
1.
a) Não está frio
b) Está frio e está chovendo
c) Está frio ou está chovendo
d) Está chovendo se e somente se está frio
e) Se está frio, então não está chovendo
f) Está frio ou não está chovendo
g) Não está frio e não está chovendo
h) Está frio se e somente se não está chovendo
i) Se está frio e não está chovendo, então está frio
Gabarito
3.
a) Cláudio fala alemão ou inglês
b) Cláudio fala inglês e alemão
c) Cláudio fala inglês, mas não alemão
d) Não é verdade que Cláudio fala inglês e alemão
e) Não é verdade que Cláudio não fala inglês
f) Não é verdade que Cláudio não fala inglês e nem
alemão
Gabarito
2.
a) Se Carlos é feliz, então Jorge é rico
b) Jorge é rico ou Carlos não é feliz
c) Carlos é feliz se e somente se Jorge não é rico
d) Se Jorge não é rico, então Carlos é feliz
e) Não é verdade que Jorge não é rico
f) Se Jorge não é rico, e Carlos é feliz, então Jorge é
rico
Gabarito
4.
a) Não é verdade que João não é gaúcho e Jaime
não é paulista
b) Não é verdade que João não é gaúcho
c) Não é verdade que João não é gaúcho ou que
Jaime não é paulista
d) Se João é gaúcho, então Jaime não é paulista
e) Se João não é gaúcho então Jaime não é paulista
f) Não é verdade que, se Jaime não é paulista, então
João é gaúcho
Gabarito Gabarito
5. 7.
a) p ^ q b) p ^ ~q c) ~(~p v q) a) (p v q) ^ ~r b) (p ^ q) v ~(p ^ r)
d) ~p ^ ~q e) p v (~p ^ q) f) ~(~p v ~q) c) ~(p ^ ~r) d) ~((q v r) ^ ~p)

6.
8.
a) ~p ^ q b) p v ~q
a) x = 0 v x > 0 b) x ≠ 0 v y ≠ 0
c) ~p ^ ~q d) (~p v q) ^ ~q
c) x > 1 v x + y > 0 d) x2 = x . x v x0 = 1

Gabarito Gabarito
10.
9.
a) x > 0 → y = 2
a)(x + y = 0 ^ z > 0) v z = 0 b) x + y = 2 → z > 0
b) x = 0 ^ (y + z > x v z = 0) c) x = 1 v z = 2 → y > 1
c) x ≠ 0 v (x = 0 ^ y < 0 ^ z = 0) d) z > 5 → x ≠ 1 ^ x ≠ 2
e) x ≠ y → x + z > 5 ^ y + z < 5
d) (x + y = 0 ^ z > 0) v z = 0
f) (x + y > z ^ z = 1) → x + y > 1
g) x < 2 → x = 1 v x = 0
h) y = 4 ^ (x < y → x < 5)