Programece Slides Modulo I Aulas 5 6

Introdução à Lógica
Módulo I - Aulas 5 e 6
José Maria Monteiro1

Mara Bonates1
Eder Farias1
Universidade Federal do Ceará (UFC)
2021
Agenda
1 Tautologia, Contradição e Contingência
2 Implicação e Equivalência Lógica
José Maria Monteiro Mara Bonates Eder Farias, Universidade Federal do Ceará (UFC) Introdução à Lógica 2
Tautologia, Contradição e Contingência
• Na aula de hoje vamos discutir três importantes conceitos:

tautologia, contradição e contingência.
Tautologia
Definição
Uma proposição composta S é uma tautologia se o seu valor lógico
é sempre verdadeiro (V), quaisquer que sejam os valores lógicos
das proposições componentes.
Tautologia
Exemplo
Considere as seguintes proposições:
• p: Vai chover;
• ¬p NÃO Vai chover;
• S : p ∨ ¬p;
• A proposição S é uma tautologia?
Tautologia
• Vamos montar a tabela verdade para a proposição composta

S = (p ∨ ¬p).
p ¬p p ∨ ¬p
V F V
F V V
Tabela 1: Tabela-verdade da Proposição p ∨ ¬p.
• Observe que p ∨ ¬p é uma tautologia.
Tautologia
• Vamos ver um segundo exemplo.
Exemplo
Considere a proposição S = ¬(p ∧ ¬p).
• Será que a proposição S é uma tautologia?

• Vamos montar a tabela verdade e descobrir...
Tautologia

S = ¬(p ∧ ¬p).
p ¬p p ∧ ¬p ¬(p ∧ ¬p)
V F F V
F V F V
Tabela 2: Tabela-verdade da Proposição ¬(p ∧ ¬p).
• Observe que S = ¬(p ∧ ¬p) é uma tautologia.
Tautologia
Exercı́cio:
• Mostre que a proposição P = p ∨ ¬(p ∧ q) é uma tautologia.
Tautologia
Solução:
• Vamos montar a tabela-verdade para a proposição
P = p ∨ ¬(p ∧ q).
p q p∧q ¬(p ∧ q) p ∨ ¬(p ∧ q)

V V V F V
V F F V V
F V F V V
F F F V V
Tabela 3: Tabela-verdade da Proposição P .
Tautologia
Solução:
• Logo, podemos concluir que a proposição P = p ∨ ¬(p ∧ q) é
uma tautologia.
Tautologia
Exercı́cio:
• Mostre que as seguintes proposições são tautologias.
• P = p ∨ (q ∧ ¬q) ↔ p;
• P = (p ∧ r ) → (¬q ∨ r );
Tautologia
Solução:
• Tá mal acostumado né pimpolho???
• Agora não tem solução prontinha não...
• Te vira ai...
• Monta a tabela-verdade....
Tautologia
Exercı́cio:
• Chico da Matilde afirmou que a proposição p → (q → p) é uma
tautologia. Dandara acha que Chico está mentindo. Laudelina
foi chamada para mediar o debate entre Chico e Dandara. Ajude
Laudelina a provar se Chico está dizendo a verdade ou se está
mentindo.
Tautologia
Exercı́cio:
• Considerando p e q duas proposições atômicas quaisquer,
assinale a alternativa que representa, logicamente, uma
tautologia.
(a) ¬p ∧ p.
(b) ¬p ∧ ¬q.
(c) (p ∧ q) → (p ∨ q).
(d) (p ∨ q) → (p ∧ q).
(e) p ∨ q.
Tautologia
Exercı́cio:
• Dandara afirmou que a proposição ¬p → [p → q] é uma
tautologia. Chico da Matilde acha que Dandara está mentindo.
Maria Firmina foi chamada para mediar o debate entre Dandara
e Chico. Ajude Maria Firmina a provar se Dandara está dizendo
a verdade ou se está mentindo.
Tautologia
Exercı́cio:
• Trata-se de uma tautologia a proposição apresentada na
alternativa:
(a) Chove e faz frio.
(b) Carolina de Jesus estuda ou não estuda na UFC.
(c) Se é verão então faz calor.
(d) Tia Ciata é alta e gosta de estudar.
(e) Abdias estuda ou joga futebol.
Tautologia
Exercı́cio [IADES 2017]:

• Assinale a alternativa que apresenta uma tautologia.
(a) p ∨ (q ∨ ¬p).
(b) (q → p) → (p → q).
(c) p → (p → q ∧ ¬q).
(d) p ∨ ¬q → (p → ¬q).
(e) p∨q →p∧q
Tautologia
Exercı́cio [IESES 2017]:

• Trata-se de uma tautologia a proposição:
(a) Se Rafael é inteligente ou Fabrı́cio é chato então Rafael é
inteligente e Fabrı́cio é chato.
(b) Se Rafael é inteligente ou Fabrı́cio é chato então Rafael não é
inteligente e Fabrı́cio não é chato.
(c) Se Rafael é inteligente e Fabrı́cio é chato então Rafael é
inteligente ou Fabrı́cio é chato.
(d) Se Rafael é inteligente e Fabrı́cio é chato então Rafael é
inteligente e Fabrı́cio não é chato.
Tautologia
Desafio:
Faça uma busca na internet e encontre uma tautologia (expressão
lógica) que ainda não foi apresentada neste curso.
Tautologia
Fique Ligado
No link a seguir você encontra uma aplicação web que verifica se uma
determinada expressão é ou não uma tautologia, além de checar se
esta expressão é uma fórmula bem-formada:
http://www.allisons.org/ll/Logic/Propositional/Wff/
Contradição
Definição
Uma proposição composta S é uma contradição se o seu valor
lógico é sempre falso (F), quaisquer que sejam os valores lógicos
das proposições componentes.
Contradição
Exemplo
• p: Vai chover;
• ¬p NÃO Vai chover;
• S : p ∧ ¬p;
• A proposição S é uma contradição?
Contradição
• Vamos montar a tabela verdade para a proposição composta S

(p ∧ ¬p).
p ¬p p ∧ ¬p
V F F
F V F
Tabela 4: Tabela-verdade da Proposição p ∧ ¬p.
• Observe que p ∧ ¬p é uma contradição.
Contradição
Exercı́cio:
• Mostre que a proposição P = (p ∧ q) ∧ ¬(p ∨ q) é uma
contradição.
Contradição
Solução:
• Vamos montar a tabela-verdade para a proposição P .
p q p∧q p∨q ¬(p ∨ q) (p ∧ q) ∧ ¬(p ∨ q)

V V V V F F
V F F V F F
F V F V F F
F F F F V F
Contradição
Solução:
• Logo, podemos concluir que a proposição
P = (p ∧ q) ∧ ¬(p ∨ q) é uma contradição.
Contradição
Exercı́cio:
• Mostre que a proposição P = ¬p ∧ (p ∧ ¬q) é uma contradição.
Contradição
Solução:
p q ¬p ¬q p ∧ ¬q ¬p ∧ (p ∧ ¬q)
V V F F F F
V F F V V F
F V V F F F
F F V V F F
Contradição
Solução:
• Logo, podemos concluir que a proposição P = ¬p ∧ (p ∧ ¬q) é
uma contradição.
Contradição
Desafio:
Faça uma busca na internet e encontre uma contradição (expressão
Contingência
Definição
Uma proposição composta S é uma contingência (ou uma
indeterminação) quando ela não é uma tautologia e também não é
uma contradição.
Contingência
Exercı́cio:
• Determine se a proposição P = (p ∨ q) → p é uma tautologia,
contradição ou contingência.
Contingência
Solução:
p q p∨q (p ∨q) → p
V V V V
F F V V
F V V F
F F F V
Contingência
Solução:
• Construindo a tabela-verdade de P , verificamos que a última
coluna é composta tanto por valores lógicos verdadeiros (V)
quanto por falsos (F). Logo, P é uma contingência.
Contingência
Exercı́cio:
• Determine se a proposição P = (p ∧ q) ∨ (p ∧ r ) é uma
tautologia, contradição ou contingência.
Contingência
Solução:
p q r p ∧q p ∧r (p ∧ q) ∨ (p ∧ r )
V V V V V V
V V F V F V
V F V F V V
V F F F F F
F V V F F F
F V F F F F
F F V F F F
F F F F F F
Contingência
Solução:
• Construindo a tabela-verdade de P , verificamos que a última
coluna é composta tanto por valores lógicos verdadeiros (V)
quanto por falsos (F). Logo, P é uma contingência.
Contingência
Exercı́cio:
• Considere a seguinte proposição: “No ENEM, Carolina de Jesus
será aprovada ou não será aprovada.”. Analisando segundo a
lógica, essa afirmação é um exemplo claro de:
(a) contradição.
(b) tautologia.
(c) contingência.
(d) equivalência.
(e) implicação.
Contingência
Exercı́cio:
• Trata-se de um exemplo de contradição a proposição:
(a) Dois é um número par e ı́mpar.
(b) Guaramiranga é uma cidade bonita se e somente se faz frio.
(c) Laudelina é alta e Gama é baixo.
(d) Se dois é um número par então Laudelina é alta.
(e) Se Gama é baixo então Laudelina é alta.
Contingência
Exercı́cio [FUNDATEC 2019]:

• Define-se por contradição a operação lógica que assume como
valores falsos (F) para quaisquer valores das proposições
componentes. Sendo assim, assinale a alternativa que contém
um caso de contradição.
(a) p ∧ ¬p.
(b) p ∧ ¬q.
(c) p ∨ q.
(d) p ∧ q.
(e) p ∨ q.
Contingência
Exercı́cio:
• Dadas as proposições a seguir, diga se ela é uma Tautologia,
Contradição ou Contingência.
(a) (p ∧ ¬p) ∧ p;
(b) (p ∧ ¬q) ∧ p;
(c) (p ∧ ¬p) ∨ q;
(d) (q ∧ ¬p) ∨ r ;
(e) p ∧ (q → r ) ∨ (p ∨ q).
Contingência
Exercı́cio:
• Qual das proposições a seguir é uma contradição?
(a) (p → q) ∨ ¬q.
(b) (p ∧ ¬p) → q
(c) ¬(p ∨ q) ↔ (p ∨ q).
(d) (p ↔ p) ∧ (p ∨ q).
(e) (p ↔ q) ∨ (q ∨ ¬q).
Contingência
Exercı́cio [IBFC 2020]:

• É sabido que tautologia é uma proposição cuja tabela-verdade
sempre resulta em valores lógicos verdadeiros. Sendo P uma
proposição lógica, assinale a alternativa incorreta.
(a) (P ∨ ¬P ) é um caso de tautologia.
(b) (P ∧ ¬P ) não é um caso de tautologia.
(c) ¬(P ∧ ¬P ) não é um caso de tautologia.
(d) (P ↔ ¬P ) não é um caso de tautologia.
(e) ¬(P ↔ ¬P ) é um caso de tautologia.
Contingência
Exercı́cio [IBFC 2020]:

• Observe a sentença: (P → ¬Q) ↔ (R ∧ P ). Se a proposição P
é falsa, assinale a alternativa correta.
(a) A sentença é uma tautologia.
(b) A sentença é uma contradição.
(c) A sentença é verdadeira sempre que a proposição P é falsa.
(d) A sentença é falsa sempre que a proposição P é falsa.
(e) A sentença é verdadeira sempre que a proposição P é verdadeira.
Contingência
Exercı́cio [COREN SC 2020]:
• Considere a seguinte sentença, em que p e q são proposições que
podem ser verdadeiras ou falsas.
(¬q ∧ (p → q)) → (¬p)
É correto afirmar que:

(a) A sentença é verdadeira somente se p for verdadeiro e q for
falsa.
(b) Se p e q forem verdadeiras, a sentença será falsa.
(c) Se p e q forem falsas, a sentença será falsa.
(d) A sentença é uma tautologia.
(e) A sentença é uma contradição.
Contingência
Desafio:
Faça uma busca na internet e encontre uma contingência (expressão
Implicação e Equivalência Lógica
Agenda
1 Tautologia, Contradição e Contingência
2 Implicação e Equivalência Lógica
Implicação Lógica
Definição
Dadas duas proposições P e Q, diz-se que ocorre uma implicação
lógica (ou relação de implicação) entre P e Q quando a proposição
condicional P → Q é uma tautologia (lê-se P implica Q).
Exemplo
• P : p ∧ q;
• Q : p;
• P → Q é uma implicação lógica?

P → Q.
p q p∧q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
Tabela 9: Tabela-verdade da Proposição (p ∧ q) → p.
• Observe que (p ∧ q) → p é uma implicação lógica.
Desafio:
Faça uma busca na internet e encontre uma implicação lógica que
ainda não foi apresentada neste curso.
Equivalência Lógica
Definição
Dadas as proposições P e Q, diz-se que ocorre uma equivalência
lógica entre P e Q quando suas tabelas-verdade forem idênticas
(lê-se P implica logicamente em Q ou simplesmente P equivale a Q
(P ⇐⇒ Q).
Exemplo
• P : (p → q);
• Q : (¬p ∨ q);
• P equivale a Q?
• Vamos montar a tabela verdade para as proposições P e Q.
p q P =p→q Q = ¬p ∨ q
V V V V
V F F F
F V V V
F F V V
Tabela 10: Tabela-verdade das Proposição P e Q.
• Observe que P equivale a Q.
• A Tabela a seguir ilustra as equivalências mais importantes.
Equivalência Nome
(p ∨ q) ⇐⇒ (q ∨ p) Comutação
(p ∧ q) ⇐⇒ (q ∧ p) Comutação
(p ∨ (q ∨ r ))) ⇐⇒ ((p ∨ q) ∨ r ) Associação
(p ∧ (q ∧ r )) ⇐⇒ ((p ∧ q) ∧ r )) Associação
(p ∧(q ∨r )) ⇐⇒ ((p ∧q)∨(p ∧r )) Distributiva
(p ∨(q ∧r )) ⇐⇒ ((p ∨q)∧(p ∨r )) Distributiva
Tabela 11: Principais Equivalências Lógicas.
Equivalência Nome
¬(p ∧ q) ⇐⇒ (¬p ∨ ¬q) Lei de De Morgan
¬(p ∨ q) ⇐⇒ (¬p ∧ ¬q) Lei de De Morgan
p ⇐⇒ ¬¬p Dupla Negação
(p → q) ⇐⇒ (¬q → ¬p) Transposição
(p → q) ⇐⇒ (¬p ∨ q) Implicação Material
((p ∧ q) → r ) ⇐⇒ (p → (q → r )) Exportação
p ⇐⇒ (p ∧ p) Tautologia
p ⇐⇒ (p ∨ p) Tautologia
p ↔ q ⇐⇒ (p → q) ∧ (q → p) Substituição
p → (q → r ) ⇐⇒ (p ∨ q) → r Prova Condicional
Exercı́cio:
• Verifique se os pares de fórmulas a seguir são equivalências
lógicas ou implicações lógicas.
(a) (p ∧ q) e q;
(b) ¬(p ∧ q) e (¬p ∨ ¬q);
(c) (¬p ∨ q) e (p → q)
Exercı́cio [SELECON 2020]:

• Considere-se a seguinte proposição:
Se Davis é contador, então Ângela não é analista.
Uma proposição equivalente à proposição acima é:
(a) Se Davis não é contador, então Ângela é analista.
(b) Se Davis não é contador, então Ângela não é analista.
(c) Se Ângela é analista, então Davis não é contador.
(d) Se Ângela é analista, então Davis é contador.
Solução:
• p: Davis é contador;
• q: Ângela não é analista;
• P : p → q;
• Pela Transposição temos que: p → q ⇐⇒ ¬q → ¬p;
• Então P ⇐⇒ ¬q → ¬p;
• Assim, P ⇐⇒ Se Ângela é analista, então Davis não é contador;
• Resposta: Letra C.
Exercı́cio [FCC – 2017 – TCE-SP]:

• Uma afirmação que corresponda à negação lógica da afirmação
“Pedro distribuiu amor e Pedro colheu felicidade”é:
(a) Pedro não distribuiu amor ou Pedro não colheu felicidade.
(b) Pedro distribuiu ódio e Pedro colheu infelicidade.
(c) Pedro não distribuiu amor e Pedro não colheu felicidade.
(d) Se Pedro colheu felicidade, então Pedro distribuiu amor.
(e) Pedro não distribuiu ódio e Pedro não colheu infelicidade.
Solução:
• p: Pedro distribuiu amor;
• q: Pedro colheu felicidade;
• P : ¬(p ∧ q);
• Pela Lei de Morgan temos que: ¬(p ∧ q) ⇐⇒ ¬p ∨ ¬q;
• Então P ⇐⇒ ¬p ∨ ¬q;
• Assim, P ⇐⇒ Pedro não distribuiu amor ou Pedro não colheu
felicidade;
• Resposta: Letra A.
Exercı́cio [VUNESP – 2017 – TJSP]:

• Uma negação lógica para a afirmação “João é rico, ou Maria é
pobre”é:
(a) Se João é rico, então Maria é pobre.
(b) João não é rico, e Maria não é pobre.
(c) João é rico, e Maria não é pobre.
(d) Se João não é rico, então Maria não é pobre.
(e) João não é rico, ou Maria não é pobre.
Solução:
• p: João é rico;
• q: Maria é pobre;
• P : ¬(p ∨ q);
• Pela Segunda Lei de Morgan temos que: ¬(p ∨ q) ⇐⇒ ¬p ∧ ¬q;
• Então P ⇐⇒ ¬p ∧ ¬q;
• Assim, P ⇐⇒ João é rico e Maria não é pobre;
• Resposta: Letra B.
Exercı́cio [IBFC – 2016 – EBSERH]:

• De acordo com a lógica proposicional, a frase que é equivalente
a: “Se Marcos estudou, então foi aprovado”é:
(a) Marcos não estudou e foi aprovado.
(b) Marcos não estudou e não foi aprovado.
(c) Marcos estudou ou não foi aprovado.
(d) Marcos estudou se, e somente se, foi aprovado.
(e) Marcos não estudou ou foi aprovado.
Solução:
• p: Marcos estudou;
• q: foi aprovado;
• P : p → q;
• Pela Implicação Material temos que: p → q ⇐⇒ ¬p ∨ q;
• Então P ⇐⇒ ¬p ∨ q;
• Assim, P ⇐⇒ Marcos não estudou ou foi aprovado;
• Resposta: Letra E.
Exercı́cio [Quadrix – 2017 – CRF MT]:

• A afirmação “Maria é médica ou João é professor” tem como
sentença logicamente equivalente:
(a) Se João é professor, então Maria é médica.
(b) Se Maria é médica, então João é professor.
(c) Se Maria não é médica, então João é professor.
(d) Não é verdade que Maria é médica, então João é professor.
(e) Não é verdade que João é professor, então Maria é médica.
Solução:
• p: Maria é médica;
• q: João é professor;
• P: p ∨ q;
• Agora, vamos usar o artifı́cio de trocar p por ¬p nos dois lados
da equivalência lógica;
• Assim, (¬p) → q ⇐⇒ ¬(¬p) ∨ q;
• Logo, (¬p) → q ⇐⇒ p ∨ q;
• Portanto, p ∨ q ⇐⇒ (¬p) → q;
• P ⇐⇒ (¬p) → q
• P ⇐⇒ Se Maria não é médica, então João é professor;
Fique Ligado
Para facilitar a resolução de outras questões no futuro, você pode
adicionar essa nova equivalência lógica na sua tabela de “Principais
Equivalências Lógicas”:
p ∨ q ⇐⇒ (¬p) → q
Exercı́cio [FCC – 2016 – TRT 20ª Região]:

• Do ponto de vista da lógica, a proposição “se tem OAB, então é
advogado”é equivalente à:
(a) tem OAB ou é advogado.
(b) se não tem OAB, então não é advogado.
(c) se não é advogado, então não tem OAB.
(d) é advogado e não tem OAB.
(e) se é advogado, então tem OAB.
Solução:
• p: tem OAB;
• q: é advogado;
• P: p → q;
• Pela Transposição temos que: p → q ⇐⇒ ¬q → ¬p;
• Logo, P ⇐⇒ ¬q → ¬p;
• Assim, P ⇐⇒ Se não é advogado, então não tem OAB;
Exercı́cio [FUNCAB – 2016 – ANS]:

• A negação de afirmação condicional “Se o beneficiário estiver
acima do peso, ele é sedentário”é:
(a) o beneficiário não está acima do peso e ele é sedentário.
(b) se o beneficiário não estiver acima do peso, ele é sedentário.
(c) o beneficiário não está acima do peso e ele não é sedentário.
(d) o beneficiário está acima do peso e ele não é sedentário.
(e) se o beneficiário estiver acima do peso, ele não é sedentário.
Solução:
• p: O beneficiário está acima do peso;
• q: Ele é sedentário;
• P: Se o beneficiário estiver acima do peso, ele é sedentário;
• P: ¬(p → q);
• Agora, vamos usar o artifı́cio de negar os dois lados da
equivalência lógica;
• ¬(p → q) ⇐⇒ ¬(¬p ∨ q);
• ¬(p → q) ⇐⇒ ¬(¬p) ∧ ¬q;
• ¬(p → q) ⇐⇒ p ∧ ¬q;
• Logo, P ⇐⇒ p ∧ ¬q ⇐⇒
O beneficiário está acima do peso e Ele não é sedentário;
• Resposta: Letra D.
Fique Ligado
Para facilitar a resolução de outras questões no futuro, você pode
adicionar essa nova equivalência lógica na sua tabela de “Principais
Equivalências Lógicas”:
¬(p → q) ⇐⇒ p ∧ ¬q
Exercı́cio [CESPE – 2016 – Polı́cia Cientı́fica PE]:

• Considere as seguintes proposições para responder a questão.
P1: Se há investigação ou o suspeito é flagrado
cometendo delito, então há punição de criminosos.
Assinale a opção que apresenta uma negação correta da
proposição P1.
(a) Se não há punição de criminosos, então não há investigação ou

o suspeito não é flagrado cometendo delito.
(b) Há punição de criminosos, mas não há investigação nem o
suspeito é flagrado cometendo delito.
(c) Há investigação ou o suspeito é flagrado cometendo delito, mas
não há punição de criminosos.
(d) Se não há investigação ou o suspeito não é flagrado cometendo
delito, então não há punição de criminosos.
(e) Se não há investigação e o suspeito não é flagrado cometendo
delito, então não há punição de criminosos.
Solução:
• p: há investigação ou o suspeito é flagrado cometendo delito;
• q: há punição de criminosos;
• P1: p → q;
• P : ¬P 1 = ¬(p → p);
• Sabemos que ¬(p → q) ⇐⇒ p ∧ ¬q;
• Logo, P ⇐⇒ p ∧ ¬q ⇐⇒
(há investigação ou o suspeito é flagrado cometendo delito) e
não há punição de criminosos;
Exercı́cio [FCC – 2017 – TC-SP]:

• Assinale a alternativa que apresenta uma afirmação equivalente
à afirmação “Se comprei e paguei, então levei”.
(a) Se comprei e não paguei, então não levei.
(b) Se não comprei e paguei, então não levei.
(c) Se não levei, então não paguei ou não comprei.
(d) Se comprei ou paguei, então não levei.
(e) Se levei, então comprei e paguei.
• Gabarito: Letra C
Exercı́cio [AOCP – 2017 – Maringá PR]:

• A afirmação “Se Pedro mente, então é segunda-feira”é
logicamente equivalente à afirmação:
(a) Pedro mente todas as segundas-feiras.
(b) Se Pedro não mente, então não é segunda-feira.
(c) Se não é segunda-feira, então Pedro não mente.
(d) Pedro mente, ou é segunda-feira.
(e) Se não é segunda-feira, então Pedro mente.
• Gabarito: Letra C
Exercı́cio [FGV – 2017 – MPE BA]:

• Considere a afirmativa:
“Tereza comprou pão e leite”.
Se a afirmativa acima é falsa, conclui-se logicamente que Tereza:
(a) não comprou pão nem leite.
(b) comprou pão, mas não comprou leite.
(c) comprou leite, mas não comprou pão.
(d) comprou pão ou comprou leite.
(e) não comprou pão ou não comprou leite.
• Gabarito: Letra E
Exercı́cio [IBFC – 2017 –TJ PE]:

• Considere a seguinte implicação lógica:
“Se é terça ou quarta, então trabalho e não vou ao
cinema”.
Essa implicação é equivalente a:
(a) Se vou ao cinema e não trabalho, então não é terça, nem quarta.
(b) Se é terça ou não vou ao cinema, então trabalho ou é quarta.
(c) Se trabalho e não é terça, então vou ao cinema ou é quarta.
(d) Se vou ao cinema ou não trabalho, então não é terça, nem
quarta.
(e) Se não trabalho ou não vou ao cinema, então não é terça, mas
quarta.
• Gabarito: Letra D
Exercı́cio [VUNESP – 2017 – TJ SP]:

• Uma afirmação equivalente para “Se estou feliz, então passei no
concurso”é:
(a) Se passei no concurso, então estou feliz.
(b) Se não passei no concurso, então não estou feliz.
(c) Não passei no concurso e não estou feliz.
(d) Estou feliz e passei no concurso.
(e) Passei no concurso e não estou feliz.
• Gabarito: Letra B
Exercı́cio [FGV – 2017 – IBGE]:

• Considere como verdadeira a sentença: “Se todas as flores são
vermelhas, então o jardim é bonito”. É correto concluir que:
(a) Se todas as flores não são vermelhas, então o jardim não é
bonito;
(b) Se uma flor é amarela, então o jardim não é bonito;
(c) Se o jardim é bonito, então todas as flores são vermelhas;
(d) Se o jardim não é bonito, então todas as flores não são
vermelhas;
(e) Se o jardim não é bonito, então pelo menos uma flor não é
vermelha.

• A frase “O atleta venceu a corrida ou a prova foi cancelada” de
acordo com a lógica proposicional é equivalente à frase:
(a) Se o atleta não venceu a corrida, então a prova foi cancelada.
(b) Se o atleta venceu a corrida, então a prova foi cancelada.
(c) Se o atleta venceu a corrida, então a prova não foi cancelada.
(d) Se o atleta não venceu a corrida, então a prova não foi
cancelada.
(e) Se a prova não foi cancelada, então o atleta não venceu a
corrida.
• Gabarito: Letra A

• A frase “Se a ave voa, então o sapo pula”é equivalente a frase:
(a) A ave não voa ou o sapo pula.
(b) O sapo não pula ou a ave voa.
(c) Se o sapo pula, então a ave não voa.
(d) O sapo pula se, e somente se, a ave voa.
(e) A ave não voa e o sapo não pula.
• Gabarito: Letra A

• De acordo com a lógica proposicional, a frase que é equivalente
a: “Se Marcos estudou, então foi aprovado”é:
(a) Marcos não estudou e foi aprovado
(b) Marcos não estudou e não foi aprovado
(c) Marcos estudou ou não foi aprovado
(d) Marcos estudou se, e somente se, foi aprovado
(e) Marcos não estudou ou foi aprovado
Exercı́cio [FUNCAB – 2016 – EMSERH]:

• Dizer que “Alexandre foi aos Lençóis Maranhenses, se e somente
se, fez sol”é logicamente equivalente dizer que:
(a) Não fez sol, se e somente se, Alexandre foi aos Lençóis
Maranhenses.
(b) Se Alexandre foi aos Lençóis Maranhenses, então fez sol.
(c) Ou Alexandre foi aos Lençóis Maranhenses ou fez sol.
(d) Fez sol, se e somente se, Alexandre foi aos Lençóis Maranhenses.
(e) Se Alexandre foi aos Lençóis Maranhenses, então não fez sol.
• Gabarito: Letra D
Exercı́cio [IADES – 2016 – CRESS-MG]:

• Considerando duas proposições simples, p e q, a proposição
¬p → p é equivalente a:
(a) ¬p.
(b) p.
(c) ¬q.
(d) q.
(e) p ∧ q.
Exercı́cio [VUNESP – 2016 – MPE SP]:

• Uma afirmação equivalente à afirmação “Se Glória é dançarina
ou cantora, mas não ambos, então Fábio não é ator”, é:
(a) Se Fábio não é ator, então Glória é dançarina ou cantora, mas
não ambos.
(b) Se Fábio é ator, então Glória não é dançarina nem cantora ou
Glória é dançarina e cantora.
(c) Se Fábio é ator, então Glória não é dançarina, mas é cantora.
(d) Se Glória não é dançarina nem cantora ou é dançarina e
cantora, então Fábio é ator.
(e) Se Fábio não é ator, então Glória é dançarina, mas não é
cantora ou Glória não é dançarina, mas é cantora.
Exercı́cio [ESAF – 2016 – ANAC]:

• A proposição “se o voo está atrasado, então o aeroporto está
fechado para decolagens”é logicamente equivalente à proposição:
(a) o voo está atrasado e o aeroporto está fechado para decolagens.
(b) o voo não está atrasado e o aeroporto não está fechado para
decolagens.
(c) o voo está atrasado, se e somente se, o aeroporto está fechado
para decolagens.
(d) se o voo não está atrasado, então o aeroporto não está fechado
para decolagens.
(e) o voo não está atrasado ou o aeroporto está fechado para
decolagens.
Desafio:
Faça uma busca na internet e encontre uma equivalência lógica que
ainda não foi apresentada neste curso.

Programece Slides Modulo I Aulas 5 6

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Programece Slides Modulo I Aulas 5 6

Enviado por

Direitos autorais:

Formatos disponíveis

Introdução à Lógica

José Maria Monteiro1

1 Tautologia, Contradição e Contingência

2 Implicação e Equivalência Lógica

Tautologia, Contradição e Contingência

• Na aula de hoje vamos discutir três importantes conceitos:

• A proposição S é uma tautologia?

• Vamos montar a tabela verdade para a proposição composta

• Observe que p ∨ ¬p é uma tautologia.

• Vamos ver um segundo exemplo.

• Será que a proposição S é uma tautologia?

• Vamos montar a tabela verdade para a proposição composta

• Observe que S = ¬(p ∧ ¬p) é uma tautologia.

p q p∧q ¬(p ∧ q) p ∨ ¬(p ∧ q)

Exercı́cio [IADES 2017]:

Exercı́cio [IESES 2017]:

• A proposição S é uma contradição?

• Vamos montar a tabela verdade para a proposição composta S

• Observe que p ∧ ¬p é uma contradição.

p q p∧q p∨q ¬(p ∨ q) (p ∧ q) ∧ ¬(p ∨ q)

Exercı́cio [FUNDATEC 2019]:

Exercı́cio [IBFC 2020]:

Exercı́cio [IBFC 2020]:

(¬q ∧ (p → q)) → (¬p)

É correto afirmar que:

1 Tautologia, Contradição e Contingência

2 Implicação e Equivalência Lógica

• Vamos montar a tabela verdade para a proposição composta

• Observe que (p ∧ q) → p é uma implicação lógica.

• Vamos montar a tabela verdade para as proposições P e Q.

• Observe que P equivale a Q.

• A Tabela a seguir ilustra as equivalências mais importantes.

• A Tabela a seguir ilustra as equivalências mais importantes.

• A Tabela a seguir ilustra as equivalências mais importantes.

Exercı́cio [SELECON 2020]:

Exercı́cio [FCC – 2017 – TCE-SP]:

Exercı́cio [VUNESP – 2017 – TJSP]:

Exercı́cio [IBFC – 2016 – EBSERH]:

Exercı́cio [Quadrix – 2017 – CRF MT]:

Exercı́cio [FCC – 2016 – TRT 20ª Região]:

Exercı́cio [FUNCAB – 2016 – ANS]:

Exercı́cio [CESPE – 2016 – Polı́cia Cientı́fica PE]:

(a) Se não há punição de criminosos, então não há investigação ou

Exercı́cio [FCC – 2017 – TC-SP]:

Exercı́cio [AOCP – 2017 – Maringá PR]:

Exercı́cio [FGV – 2017 – MPE BA]:

Exercı́cio [IBFC – 2017 –TJ PE]:

Exercı́cio [VUNESP – 2017 – TJ SP]:

Exercı́cio [FGV – 2017 – IBGE]:

Exercı́cio [IBFC – 2016 – EBSERH]:

Exercı́cio [IBFC – 2016 – EBSERH]:

Exercı́cio [IBFC – 2016 – EBSERH]:

Exercı́cio [FUNCAB – 2016 – EMSERH]:

Exercı́cio [IADES – 2016 – CRESS-MG]:

Exercı́cio [VUNESP – 2016 – MPE SP]:

Exercı́cio [ESAF – 2016 – ANAC]:

Você também pode gostar