Question

ayudaaa Proposiciones y tablas de verdad [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q (de Definición de las proposiciones simples .Lenguaje natural de la expresión formal.  Definir si el argumento es una Tautología, contradicción o contingencia

Answer 1

El razonamiento
[(P∨Q)∧((P∧R)⇒S)∧(R∧¬S)]⇒Q
es válido, es decir, es una tautología.

Adjunto la tabla de verdad del razonamiento.