Necesito este ejercicio resuelto.. tengo que usar esas formula de modus ponens, tollens, etc elimn del generalizador, intrduccion del generalizador, etc etc.. aca va:
"Tengo de premisas:"
_1 ∆x(VyPxy--->∆z(Rxz--->¬Tz)
_2 ¬ Vx(Qx ^ ¬Vy(Tx ^ Pxy))
_3 Qa
Tengo que llegar a: Ta ^ ¬ Vx(Tx ^ Rax)
"Tengo de premisas:"
_1 ∆x(VyPxy--->∆z(Rxz--->¬Tz)
_2 ¬ Vx(Qx ^ ¬Vy(Tx ^ Pxy))
_3 Qa
Tengo que llegar a: Ta ^ ¬ Vx(Tx ^ Rax)
?
Comentario