MatemáticasBásico1 respuestas

Ayudaaa Proposiciones y tablas de verdad [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q (de Definición de las proposiciones simples ?

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.

10Marthackomcfv15

En resumen

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.

Mejor respuesta

Julianospinav

5

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.

Imagen adjunta 1