Nome: ____________________________________________________________________________

01) Sabendo que a condicional p → q é verdadeira(V), determinar o valor lógico (V ou F) das

proposições abaixo:
a) p ∨ r → q ∨ r b) p ∧ r → q ∧ r c) ~p ∧ q → q ∨ r

02) Sabendo que a condicional p → q é falsidade(F), determinar o valor lógico (V ou F) das

proposições abaixo:
a) p ∨ q → q ∨ r b) p ∧ r → q ↔ p c) ~p ↔ q → q ∨ r

03) Determinar se as proposições a seguir são tautologia, contradição ou contigência, usando o método
da Tabela-verdade.
a) p ∧ ( q ∨ r ) ↔ ( p ∧ q ) ∨ ( p ∧ r ) b) p ∨ ( p ∧ q ) → p
c) ~ ( p ∨ q ) ∨ ( ~ p ∧ r ) ↔ ~ r d) p ∧ ( p ∨ q ) → p

válidas ou inválidas
04) Julgar cada uma das seguintes proposições (dizer se são verdadeiras ou falsas as relações):
a) ~p ∧ ~p ⇔ ~p b) ~ p ∨ ~( p ∨ q ) ⇔ p ∨ q
c) ( p ∧ ~q ) ∨ ( p ∧ ~q ) ⇔ p ∧ ~q d) ( p → q ) ∨ r ⇔ ( p ∧ ~r ) → ( q ∧ r )

05) Considere as proposições: p, q, r, s dadas por:

p: 5 = 8 q: 4 < 5 r: 9 > 7 s: 8 < 10
válidas ou inválidas
e diga se são verdadeiras ou falsas as relações abaixo:
a) r ⇔ s b) r ⇔ q c) ~ p ⇔ s
d) p ⇔ q e) ~ r ⇔ ( q ∧ ~s ) f) ~ r ⇔ ( s ∨ ~ q )
g) p ⇒ q h) ~ r ⇒ q i) ~ r ⇒ s
j) ( p → p ) ⇒ ( q ∧ r ) k) ~ r ⇒ ( q ∧ ~s ) l) ~ r ⇒ ( s ∨ ~ q )

06) Considere as proposições: p, q, r, s dadas por:

q: ( 7 + 2 )2 = 81 r: 20 = 1 s: 02 = 2 p: 7 + 2 = 9
diga
e dê se sãológico
o valor válidas ou inválidas
(verdadeiro ou as relações
falso) abaixo: abaixo:
das relações
a) r ⇔ s b) r ⇔ q c) ~ p ⇔ s
d) p ⇔ q e) ~ r ⇔ ( q ∧ ~s ) f) ~ r ⇔ ( s ∨ ~ q )
g) p ⇒ q h) ~ r ⇒ q i) ~ r ⇒ s
j) ( p → p ) ⇒ ( q ∧ r ) k) ~ r ⇒ ( q ∧ ~s ) l) ~ r ⇒ ( s ∨ ~ q )

07) Usando as equivalências tautológicas, mostrar que as proposições abaixo podem ser escritas usando
os conectivos ∧, ∨ e ~. Depois simplifique as expressões o máximo possível.
a) (r → (q → p) b) q ∨ r → (q → p) c) p ∧ r → (q → r)
d) (r ∧ q) → (~q → p) e) (p ∧ q) → ( p ∧ ~q) f) (p ∧ r) → ((q ∧ p) → r)
g) ~ ( p ∧ q ) → p h) ( p ∧ q ) → r → ( p ∨ r ) i) ~ ( p ∧ q ) → ( p ∧ q )

08) Usando as equivalências tautológicas, simplificar as proposições abaixo:

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