08-02-2017, 10:54
Buenos días, quería hacer una consulta con respecto a una demostración que debo realizar.
P->(Q^R)
Q->S
R->T
P ^ -T
A partir de esas premisas debo llegar a la conclusión P^S. Mi duda era con respecto a que si en la demostración debo usar cada una de las premisas para aplicar las reglas de inferencia o puedo obviar alguna, ya que busque varias maneras de demostrarlo y no puedo.
El razonamiento es valido. Si pudieran orientarme acerca de alguna forma de resolución, se los agradecería.
Gracias por la ayuda.
P->(Q^R)
Q->S
R->T
P ^ -T
A partir de esas premisas debo llegar a la conclusión P^S. Mi duda era con respecto a que si en la demostración debo usar cada una de las premisas para aplicar las reglas de inferencia o puedo obviar alguna, ya que busque varias maneras de demostrarlo y no puedo.
El razonamiento es valido. Si pudieran orientarme acerca de alguna forma de resolución, se los agradecería.
Gracias por la ayuda.