Las Reglas de la Implicación 2

 

El Dilema Constructivo: es un proceso que incluye dos pasos del Modus Ponens. La primera premisa dice que si tenemos P, entonces tenemos Q, y si tenemos R, entonces tenemos S. Según la segunda premisa, tenemos P o R, entonces podemos deducir que, por modus ponens, tenemos Q o S. Es el único tipo de dilema que es una regla de inferencia.

La Simplificación: Dice que si dos proposiciones son verdaderas en grupo, entonces cada una de las proposiciones es verdadera por separado. Solo una proposición que está en la parte izquierda del conjuntivo puede estar en la conclusión.

La conjunción: dice que dos proposiciones que existen en líneas diferentes pueden unirse en una sola línea. Puedes elegir cualquier orden que tú quieras.

La Adición: Dice que una proposición sobre una línea, por sí misma, puede unirse disyuntivamente con cualquier proposición que elijamos. Pero el disjuntivo es tan débil como una proposición originalmente sola por sí misma.

Estrategia 6: Si la conclusion contiene una letra que existe en una premisa que es una proposición conjuntiva intenta de conseguir esa letra con simplificacion.

Estrategia 7: Si la conclusion es una proposicion conjuntive, intenta de conseguir la conclusion usando la metodo conjuncion.

Estrategia 8: Si la conclusion es una afirmacion disyuntiva, intenta de conseguirla usando una adicion o una dilema constructivo.

Estrategia 9: Si la conclusión tiene una letra que no existe en las premisas, debe usar la adición.

Estrategia 10: La conjunción puede ser usada para crear un dilema constructivo.

5. Dilema Constructivo (CD)

(P → Q) ⋅ (R → S) Si Simone es una gata, entonces Simone es linda y

          si Simone es un perro entonces Simone es fuerte

P v R____     Simone es una gata o un perro_______     

Q v S        Simone es linda o fuerte

6. Simplificacion (Simp)

P ⋅ Q             Simone tiene garras afiladas y esconde bien_    

P                  Simone tiene garra afiladas

7. Conjuncion (Conj)

P                  Simone tiene garras afiladas

Q _             Simone puede esconder bien     

P ⋅  Q          Simone tiene garras afiladas y esconde bien

8. Adición (Add)

P____          Simone tiene garras afiladas_________________     

P v G      Simone tiene garras afiladas o Simone puede luchar