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 ...