GUIA DE EJERCICIOS # 3

Señale el alcance de cada signo impropio:

1. ~[p⊃q) ⊃~q ≡ ~pVq]

2. ~{[(pVq)⊃ ~p] ⊃ ~q} •q

3. ~{p⊃ [p⊃r)⊃s] •qVx}

4. ~{p•[qVrV(r≡r)]}

5. ~ {(p⊃r•~qVp)V[~(q≡pVr)⊃(p⊃q)]}

6. ~ ~ (p•q)• ~(~pVq)⊃r≡(p≡p)

7. ~{[~(p•~q)⊃r]≡~p}⊃qVr

8. ~(p•rVq)⊃qV~p≡p

9. ~[p⊃q•(rVp)≡~(~qVp)⊃r]

10. ~ {(q⊃p)•(r⊃q)≡~[~(~qVp)V~(r⊃q)]}

B. Construya el árbol de formación de las fórmulas anteriores.