Matemática Discreta Prof.

Cicero Erialdo

Capítulo 1 - Proposições e Conectivos

O conceito mais elementar no estudo da lógica é o de Proposição. Proposição

“vem de propor” que significa submeter à apreciação; requerer um juízo. Trata-se de uma
sentença declarativa – algo que será declarado por meio de termos, palavras ou símbolos
– e cujo conteúdo poderá ser considerado verdadeiro ou falso.

Temos dois tipos de proposições: simples e composta.

Proposições Simples

Chama-se proposição simples toda oração declarativa que pode ser classificada
ou só como verdadeira ou só como falsa. Representaremos uma proposição simples
como uma letra minúscula qualquer de nosso alfabeto.

Proposições Compostas

Ao utilizarmos a linguagem combinamos ideias simples, ligando as proposições

simples através de símbolos lógicos, formando assim as chamadas proposições
compostas.

Conectivos Lógicos

Vejamos os conectivos (e seus símbolos) que ligam as proposições simples,

formando as proposições compostas.

Exemplo:
p: Pedro é estudante e Ana é bailarina.
q: Pedro é estudante ou Ana é bailarina.
r: Ou Pedro é estudante ou Ana é bailarina.
s: Se Pedro é estudante, então Ana é bailarina.
t: Pedro é estudante se, e somente se Ana é bailarina.

Os conectivos grifados podem ser representados por:

OPERAÇÃO CONECTIVO ESTRUTURA LÓGICA

Negação ~,¬ Não p , Não q
Conjunção Ʌ peq
Disjunção V q ou q
Disjunção exclusiva V ou p ou q
Condicional → Se p então q
Bicondicional ↔ p se, e somente se q

Para analisar os valores lógicos das proposições compostas, iremos utilizar uma
tabela que prevê todos os possíveis valores lógicos que uma sentença pode possuir a
partir dos valores lógicos das proposições simples. O nome desta tabela é: TABELA
VERDADE

1
Matemática Discreta Prof. Cicero Erialdo

Conectivo “e”: (conjunção)

Proposições compostas em que está presente o conectivo “e” são ditas

CONJUNÇÕES. Simbolicamente, esse conectivo pode ser representado por “∧”. Então, se
temos a sentença:

“Marcos é médico e Maria é estudante”

... poderemos representá-la apenas por: p∧q. onde: p = Marcos é médico e q = Maria é
estudante.
Uma conjunção só será verdadeira, se ambas as proposições componentes forem
também verdadeiras.
Então, diante da sentença “Marcos é médico e Maria é estudante”, só poderemos
concluir que esta proposição composta é verdadeira se for verdade, ao mesmo tempo,
que Marcos é médico e que Maria é estudante.
Pensando pelo caminho inverso, teremos que basta que uma das proposições
componentes seja falsa, e a conjunção será – toda ela – falsa. Obviamente que o
resultado falso também ocorrerá quando ambas as proposições componentes forem
falsas.
Essas conclusões podem ser resumidas em uma pequena tabela. Trata-se da
tabela-verdade, de fácil construção e de fácil entendimento.

p q p∧q
V V V
V F F
F V F
F F F

Conectivo “ou”: (disjunção)

Recebe o nome de DISJUNÇÃO toda proposição composta em que as partes

estejam unidas pelo conectivo ou. Simbolicamente, representaremos esse conectivo por
“∨”. Portanto, se temos a sentença:

“Marcos é médico ou Maria é estudante”

... então a representaremos por: p∨q.

Uma disjunção será falsa quando as duas partes que a compõem forem ambas
falsas! E nos demais casos, a disjunção será verdadeira!
Teremos as possíveis situações:

p q p∨q
V V V
V F V
F V V
F F F

2
Matemática Discreta Prof. Cicero Erialdo

Conectivo “Ou ... ou ...”: (disjunção exclusiva)

Há um terceiro tipo de proposição composta, bem parecido com a disjunção que

acabamos de ver, mas com uma pequena diferença. Comparemos as duas sentenças
abaixo:
“Te darei uma bola OU te darei uma bicicleta”

“OU te darei uma bola OU te darei uma bicicleta”

A diferença é sutil, mas importante. Reparemos que na primeira sentença vê-se

facilmente que se a primeira parte for verdade (te darei uma bola), isso não impedirá que
a segunda parte (te darei uma bicicleta) também o seja. Já na segunda proposição, se for
verdade que “te darei uma bola”, então teremos que não será dada a bicicleta. E vice-
versa, ou seja, se for verdade que “te darei uma bicicleta”, então teremos que não será
dada a bola.
Em outras palavras, a segunda estrutura apresenta duas situações mutuamente
excludentes, de sorte que apenas uma delas pode ser verdadeira, e a restante será
necessariamente falsa. Ambas nunca poderão ser, ao mesmo tempo, verdadeiras; ambas
nunca poderão ser, ao mesmo tempo, falsas.
Na segunda sentença acima, este tipo de construção é uma DISJUNÇÃO EXCLUSIVA, pela
presença dos dois conectivos “ou”, que determina que uma sentença é necessariamente
verdadeira, e a outra, necessariamente falsa.
E como fica a sua tabela-verdade? Ora, uma disjunção exclusiva só será verdadeira
se obedecer à mútua exclusão das sentenças. Falando mais fácil: só será verdadeira se
houver uma das sentenças verdadeira e a outra falsa. Nos demais casos, a disjunção
exclusiva será falsa.
O símbolo que designa a disjunção exclusiva é o “V”. E a tabela-verdade será, pois,
a seguinte:

p q pVq
V V F
V F V
F V V
F F F

Condicional

Uma proposição condicional será falsa se a primeira sentença for verdadeira e a

segunda for falsa.

p q p→q
V V V
V F F
F V V
F F V

3
Matemática Discreta Prof. Cicero Erialdo

Bicondicional

Uma proposição bicondicional será falsa se as sentenças que formam a

proposição tiverem valores lógicos diferentes.

p q p↔q
V V V
V F F
F V F
F F V

Equivalências proposicionais

Também conhecidas como leis ou regras da lógica proposicional, são

transformações lógicas que permitem simplificar, reescrever ou comparar proposições
de forma equivalente. Essas equivalências são fundamentais para a manipulação e
simplificação de expressões lógicas. Para verificar se duas proposições são equivalentes,
basta comparar suas tabelas-verdade.

Tautologias e Contradições

Uma tautologia é uma proposição lógica que é sempre verdadeira,

independentemente dos valores de verdade atribuídos às suas variáveis componentes.
Em outras palavras, uma tautologia é uma expressão que possui o valor lógico verdadeiro
(T) em todas as suas linhas na tabela verdade.
Já uma contradição é uma proposição lógica que é sempre falsa,
independentemente dos valores de verdade atribuídos às suas variáveis componentes.
Em outras palavras, uma contradição é uma expressão que possui o valor lógico falso (F)
em todas as suas linhas na tabela verdade.

Quantificadores

São símbolos usados para expressar a quantidade de elementos que satisfazem

uma determinada propriedade ou condição dentro de um conjunto. Os dois principais
quantificadores são o quantificador universal e o quantificador existencial.

Quantificador Universal (∀ - "para todo" ou "para cada"): O símbolo ∀ é usado para

expressar que uma dada propriedade é verdadeira para todos os elementos de um
conjunto.

Quantificador Existencial (∃ - "existe" ou "existe pelo menos um"): O símbolo ∃ é usado

para expressar que pelo menos um elemento de um conjunto satisfaz uma determinada
propriedade.

4
Matemática Discreta Prof. Cicero Erialdo

Exercícios

Problema 1. Sejam as proposições 𝑝: 𝐽𝑜ã𝑜 é 𝑏𝑎𝑖𝑥𝑜 e 𝑞: 𝑅𝑜𝑠𝑎 𝑐𝑜𝑧𝑖𝑛ℎ𝑎 𝑚𝑢𝑖𝑡𝑜 𝑏𝑒𝑚.

Traduza para a linguagem natural as proposições abaixo:
a) 𝑝 ⋁ 𝑞
b) 𝑞 → 𝑝
c) ~𝑝
d) ~𝑞 → 𝑝
e) ~𝑞 ∧ 𝑝
f) ~(𝑞 ∧ 𝑝)
g) ~(~𝑞 ∨ 𝑝)
h) 𝑝 ↔ ~𝑞

Problema 2. Determine o valor lógico das proposições abaixo:

a) Se a terra gira em torno do sol, então o triangulo tem quatro lados.
b) Se dois não é um número par, então Belém é a capital do Pará.
c) Se 1 + 1 = 3, então 2 + 2 = 10.
d) 3 > 5 se e somente se 7 > 9.
e) Se marte não é um planeta então amanhã vai chover.
f) O fogo é quente ou a terra é plana.
g) É falso dizer que, se Morzat não foi um grande compositor, então o dia tem 24
horas.
h) Se Pelé não sabia jogar futebol ou Einstein era um físico, então: Pelé sabia jogar
futebol e Einstein era um físico.

Problema 3. Sejam as proposições 𝑝 verdadeira, 𝑞 falsa e 𝑟 verdadeira, determine o

valor logico das proposições abaixo:
a) (~𝑞 ∧ 𝑝) ∨ (𝑞 ∧ ~𝑟)
b) (~𝑞 ∨ ~𝑝) ∧ 𝑟
c) (𝑝 ∧ ~𝑟) → 𝑞
d) ~𝑝 ↔ (𝑞 ∨ 𝑟)
e) ((𝑝 → 𝑞) → 𝑟) ↔ ((𝑞 → 𝑝) → 𝑟)

Problema 4. (CPCON - 2017) Se José desviou dinheiro da campanha eleitoral, então ele
cometeu um grave delito. Mas José não desviou dinheiro de campanha eleitoral. Logo,
a) José não cometeu um grave delito.
b) alguém não desviou dinheiro da campanha eleitoral.
c) José cometeu um grave delito.
d) alguém desviou dinheiro da campanha eleitoral.
e) José desviou dinheiro da campanha eleitoral.

Problema 5. As seguintes afirmações, todas elas verdadeiras, foram feitas sobre a

ordem de chegada dos participantes de uma prova de ciclismo:

5
Matemática Discreta Prof. Cicero Erialdo

1. Guto chegou antes de Aires e depois de Dada;

2. Guto chegou antes de Juba e Juba chegou antes de Aires, se e somente se Aires chegou
depois de Dada;
3. Cacau não chegou junto com Juba, se e somente se Aires chegou junto com Guto. Logo,
a) Cacau chegou antes de Aires, depois de Dada e junto com Juba.
b) Guto chegou antes de Cacau, depois de Dada e Junto com Aires.
c) Aires chegou antes de Dada, depois de Juba e antes de Guto.
d) Aires chegou depois de Juba, depois de Cacau e junto com Dada.
e) Juba chegou antes de Dada,depois de Guto e Junto com Cacau.

Problema 6. Fernanda atrasou-se e chega ao estádio da Ulbra quando o jogo de vôlei

já está em andamento. Ela pergunta às suas amigas, que estão assistindo à partida, desde
o início, qual o resultado até o momento. Suas amigas dizem-lhe:
Amanda: "Neste set, o escore está 13 a 12".
Berenice: "O escore não está 13 a 12, e a Ulbra já ganhou o primeiro set".
Camila: "Este set está 13 a 12, a favor da Ulbra".
Denise: "O escore não está 13 a 12, a Ulbra está perdendo este set, e quem vai sacar é a
equipe visitante".
Eunice: "Quem vai sacar é a equipe visitante, e a Ulbra está ganhando este set".
Conhecendo suas amigas, Fernanda sabe que duas delas estão mentindo e que as demais
estão dizendo a verdade. Conclui, então, corretamente, que
a) o escore está 13 a 12, e a Ulbra está perdendo este set, e quem vai sacar é a
equipe visitante.
b) o escore está 13 a 12, e a Ulbra vai sacar, e a Ulbra venceu o primeiro set.
c) o escore está 13 a 12, e a Ulbra está vencendo este set, e quem vai sacar é a
equipe visitante.
d) o escore não está 13 a 12, e a Ulbra não está vencendo este set, e a Ulbra venceu
o primeiro set.
e) o escore não está 13 a 12, e a Ulbra está vencendo este set, e quem vai sacar é a
equipe visitante.

Problema 7. Cinco amigas, Ana, Bia, Cati, Dida e Elisa, são tias ou irmãs de Zilda. As tias
de Zilda sempre contam a verdade e as irmãs de Zilda sempre mentem. Ana diz que Bia
é tia de Zilda. Bia diz que Cati é irmã de Zilda. Cati diz que Dida é irmã de Zilda. Dida diz
que Bia e Elisa têm diferentes graus de parentesco com Zilda, isto é: se uma é tia a outra
é irmã. Elisa diz que Ana é tia de Zilda. Assim, o número de irmãs de Zilda neste conjunto
de cinco amigas é?

Questão 08: A afirmação "Alda é alta, ou Bino não é baixo, ou Ciro é calvo" é falsa. Segue-
se, pois, que é verdade que:
a) se Bino é baixo, Alda é alta, e se Bino não é baixo, Ciro não é calvo.
b) se Alda é alta, Bino é baixo, e se Bino é baixo, Ciro é calvo.

6
Matemática Discreta Prof. Cicero Erialdo

c) se Alda é alta, Bino é baixo, e se Bino não é baixo, Ciro não é calvo.
d) se Bino não é baixo, Alda é alta, e se Bino é baixo, Ciro é calvo.
e) se Alda não é alta, Bino não é baixo, e se Ciro é calvo, Bino não é baixo.

Problema 8. Antônio, Bento, Ciro e Dorival são profissionais liberais. Um deles é

advogado, outro é paisagista, outro é veterinário e outro é professor. Sabe-se que: o
veterinário não é Antônio e nem Ciro; Bento não é veterinário e nem paisagista; Ciro não
é advogado e nem paisagista. A conclusão correta quanto à correspondência entre
carreira e profissional está indicada em:
a) advogado – Dorival
b) paisagista – Dorival
c) paisagista – Antônio
d) advogado – Antônio

Problema 9. Três meninos, cujos nomes são Arnaldo, Beto e Carlos, têm as seguintes
características:
Um dos três é louro, outro é moreno e outro é ruivo. Arnaldo mente sempre que Beto
diz a verdade. Carlos mente quando Beto mente. Cada um dos meninos faz uma
afirmação.
Arnaldo afirma: Eu sou brasileiro ou não sou brasileiro.
Carlos afirma: Beto é ruivo.
Beto afirma: Eu sou louro ou Carlos é ruivo.
Considerando as características e as afirmações citadas, é correto concluir que Arnaldo,
Beto e Carlos são, respectivamente, caracterizados como:
a) louro , ruivo , moreno
b) ruivo, louro , moreno
c) louro, moreno , ruivo
d) ruivo, moreno, louro

Problema 10. Sejam p, q e r três proposições quaisquer. Mostre que são equivalentes as
seguintes proposições:

a) (p ∧ q) ∨ (¬p ∧ r) e p → r
b) ¬(p ∨ q) ∨ (p ∧ r) e ¬q ∨ r
c) ¬(p ∧ ¬q) ∧ (¬p ∨ r) e (q ∨ r)
d) ¬(p ∧ q) e ¬p ∨ ¬q
e) ¬(p ∨ q) e ¬p ∧ ¬q
f) (p → q) e ¬p ∨ q
g) (p ∧ q) → r e p → (q → r)
h) (p ∨ q) → r e (p → r) ∧ (q → r)

7
Matemática Discreta Prof. Cicero Erialdo

Problema 11. Seja p a proposição "Este exercício é fácil" e q a proposição "Este exercício
é divertido". Escreva em português o significado da proposição ¬(p ∧ ¬q).

Problema 12. Seja p a proposição "Eu gosto de matemática" e q a proposição "Eu gosto
de física". Escreva em português o significado da proposição (p ∨ ¬q) → ¬p.

Problema 13. Seja p a proposição "Você passou na prova" e q a proposição "Você

estudou bastante". Escreva em português o significado da proposição (p → q) ↔ ¬(q →
¬p).

Problema 14. Seja p a proposição "O céu é azul" e q a proposição "A grama é verde".
Escreva em símbolos lógicos a proposição "O céu não é azul ou a grama não é verde".

Problema 15. Seja p a proposição "A lua é feita de queijo" e q a proposição "Os ratos
gostam de queijo". Escreva em símbolos lógicos a proposição "Se a lua é feita de queijo,
então os ratos gostam de queijo".

Problema 16. Seja p a proposição "O número 7 é primo" e q a proposição "O número 7
é ímpar". Escreva em símbolos lógicos a proposição "O número 7 é primo se e somente
se o número 7 é ímpar".

Problema 17. (FCC - 2023) "P: Se me dá trabalho excessivo ou suja o meu carro, não levo
as mudas das plantas." Se a veracidade da proposição P for admitida e se também for
verdade que "levo as mudas das plantas", então é falsa apenas uma entre as proposições
"me dá trabalho excessivo" e "suja o meu carro".
a) Certo
b) Errado

Problema 18. Dadas as proposições simples p e q, tais que p é verdadeira e q é falsa,

considere as seguintes proposições compostas:
(1) p ∧ q ;
(2) ~p → q ;
(3) ~ (p ∨ ~q) ;
(4) ~ (p ↔ q)
Quantas dessas proposições compostas são verdadeiras?
a) Nenhuma.
b) Apenas uma.
c) Apenas duas.
d) Apenas três.
e) Quatro.

Problema 19. A proposição considerada equivalente à proposição "Se Paulo não está
sem dinheiro, ele foi ao banco".
a) Paulo está sem dinheiro ou ele foi ao banco.
b) Paulo não está sem dinheiro e ele foi ao banco.
c) Se Paulo foi ao banco, então ele não está sem dinheiro.

8
Matemática Discreta Prof. Cicero Erialdo

d) Se Paulo está sem dinheiro, então ele não foi ao banco.

e) Nenhuma das alternativas anteriores.

Problema 20. Em lógica matemática, uma proposição é uma sentença declarativa que
pode ser classificada como verdadeira ou falsa, mas não como ambas. Assim, considere
as seguintes sentenças:
I. O Brasil é um país da América do Sul.
II. 2 + 2 = 5
III. O Sol nasce no Oeste.
IV. x + y = z
V. Hoje é segunda-feira ou terça-feira.
São exemplos de proposições:
a) I, II e III apenas.
b) I, II, III e V apenas.
c) I, II, III, IV e V.
d) I, III e V apenas.
e) II, IV e V apenas.