EXERCICIO 23

Prioridade de resolução:

- Parênteses ()

- Negação ~ ¬

- Conjunção ∧

- Disjunção ∨

- Condicional →

- Bicondicional ↔

a) ¬(p ∧ q ∧ r) ↔ ¬p ∨ ¬q ∨ ¬r

p q r p∧q∧r ¬(p ∧ q ∧ r) ¬ ¬q ¬r ¬p ∨ ¬q ¬p ∨ ¬q ∨ ¬r ¬(p ∧ q ∧ r) ↔ ¬p ∨ ¬q ∨ ¬r

p

V V V V F F F F F F V

V V F F V F F V V V V

V F V F V F V F V V V

V F F F V F V V V V V

F V V F V V F F V V V

F V F F V V F V V V V

F F V F V V V F V V V

F F F F V V V V V V V

R: Tautologia
 b) p ∨ q ∧ r ↔ ¬q → ¬p ∧ ¬r

p q r q∧r p∨q∧r ¬q ¬p ¬r ¬p ∧ ¬r ¬q → ¬p ∧ ¬r p ∨ q ∧ r ↔ ¬q → ¬p ∧ ¬r

V V V V V F F F F V V

V V F F V F F V F V V

V F V F V V F F F F F

V F F F V V F V F F F

F V V F V F V F F V V

F V F F V F V V F V V

F F V F V V V F F F F

F F F F F V V V V V F

R: Contingência

c) (p ⊻ q) ∧ r → (¬q ↔ ¬r)

p q r p⊻q (p ⊻ q) ∧ r ¬q ¬r ¬q ↔ ¬r (p ⊻ q) ∧ r → (¬q ↔ ¬r)

V V V F F F F V V

V V F F F F V F V

V F V V V V F F F

V F F V F V V V V

F V V V V F F V V

F V F V F F V F V

F F V F F V F F V

F F F F F V V V V

R: Contingência

d) (p ∧ q) ⊻ ¬( r ↔ p ∧ q)
p q r p∧q r↔p∧q ¬( r ↔ p ∧ q) (p ∧ q) ⊻ ¬( r ↔ p ∧ q)

V V V V V F V

V V F V F V F

V F V F F V V

V F F F V F F

F V V F F V V

F V F F V F F

F F V F F V V

F F F F V F F

R: Contingência

EXERCÍCIO 25

Contraposição: a → b ⇔ ¬b → ¬a

a b a→b ¬b ¬a ¬b → ¬a

V V V F F V

V V V F F V

V F F V F F

V F F V F F

F V V F V V

F V V F V V

F F V V V V

F F V V V V
Lei distributiva: a ∧ (b ∨ c) ⇔ (a ∧ b) ∨ (a ∧ c)

a b c b∨c a ∧ (b ∨ c) a∧b a∧c (a ∧ b) ∨ (a ∧ c)

V V V V V V V V

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

V F F F F F F F

F V V V F F F F

F V F V F F F F

F F V V F F F F

F F F F F F F F

Lei De Morgan: ¬(a ∨ b) ⇔ ¬a ∧ ¬b

a b a∨b ¬(a ∨ b) ¬a ¬b ¬a ∧ ¬b

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

Lei associativa: a ∨ (b ∨ c) ⇔ (a ∨ b) ∨ c

a b c b∨c a ∨ (b ∨ c) a∨b (a ∨ b) ∨ c

V V V V V V V

V V F V V V V

V F V V V Vv V

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

F V F V V V V

F F V V V V V

F F F F F F F

Condicional: a → b ⇔ ¬a ∨ b

a b a→b ¬a ¬a ∨ b

V V V F V

V F F F F

F V V V V

F F V V V

Lei idempotente: a ∧ a ⇔ a

a a∧a

V V

F F

Dupla negação: ¬¬a ⇔ a

a ¬a ¬¬a

V F V

F V F

Lei comutativa: a ∧ b ⇔ b ∧ a

a b a∧b b∧a

V V V F
 V F F F

F V F F

F F F F

Bicondicional: a ↔ b ⇔ (a → b) ∧ (b → a)

a b a↔b a→b b→a (a → b) ∧ (b → a)

V V V V V V

V F F F V F

F V F V F F

F F V V V V
 Lei distributiva: a ∨ (b ∧ c) ⇔ (a ∨ b) ∧ (a ∨ c)

a b c b∧c a ∨ (b ∧ c) a∨b a∨c (a ∨ b) ∧ (a ∨ c)

V V V V V V V V

V V F F V V V V

V F V F V V V V

V F F F V V V V

F V V V V V V V

F V F F F V F F

F F V F F F V F

F F F F F F F F

Lei De Morgan: ¬(a ∧ b) ⇔ ¬a ∨ ¬b

a b a∧b ¬(a ∧ b) ¬a ¬b ¬a ∨ ¬b

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

Lei comutativa: a ∨ b ⇔ b v a

a b a∨b b∨a

V V V V

V F V V

F V V V

F F F F
Lei idempotente: a ∨ a ⇔ a

a a∨a

V V
F F

Lei associativa: a ∧ (b ∧ c) ⇔ (a ∧ b) ∧ c

a b c b∧c a ∧ (b ∧ c) a∧b (a ∧ b) ∧ c

V V V V V V V

V V F F F V F

V F V F F F F

V F F F F F F

F V V V F F F

F V F F F F F

F F V F F F F

F F F F F F F

EXERCÍCIO 26

Marque as proposições que são equivalentes entre si. Além disso, identifique o
nome das Equivalências Notáveis usadas.

Para identificá-las, use os seguintes termos:

o Dupla negação
o Idempotente
o Comutativa
o Associativa
o Distributiva
o De Morgan
o Condicional
o Contraposição
o Bicondicional
 Suponha:
 A: está chovendo.
 B: está nublado.

a) Se está chovendo então está nublado. A→B, condicional

b) Está chovendo. A
c) Está chovendo e está nublado. A^B

d) Ou está nublado ou está chovendo. B v A

e) Não está chovendo ou não está nublado. ~A v ~B

f) Ou não está nublado ou então chove. ~B v A

g) Está chovendo se e somente se está nublado. A ↔ B

h) Estar chovendo é condição suficiente para que esteja nublado. A→B

i) É falso afirmar que não está chovendo. ~~A

j) Ou não está chovendo ou está nublado. ~A v B

k) Se não está nublado então está chovendo. ~B→A

l) Não estar nublado é condição suficiente para que não esteja chovendo. ~B→~A

m) Se não está nublado então não está chovendo. ~B→~A

n) Não é verdade que está chovendo ou está nublado. ~(A v B)

o) Se está chovendo então está nublado. Além disso, se está nublado então está
chovendo. (A→B) ^ (B→A)

p) Não está chovendo nem está nublado. ~A v ~B

q) Ou está chovendo ou está nublado. A v B

r) A condição necessária para que esteja chovendo é estar nublado. A→B

s) Está chovendo. Observou-se também que chove. A ^ A

t) Se está nublado então está chovendo. B→A

u) Está nublado e também chove. B^A

v) É falso afirmar que está chovendo e está nublado. ~(A v B)

w) Chove. Mas, também está nublado. A^B

o Dupla negação : I equivalente a B

o Idempotente : S equivalente a B

o Comutativa : C equivalente a U . U equivalente a W

 o De Morgan: E equivalente a V . N equivalente a P

o Condicional: A, H, e R são equivalentes a J . F é equivalente a T

o Contraposição: A, H, e R são equivalentes a L e M

o Bicondicional: G equivalente a O

EXERCÍCÍO 27

equivalências notáveis, contraposição, condicional e lei De Morgan

Se eu estudar eu aprendo a matéria. Além disso, se eu aprendo a matéria, consigo

uma boa nota

A: estudar

B: aprender a matéria

C: boa nota

Então: (A→B) ^ (B→C)

a) Se eu não aprendo a matéria então não estudei. Além disso, se eu aprendi a matéria
então consegui uma boa nota.

(~B→~A) ^ (B→C) . Equivalente pois é uma contraposição

b) Se eu não aprendo a matéria então não estudei. Além disso, se eu não consegui uma
boa nota então não aprendi a matéria.

(~B→~A) ^ (~C→~B) . Equivalente pois é contraposição, duas vezes

c) Ou eu não aprendo a matéria ou não estudo. Além disso, se eu não consigo uma boa
nota então não aprendi a matéria

(~B v ~A) ^(~C →~B). Não é equivalente

a b c ~B ~A (~B v ~A) ~C (~C →~B)

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

V F V V F V F V

V F F V F V V V

F V V F V V F V

F V F F V V V F

F F V V V V F V

F F F V V V V V

d) "Ou eu não estudo ou eu aprendo a matéria. Além disso, se eu não consegui uma
boa nota então eu não aprendi a matéria"

(~A v B) ^ (~C→~B) É
equivalente, devido a condicional e a
contraposição. NÃO ENTENDI

a b c ~A (~A v B) ~C ~B (~C→~B)

V V V F V F F V

V V F F V V F F

V F V F F F V V

V F F F F V V V

F V V V V F F V

F V F V V V F F

F F V V V F V V

F F F V V V V V

e. "Não é verdade que eu estudo e não aprendo a matéria. Além

disso, ou eu não aprendo a matéria ou consigo uma boa nota".
¬(A ∧ ¬B) ∧ (¬B ∨ C)

É equivalente, devido a Lei De Morgan e condicional (duas

vezes).

f. "Se eu aprendo a matéria então eu estudo. Além disso, se eu

consegui uma boa nota então eu aprendi a matéria".
(B → A) ∧ (C → B)
 Não é equivalente.

Exercício 28

Usando tabela verdade, prove a validade ou a não validade dos seguintes

argumentos. Opcionalmente, faça diagramas lógicos para comprovar a sua resposta.

a) Seu celular estar ligado é suficiente para que ele possa receber mensagem.
Observou-se que seu celular não pode receber mensagem. Isso resulta no fato de que
seu celular não está ligado.

A: celular ligado

B: receber mensagem

Premissas: A→B

~B

Conclusão: ~A

Argumento: (A→B) ^ ~B→~A

a b A→B ~B (A→B) ^ ~B ~A (A→B) ^ ~B→~A

V V V F F F V

V F F V F F V

F V V F F V V

F F V V V V V
O ARGUMENTO É VALIDO (TAUTOLOGIA)

b) Não é verdade que: o texto foi impresso e também foi enviado por e-mail. Mas,
sabe-se que o texto foi impresso. Então, pode-se concluir que o texto não foi enviado
por e-mail.

A: texto impresso

B: enviado por email

Premissas: ~(A ^B) ^ A → ~B

a b A ^B ~(A ^B) ~(A ^B) ^ A ~B ~(A ^B) ^ A → ~B

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

F V F V F F V

F F F V F V V

ARGUMENTO É VALIDO (TAUTOLOGIA)

QUESTÕES DA PROVA
Avaliação 05

1. Qual é a tabela verdade da seguinte proposição?

Obs.: escreva apenas o resultado da última coluna da tabela verdade, Por exemplo, se
na última coluna tiver 4 verdadeiros seguidos de 4 falsos, escreva apenas VVVVFFFF

Prioridade de resolução:

- Parênteses ()

- Negação ~ ¬

- Conjunção ∧

- Disjunção ∨
 - Condicional →

- Bicondicional ↔

(a↔bΛc)→c

a b c b^c (a↔bΛc) (a↔bΛc)→c

V V V V V V

V V F F F V

V F V F F V

V F F F F V

F V V V F V

F V F F V F

F F V F V V

F F F F V V

2. (AΛBVC)Λ¬(BΛC)

a b c AΛB (A Λ B V C) BΛC ¬(BΛC) (A^BvC)^¬(B^C)

V V V V V V F F

V V F V V F V V

V F V F V F V V

V F F F F F V F

F V V F V V F F

F V F F F F V F

F F V F V F V V

F F F F F F V F
 3. aΛbVc→(¬a⊕¬b)

a b c aΛb aΛbVc ¬a ¬b (¬a⊕¬b) aΛbVc→(¬a⊕¬b)

V V V V V F F F F

V V F V V F F F F

V F V F V F V V V

V F F F F F V V V

F V V F V V F V V

F V F F F V F V V

F F V F V V V F F

F F F F F V V F V

AVALIAÇÃO 06

"Não é verdade que: eu vou de carro ou vou de ônibus"

A: vou de carro

B: vou de ônibus

Se o documento estiver em PDF, conseguiremos uma boa impressão

A: doc em pdf

B: boa impressão

Premissa: A→B

a → b ⇔ ¬b → ¬a contraposição

O arquivo é bem estruturado se e somente se ele seguiu as normas

A: Arquivo estruturado

B: seguir as normas

Premissa: A↔B

a ↔ b ⇔ (a → b) ∧ (b → a) bicondicional

Se o sistema é seguro então é possível enviar o documento

A: sistema seguro

B: enviar documento

Premissa: A→B

a → b ⇔ ¬a ∨ b condicional

Anotações 09/11/2020

Prova da não validade de argumento, pela atribuição de valores

Exercício 29) Se ela estava na cena do crime então é possível que tenha
participado do crime. Se o crime aconteceu à noite então estava escuro. Sabe-
se que ela estava na cena do crime ou o crime aconteceu à noite. Portanto, é
possível que ela tenha participado do crime e estava escuro.
A: estava na cena do crime
B: participar do crime
C: crime aconteceu a noite
D: estar escuro

(a→b) ^ (c→d) ^ (a v c) → b ^ d

Obs: a única forma de dar tautologia e provar a validade do argumento é

quando as premissas iniciais dão verdadeiro e a premissa conclusiva da falso.
Assim: (a→b) ^ (c→d) ^ (a v c) → b ^ d

Verdadeiro Falso
Então: (a→b) tem que ser verdadeiro seguindo essa
lógica,

(c→d) tem que ser verdadeiro com 4 variáveis, há

(a v c) tem que ser verdadeiro 16 formas diferentes para

b ^ d tem que ser falso de resultados.

Como:
a=v a=f
b=v OU b=f
c=f c=v
d=f d=v

Prioridade de resolução:

- Parênteses ()

- Negação ~ ¬

- Conjunção ∧

- Disjunção ∨

- Condicional →

- Bicondicional ↔

Conclusão: entendi? NÃO SIUAHSIUAHSIUA

EXERCÍCIO 30 - Prove a validade de cada argumento lógico a seguir

usando as implicações tautológicas.

A) A condição suficiente para que a caixa d’água encha é que a válvula esteja
aberta. Sabe-se que a válvula está aberta. Portanto a caixa d’água vai encher

A: Válvula aberta
B: Caixa d’agua cheia

Premissas:

1: A→B

2: A

Conclusão:

(A→B) ^A →B Modus ponens (modo que afirma)

b) Domingo, se fizer sol Maria vai à praia. Passado domingo, observaram que
ela não foi à praia. Então conclui-se que não fez sol.

A: Fazer sol

B: ir a praia

Premissas:

1: A→B

2: ~B

Conclusão:

~A

(A→B) ^ (~B) → ~A modus tollens (modo que nega)

c) A TV do cliente possui definição 4K ou Full HD. Porém o técnico foi ao local

e constatou que não era Full HD. Logo, pode-se concluir que a definição da TV
do cliente é 4K.

A: definição 4K

B: Full HD

Premissas:

1: A v B
2: ~B

Conclusão:

(A v B) ^ (~B) → A silogismo disjuntivo

D) Se a consulta à data de criação do documento der maior que 2001 então ele
passará por auditoria. Se o documento passar por auditoria então depois ele
terá que ser preservado. Logo, é suficiente que a data de criação do
documento seja maior que 2001 para que ele seja preservado.

A: Data de criação

B: passar por auditoria

C: ser preservado

Premissas:

1: A→B

2: B→C

Conclusão:

A→C

(A→B) ^ (B→C) → (A→C) silogismo hipotético

e) Sabe-se que o arquivo da empresa X é organizado pelo arquivista Sr.

Meneslau. Pode-se concluir que o arquivista Sr. Meneslau organiza o arquivo
da empresa X ou então ele não trabalha nessa empresa X

A: Sr. Meneslau organiza o arquivo da empresa.

B: trabalhar na empresa

Premissas:

1: A

Conclusão:
A v ~B

A → (A v ~B) adição

f) O documento de código D001 está salvo no desktop e também tem backup.

Mas essa constatação só aconteceu após uma averiguação mais precisa.
Logo, pode-e afirmar que o documento de código D001 tem backup.

A: Salvo no desktop

B: Tem backup

Premissa:

1: A^B

Conclusão:

(A^B) → B simplificação

OBS: SOBRE CONDIÇÃO NECESSÁRIA E CONDIÇÃO

SUFICIENTE
1. Ficar com uma boa nota é condição suficiente para que eu
passe na disciplina.
A: ficar com uma boa nota
B: passar na disciplina
A→B

2. Colocar gasolina no carro é condição necessária para que ele

faça a viagem.
A: colocar gasolina no carro
B: carro fazer a viagem
B→A
g) O pendrive estar bom é condição necessária para que a comunicação USB
funcione. Percebeu-se que a comunicação USB está funcionando. Conclui-se
que o pendrive está bom.

A: Pendrive estar bom

B: USB funcione

Premissa:

1: B→A

2: B

Conclusão:

(B→A) ^B → A modus ponens (modo que afirma)

g) Se o cabo da rede está desconectado então não há transmissão de dados.

Sabe-se que ou o cabo está desconectado ou o sistema operacional não
funciona. Sabe-se também que existe transmissão de dados. Portanto o
sistema operacional não funciona
A: cabo de rede desconectado
B: Transmissão de dados
C: sistema operacional

Premissas:
1: A→~B
2: A v ~C
3: B
Conclusão:
~C

(A→~B) ^ (A v ~C) ^ (B) → ~C silogismo hipotético

Data: 16/11/2020

AVALIAÇÃO 7 – Correção do prof em AZUL

Prova da não validade de argumento, pela atribuição de valores.
ERREI AS DUAS QUESTÕES... TIREI 0,0

(a→b) ^ (b→c) ^ (c→d) ^ ~d → (~a ^ b)

Buscar que todas as premissas sejam verdadeiras e a conclusão falsa

Resposta correta: a=F, b=F, c=F e D=F
AVALIAÇÃO 8
Identifique o nome da equivalência notável ou implicação tautológica
(regra de inferência) que prova a validade do seguinte argumento:

1. "Se o conector está ruim então o pendrive não vai funcionar. Sabe-se que o
conector está ruim. Então é possível concluir que o pendrive não vai funcionar"
A: o conector está ruim
B: o pendrive não vai funcionar
Premissas:
1: A→B
2: A
Conclusão:
B

(A→B) ^ A → B : Modus ponens

2. Não é verdade que hoje não faz Sol. Isso é o mesmo que dizer que hoje faz
Sol

A: não fazer sol

Premissas:
1. ~~A
2. A

Conclusão:

~~A ⇔ a dupla negação

3) Se fizer Sol então vai fazer calor. Logo, posso afirmar que se não fez calor
então não fez Sol
A: fazer sol
B: fazer calor
Premissas:
1. A→B
Conclusão:
~B→~A

A→B ⇔ ~B→~A contraposição

4) Se o show deu muita gente então é porque o clima estava agradável. Mas,
sabe-se que o clima não estava agradável. Portanto, o show não deu muita
gente
A: show dar muita gente
B: clima agradável

Premissas:
1: A→B
2: ~B
Conclusão:
~A

(A→B) ^ (~B) → ~A Modus tollens

5) Ou a porta ou a janela estão abertas. A porta não está aberta. Conclui-se

que a janela está aberta

A: porta aberta
B: janela aberta

Premissas:
1. A v B
2. ~A
Conclusão:
B
(A v B) ^ (~A) → B Silogismo disjuntivo

6. O livro Introdução à Arquivologia tem 300 páginas. Então podemos afirmar

que o livro Introdução à Arquivologia tem 300 páginas ou é bastante didático
A: O livro Introdução à Arquivologia tem 300 páginas
B: bastante didático
A → (A v B) Adição

7. Se existe vida então existe oxigênio. Logo, não existe vida ou existe oxigênio
A: existe vida
B: existe oxigênio

(A→B) → ~A v B Condicional

8. Uma boa moqueca não pode ser feita nem de Baiacu e nem de Cação.
Portanto, é falso afirmar que uma boa moqueca pode ser feita de Baiacu ou
Cação
A: moqueca de baiacu
B: moqueca de Cação

~(A ^ B) → ~A v ~B Lei de Morgan

9. Se chover a terra fica molhada. Se a terra ficar molhada as plantas gostam.

Então, pode-se concluir que, se chover a plantas gostam
A: Chover
B: terra molhada
C: planta gostam

(A→B) ^ (B →C) → (A→C) Silogismo hipotético

10. Eu vou comer pastel com refrigerante ou caldo. Logo, eu vou comer pastel
com refrigerante, ou comer pastel com caldo
A: comer pastel
B: com refrigerante
C: com caldo

a ∧ (b ∨ c) ⇔ (a ∧ b) ∨ (a ∧ c) Leis distributivas

Prof deu explicação de Prova da Validade de Argumentos Lógicos pelo

uso de Implicações Tautológicas Conhecidas:

DATA: 23/11/2020

AVALIAÇÃO 09

1- ”Se o sensor detecta presença então o controle é acionado. Se o controle é

acionado então a válvula funciona. Mas, sabe-se que a válvula não funciona.
Portanto pode-se concluir que:

e) O sensor não detecta presença

2- O documento foi registrado na folha 43 ou 9. Mas, sabe-se que se o

documento foi registrado na folha 43 então ele está na caixa 11. Além disso,
sabe-se que o documento não foi registrado na folha 9. Logo, pode-se concluir
que:"

a) O documento está na caixa 11.

DATA: 23/11/2020

Prova da Validade de Argumentos Lógicos pelo uso

de Implicações Tautológicas Conhecidas e Equivalências Notáveis

AVALIAÇÃO 10 - 04/12

"É suficiente que o político seja persuasivo e/ou corrupto para que ele engane
o seu eleitor e/ou traga prejuízos ao país. Mas, após investigações constatou-
se que o político é corrupto. Logo, ele vai trazer prejuízos ao país e
provavelmente será preso".

A: o político é persuasivo
B: o político é corrupto
C: o eleitor enganado pelo político
D: o político traz prejuízos ao país
E: o político provavelmente vai ser preso

(A V B → C V D) ∧ B → D ∧ E

"É suficiente que o político seja persuasivo e/ou corrupto para que ele engane
o seu eleitor e/ou traga prejuízos ao país. Mas, após investigações constatou-
se que o político é corrupto. Logo, ele vai trazer prejuízos ao país e
provavelmente será preso".