01-02-2021, 13:13
Buenas a todos, resulta que preparando el final de discreta, agarré las guías de Piñeiro para refrescar los conocimientos y en la Unidad 1, en la parte de razonamientos; me encontré con este ejemplo:
Estoy convencido de que está mal resuelto, ya que nunca usa el predicado Ex : ¬r(x), pero tal vez se me pasó algo por encima
Por otro lado, quería corroborar la validez de mi resolución al utilizar ese predicado:
1- Ex : ( p(x) v q(x) )
2- Vx : ( q(x) => r(x) )
3- Ex : ¬r(x)
H- Ex : ( p(x) v r(x) )
4- p(a) v q(a) P.E 1
5- q(a) => r(a) P.U 2
6- ¬r(a) P.E 3
7- ¬q(a) M.T 5,6
8- p(a) S.D 7,4
9- Ex : p(x) G.E 8
H != 9 => Razonamiento inválido
(Nótese que para no quemarme la cabeza usé V como cuantificador universal y E como cuantificador existencial)
Desde ya muchas gracias!
Estoy convencido de que está mal resuelto, ya que nunca usa el predicado Ex : ¬r(x), pero tal vez se me pasó algo por encima
Por otro lado, quería corroborar la validez de mi resolución al utilizar ese predicado:
1- Ex : ( p(x) v q(x) )
2- Vx : ( q(x) => r(x) )
3- Ex : ¬r(x)
H- Ex : ( p(x) v r(x) )
4- p(a) v q(a) P.E 1
5- q(a) => r(a) P.U 2
6- ¬r(a) P.E 3
7- ¬q(a) M.T 5,6
8- p(a) S.D 7,4
9- Ex : p(x) G.E 8
H != 9 => Razonamiento inválido
(Nótese que para no quemarme la cabeza usé V como cuantificador universal y E como cuantificador existencial)
Desde ya muchas gracias!