Les dejo ejercicios de condicional asociado que, antes del examen, vamos a corregir.
p → r
q v r
___________
p
-p
-q
r w p
___________
q
p. - q
p w r
q v -r
__________________
r
p → (q v r)
q v r
_____________________
p
-(p . - q)
(p → q) → r
________________________
q v r
q → (q v r)
- r . -p
____________
r v -q