Professional Documents
Culture Documents
CRISTINA-diagramas tr2 Especifivacion
CRISTINA-diagramas tr2 Especifivacion
∧ →
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