Matemáticas, pregunta formulada por LUISJOHAN, hace 1 año

Expresión simbólica: [(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r
Premisas:
P1:r→¬q
P2:p∨ s
P3: q∧ p

Conclusión: ¬r

Respuestas a la pregunta

Contestado por IbrahimV
4

Respuesta: El razonamiento es válido.

Explicación paso a paso:

[(r→¬q)∧(p∨ s)∧(q∧ p)] ⇒¬r               (propiedad asociativa)

[(r→¬q)∧q]∧[(p∨ s)∧ p] ¬r          (Modus Tollens) y Absorción

(¬r ∧ p)  ⇒ ¬r                          Definición de Condicional y De Morgan

(r v ¬p) v ¬r                                                  Asociativa

(r v ¬r) v ¬r              Aquí obtenemos una Tautología (T) en el paréntesis

T v ¬r                              de donde podemos deducir

T

Por tanto, aplicando reglas de inferencia lógica comenzando desde la propiedad a demostrar arribamos a una Tautología T, con lo que el razonamiento es válido.

Para más ejemplos de esto sigue el siguiente link: https://brainly.lat/tarea/3250894

Saludos, espero te sea de utilidad.


andresrey10: necesito que solo lo soluciones con doble negación , modulos tollens y simplificación en p3 por favor
andresrey10: Muchas Gracias
andresrey10: ahora me puedes ayudar con este otro ejercicio por favor
andresrey10: Premisas:
P1: ( → ) ∨
P2: ( →∼ )
P3: ( ∧ )
Conclusión: ( ∧ )
andresrey10: es sacar las mismas leyes
andresrey10: por favor
Otras preguntas