Salustiano Fernández Viejo
6.- Regla de la Introducción del Disyuntor (I
∨
)
A A∨B Si tenemos una expresión cualquiera A, entonces podemos concluir en una expresión disyuntiva formada por esa expresión A y cualquier otra expresión B. A esta regla se la denomina también Regla de la Adición (Ad.).
7.- Regla de la Eliminación del Condicional (E
→
)
A→B A B Si tenemos una expresión condicional cualquiera A → B y tenemos el antecedente (A) de ese condicional, entonces podemos concluir en el consecuente (B). A esta regla se la denomina también Regla del Modus Ponendo Ponens (M.P.).
8.- Regla de la Introducción del Condicional (I
→
)
A B A→B Si suponemos una expresión cualquiera A y se dedujera una expresión cualquiera B, entonces una vez ‘cerrado’ el supuesto en la expresión deducida B, concluiremos en el condicional entre A y B, es decir, A → B. A esta regla se la denomina también Teorema de la Deducción (T.D.)
32
Filosofía – 1º Bachillerato