23-09-2016, 00:34
Hola gente como va? Estoy "retomando" discreta pero no llego a entender como hacer este ejercicio por contradiccion, entiendo que tengo que buscar/obligarlo a que sea Falso toda la implicacion, antecedente Verdadero y concecuente Falso, si haciendo esto se llega a una contradiccion el razonamiento es Valido. Pero nose como hacer el procedimiento.
Muchas gracias
\[[(P\Rightarrow R)\wedge (P\Rightarrow Q)]\Rightarrow [P\Rightarrow (R\wedge Q)]\][/graph].
Muchas gracias
\[[(P\Rightarrow R)\wedge (P\Rightarrow Q)]\Rightarrow [P\Rightarrow (R\wedge Q)]\][/graph].