Você está na página 1de 8

1)    Determinar o valor lógico de cada uma das seguintes proposições:

a) O número 17 é primo. VERDADE


b) (3 + 5) = 32 + 5
2 2
0
c) c) -1 < -7 0
d) A expressão n2 - n + 41 (n ∊ ℕ) só produz números primos. 0
e) sen2 30º +cos2 30º = 2 0
f) O número 125 é cubo perfeito. VERDADE

2)    Sejam as proposições:

p: Pedro saiu. q : Maria está aqui.

Forme sentenças na linguagem natural que correspondem às seguintes proposições:

a) ~ p Pedro não saiu.

b) ~ q Maria não está aqui.

c) p Ù q Pedro saiu e Maria está aqui.

d) p Ú q Pedro saiu ou Maria está aqui.

e) ~ p Ù q Pedro não saiu e Maria está aqui.

f) pÚ ~ q Pedro saiu ou Maria não esta aqui.

g)~ (pÙ q) Não e verdade que Pedro saiu e Maria está aqui.

h) ~(pÚ q) Não e verdade que Pedro saiu ou Maria está aqui.

i) ~ pÚ ~ q Pedro não saiu ou Maria não está aqui.

j) ~ pÙ ~ q Pedro não saiu e Maria não está aqui.

3)    Sejam as proposições:

p : Luíza é modelo. q : Luíza é atriz.

Escreva na forma simbólica cada uma das proposições a seguir:

a) Luíza não é modelo. ~p ᴧ q

b) Luíza é modelo e atriz. pᴧq

c) Luíza é modelo e não é atriz. p ᴧ ~q

d) Luíza não é modelo e atriz. ~(p ᴧ q)

e) Luíza é modelo ou atriz. pVq

f) Luíza é modelo ou não é atriz. p V ~q

g) Luíza não é modelo ou atriz. ~(p V q)

h) Luíza não é modelo ou é atriz. ~p V q

i) Não é verdade que Luíza é modelo ou atriz.~(p V q)

j) Não é verdade que Luíza não é modelo ou não


~(~péVatriz.
~q)

h) Luíza não é modelo nem atriz. ~p ᴧ ~q

1 ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 1/8
4)    Construir a tabela verdade para as seguintes proposições:

a) pÙ ~ p p ~p p ᴧ~p b) pÚ ~ p p ~p p V ~p
V F F V F V
F V F F V V

c) pÙ ~ q p q ~q p ᴧ~q d) ~ p Ú q p q ~p ~p V q
V V F F V V F V
V F V V V F F F
F V F F F V V V
F F V F F F V V

e) ~ pÙ ~ q f) ~ ( p Ú q) p q pVq ~(p V q)
p q ~P ~q ~p ᴧ~q V V V F
V V F F F V F V F
V F F V F F V V F
F V V F F F F F V
F F V V V
g) ~ pÚ ~ q
p q ~P ~q ~p V ~q h) ~(p ᴧ q) p q pᴧq ~(p ᴧ q)
V V F F F V V V F
V F F V V V F F V
F V V F V F V F V
F F V V V F F F V
5)    Dadas as proposições:
p : Gosto de pizza.
q : Gosto de pipoca. r : Gosto de guaraná.
a) q ® p Se gosto de pipoca então gosto de pizza.
b) ( p Ù q) ® r Gosto de pizza e pipoca, então gosto de guaraná.
c) p ® (q ® r ) Gosto de pizza , então gosto de pipoca então gosto de guaraná.
d) ( p Ú r ) ® ( p ® q) Gosto de pizza ou guaraná, então gosto de pizza, então gosto de pipopca.
e) ( pÚ ~ q) ®~ r Gosto de pizza ou não gosto de pipoca, então não gosto de guaraná.
f) ~ (q Ú r ) ® p Não é verdade que gosto de pipoca ou guaraná, então gosto de pizza.
g) ~ p ® (qÙ ~ r ) Não gosto de pizza, então gosto de pipoca e não gosto de guaraná.
h) p ®~ (r Ù q) Gosto de pizza, então não é verdade que gosto de guaraná e pipoca.

6)    Dadas as proposições:
p : Ivo é alto. q : Ivo é elegante.

Escreva cada uma das proposições na forma simbólica usando p e q :


a) Ivo é alto epelegante.
ᴧq
b) Ivo é alto mas não é elegante.
p ᴧ~q
c) É falso que Ivo não é ~(~p
alto ou
V q)elegante.
d) Ivo não é alto
~p ᴧnem
~q elegante.
e) Ivo é alto, ou Ivo não pé Valto
~(peᴧelegante.
q)
f) Não é verdade que Ivo não é alto~(~p ou não
V ~q)é elegante.
g) Se Ivo é alto, então Ivo
p→ é elegante.
q
h) Ivo não é alto, se não é elegante.
~p →~q

7)    Construir a tabela verdade de cada proposição: 

a) ~(p →~ p q ~q (p →~q) ~ (p →~q) b) (p ᴧ q) → (p V q) A B


V V F F V p q pᴧq pVq A →B
V F V V F V V V V V
F V F V F V F F V V
F F V V F F V F V V
F F F F V

A B d) (p  → q) → (p ᴧ q) A B
c) ~p  →  p q ~p q→p A →B p q p →q (p ᴧ q) A →B
V V F V V V V V V V
1 ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 2/8
V F F V V V F F F V
F V V F F F V V F F
F F V V V F F V F F

e) (~p ᴧ r) p q r ~q ~p V ~q f) ((p → q) ᴧ (q → r)) v (p→ r)
V V V F F A B C D
V V F V V p q r (p → q) (q → r) A ᴧB (p → r) CvD
V F V F V V V V V V V V V
V F F V V V V F V F F F F
F V V V V V F V F V F V V
F V F V V V F F F V F F F
F F V V V F V V V V V V V
F F F V V F V F V F F V V
F F V V V V V V
F F F V V V V V

8)    Admitindo falso o condicional p ® q , verifique o valor lógico de:

a) (p → q) ᴧ rV  → F = F  ᴧ r(V ou F) = F

b) (q v r) → ( (F  v V) = V  → F = F
(F  v F) = F  → F = V

9)    Dadas as proposições:

p : Perereca se transforma em sapo.


q : Sapo se transforma em príncipe.

Pereca se transforma em sapo, se, e somente se, sapo se transforma em príncipe.

Formar a bicondicional na linguagem natural.

10)        Dadas as proposições:
p : O número 596 é divisível por 2. q : O número 596 é divisível por 4. r : O número 596 é divisível por 3.

Passe para a linguagem simbólica as proposições compostas abaixo:


a) É falso que o número 596 é divisível por 2 e por 3, ou o número 596 não é divisível por 4.
~ (p  ᴧ  r) v ~ r

b) O número 596 não é divisível por 2 ou por 4, mas é divisível por 3.


~ (p  v  q) ᴧ r

c) O número 596 é divisível por 2 se, e somente se, é divisível por 4 e não é divisível por 3.
 (p  ↔ q) ᴧ ~r

d) É falso que o número 596 não é divisível por 2 e por 4, mas é divisível por 3 e por 2.
~ (p ᴧ q) ᴧ (r ᴧ p)

e) Se não é verdade que o número 596 é divisível por 3, então é divisível por 2 e não por 4.
~ r →( p ᴧ ~ q)

11)    Determine o valor lógico de cada uma das proposições compostas do Exercício 10.
b) ~ (p  v  q) ᴧ r
a) ~ (p  ᴧ  r) v ~ r
A B C D A B
p q r (p → q) (q → r) A ᴧB (p → r) CvD p q r (p v q) ~A B^r
V V V V V V V V V V V V F F
V V F V F F F F V V F V F F
V F V F V F V V V F V V F F
V F F F V F F F V F F V F F
F V V V V V V V F V V V F F
F V F V F F V V F V F V F F
F F V V V V V V F F V F V V
F F F V V V V V F F F F V F

c)  (p  ↔ q) ᴧ ~r d) ~ (p ᴧ q) ᴧ (r ᴧ p)

1 ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 3/8
A B A B
p q r p ↔q ~r A^B p q r ~(p ^ q) r ^p A^B
V V V V F F V V V F V F
V V F V V V V V F F F F
V F V F F F V F V V V V
V F F F V F V F F V F F
F V V F F F F V V V F F
F V F F V F F V F V F F
F F V V F F F F V V F F
F F F V V V F F F V F F

e)  ~ r →( p ᴧ ~ q)

A B
p q r (p ^~ q) ~r B →A
V V V F F V
V V F F V F
V F V V F V
V F F V V V
F V V F F V
F V F F V F
F F V F F V
F F F F V F

12)        Sabendo-se que seguintes proposições: v ( p) = v (q) = V e v (r ) = v (s ) = F , determinar os valores lógicos das seguintes preposições:

a) ( p Ù (q Ú r )) ® ( p ® (r Ú q)) b) (q ® r ) « (~ q Ú r )
(V ^(V v F)) → (V → (F v V)) (V→F) ↔(F v F)
(V ^V) →(V→V) F↔F = V
V→V = V d) ~ (q « (~ p Ù s ))
c) (~ pÚ ~ (r Ù s )) ~(V ↔(F ^F)
(F v ~(F ^F) ~(V↔ F) = V
FvV=V
e) ( p « q )Ú (q ®~ p) f) ( p « q )Ú (~ r ® s)
(V ↔V ) v (V→F) (V ↔ V) v (V → F)
(V v F) = V (V v F) = V
g) ~ (~ q Ù ( pÙ ~ s )) h) ~ p Ú (q Ù (r ®~ s ))
~ (F ^(V ^V)) F v (V ^(F →V))
~(F^V) = V FvV=V

i) (~ p Ú r ) ® (q ® s ) j) ~ q Ù ((~ r Ú s ) « ( p ®~ q))
(F v F) → (V →F) F^((VvF)↔(V→F)
F→F = F F^(V↔F)
F^F=F

13)    Considerando as proposições:
p : 2 é número inteiro.
q : 2 é número par.
r : 2 é número primo.
Traduza para a linguagem corrente as seguintes proposições:
a) p « q 2 é número inteiro se, e somente se, 2 é numero par.
b) ~ ( p Ú q) «~ r Não e verdade que 2 e numero inteiro ou par se, e somente se 2 não é numero primo.
c) ( pÚ ~ q ) «~ r 2 é número inteiro ou naõ é par se, e somente se, 2 não é numero primo.
d) ~ (~ p « q ) Não e verdade que 2 não é número se, e somente se 2 é numero par.
e) q « (~ q Ù r ) 2 é número par, 2 não é número inteiro se, e somente se, 2 é número primo.
f) ( p «~ q) ® ( p Ú q)2 é número inteiro se, e somente se, 2 não é numero par, então 2 é número inteiro ou é par.

1 ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 4/8
2ª LISTA DE EXERCÍCIOS: TAUTOLOGIA, CONTRADIÇÃO, CONTINGÊNCIA E IMPLICAÇÃO LÓGICA

1) Construa a tabela verdade das proposições a seguir e verifique se as mesmas são tautologias, contradições ou contingências:

a) (( p Ú qf))((®~
p Úp q))®«(q(qÙÙp)p)) ® ((r Ù p)Ú q)

A B
p q r p vq →~p q ^p A →B
V V V V F V V
V V F V F V V
V F V V F F V
V F F V F F V
F V V V V F F
F V F V V F F
F F V F V F F
F F F F V F F

b) ( p «~ q)Ú r
A
p q r ~q p ↔~q Avr
V V V F F V
V V F F F F
V F V V V V
V F F V V V
F V V F V V
F V F F V V
F F V V F V
F F F V F F

c) ~ r Ú ( p « q)

A
p q r p ↔q ~r v A
V V V F F
V V F F V
V F V V V
V F F V V
F V V V V
F V F V V
F F V F F
F F F F V

d) (( p ® q) ® r ) « ( p ® (q ® r ))

A B C D
p q r p→q A→r q →r p→C B ↔D
V V V V V V V V
V V F V F F F 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 V F F V F
F F V V V V V V
F F F V F V V F

2ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 5/8
( )
e) ~ ~ (~ ( pÙ ~ q)) Ù (~ pÙ ~ r )

A B C
p q r p^~q ~p^~r ~(~A) C^B
V V V F F V F
V V F F F V F
V F V V F F F
V F F V F F F
F V V F F V F
F V F F F V F
F F V F V V V
F F F F V V V

f) (( p Ú q) « (q Ù p)) ® ((r Ù p)Ú q)


A B C D
p q r pvq q ^p (r ^p) Cvq
V V V V V V V
V V F V V F V
V F V V F V V
V F F V F F F
F V V V F F V
F V F V F F V
F F V F F F V
F F F F F F V

g) ( p ® (q ® r )) ® (( p Ù (q Ù r )) ® ( p Ù ( p Ú r )))

A B C D E F G
p q r q→r p→A q^r p^C pvr p ^E D →F B →G
V V V V V V V V V V V
V V F F F F F V V V V
V F V V V F F V V V V
V F F V V F F V V V V
F V V V V V F V F V V
F V F F V F F F F V V
F F V V V F F V F V V
F F F V V F F F F V V

h) ~ (~ ( p Ù q)) « (~ pÚ ~ q )

A B
p q r ~(~(p ^q)) ~p v ~q A↔B
V V V V F F
V V F V F F
V F V F V F
V F F F V F
F V V F V F
F V F F V F
F F V F V F
F F F F V F

2ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 6/8
i) ( p ® q) ® ((q ® r ) ® ( p ® r ))

A B C D
p q r p→q q →r p→r B→C A→D
V V V V V V V V
V V F V V F F F
V F V F F V V V
V F F F V F F V
F V V V V V V V
F V F V V V V V
F F V V V V V V
F F F V V V V V

j) ~ ( p Ú q) « (~ pÙ ~ q)

A B
p q ~(p v q) ~p^~q A↔B
V V F F V
V V F F V
V F F F V
V F F F V
F V F F V
F V F F V
F F V V V
F F V V V

Respostas: Contingências: a, b, c, d, e, f Tautologias: g, i, j Contradições: h

2) Mostrar que:

a) q Þ p ® q
Implica p q p →q
V V V
V F F
F V V
F F V

b) q Þ p Ù q « p
Não implica A
p q (p ᴧ q) (A ↔ q)
V V V V
V F F V
F V F F
F F F V

3) Mostrar que p ↔~ q p q ~q p ↔ ~q p→q


não implica p ® q . V V F F V
V F V V F
Não implica , na 2ª linha temos os valores F V F V V
lógicos VF.
F F V F V

2ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 7/8
4) Mostrar que p não implica p Ù p q p^q pvq
e que p Ú q não implica p . V V V V
p ⇏ p ^ q , na 2ª linha temos os valores V F F V
lógicos VF.
F V F V
F F F F

5) Mostrar que: (x = y Ú x < 4)Ù x </ 4 Þ x = y .


A B C D
Implica x=y x<4 AvB X ⊀4 C^D x=y
V V V F F V
V F V V V V
F V V F F F
F F F V F F

6) Verifique as seguintes implicações:

a) (p ^ (p→q))⇒q - NÃO IMPLICA A


p q p→q p^A
V V V V
V F F F
F V V F
F F V F

b) (( p ® q) Ù (q ® r ))Þ ( p ® r ) IMPLICA
A B
p q r p→q q →r A^B p→r
V V V V V V V
V V F V F F F
V F V F V F V
V F F F V F F
F V V V V V V
F V F V F F V
F F V V V V V
F F F V V V V

c) ( p ® q) Þ (( p Ù r ) ® (q Ù r )) IMPLICA
A B C
p q r p→q p^r q^r A→B
V V V V V V V
V V F V F F V
V F V F V F F
V F F F F F V
F V V V F V V
F V F V F F V
F F V V F F V
F F F V F F V

d) (( p « q)Ù (q « r ))Þ ( p « r ) IMPLICA

A B C
p q r p↔q q↔r A^B p↔r
V V V V V V V
V V F V F F F
V F V F F F V
V F F F V F F
F V V F V F F
F V F F F F V
F F V V F F F
F F F V V V V

2ª Lista de Exercícios - Gilson Coelho Lopes - T LM11 - Mat. 1801020001 - Página 8/8

Você também pode gostar