Dilema Destructivo 2x561f

Dilema Destructivo Por chino y nacho Lalo

Es una regla de inferencia; estas reglas son formas lógicas que consisten en funciones que toman premisas, las analizan y devuelven conclusiones.

Regla de inferencia del dilema destructivo Esta regla nos dice que: Si tenemos dos fórmulas u oraciones condicionales, y en otra premisa los consecuentes negados de ambos condicionales en una disyunción, podemos negar ambos antecedentes en una disyunción también.

Lo que, Usando simbología también sería:

-Si P implica a Q y, a su vez, R implica a S y, o Q es falsa o S es falsa, entonces necesariamente o P es falsa o Q es falsa.

Lo que nos dejaría una fórmula de la siguiente manera: [(P→Q) ^ (R→S) ^ (~Q v ~S)] → ~P v ~R Un poco más desglosada nos queda: (P→Q) ^ (R→S), ~Q v ~S

→ ~P v ~R

EJEMPLO Si hago la tarea de lógica entonces tendré buena calificación, si juego maincra entonces seré feliz, O no tengo buena calificación o no seré feliz, Por lo tanto o haré la tarea de lógica o jugaré maincra.