Les dejo ejercicios para practicar de la prueba formal de validez. El sábado los corregimos.
(t. - s)
(p . q) → (q v r)
-s → (p . q)
................................../(q v -r)
r → [-(p. r) v (t . -q)]
(p.r)
t → s
...................... -q . s
(p v q) v (r v -s )
(r v -s) → (-p v q)
(-p v q) → (p v - q)
- (p v q)
...................................../ p v -q
Tipo de razonamiento
No cabe dudas de que Alberto aprobará el examen. Ya que quien estudia aprueba un examen. Y María estudió y aprobó el examen. También algo similar ocurrió con Pablo y Carla: pablo estudió y aprobó. Y también fue mi caso, porque yo estudié y aprobé. Además sabemos que Alberto estudió.
Antonela estudió y aprobó el examen, eso ya lo sabemos. Así que los que estudian seguramente aprueban. Pues lo mismo me pasó a mi. Por otra parte se sabe que Pablo estudió y logró aprobar. Lo mismo podemos decir de Diego, Carla y Natalia. Para no hablar de Martín que aprobó y había esutdiado.
