You are on page 1of 4

∧ →
V

V W
F p ∧ Gq → p W r

F G p r

p q

q q


V
(a) F (p → Gr) ∨¬q U p→

F U
V

→ p
¬
¬
q
p
p G q

q
r
q p → ¬
∧ r
V →

p W (q W r)
W

p W

q r
¬
r
p →

q → ¬

(d) GF p → F(q ∨ s)
F F

G p V

q s

You might also like