IMPLICACIONES LOGICAS NOTABLES PDF
.gif)
.gif)
.gif)
Llamadas también Leyes Implicativas. Son esquemas condicionales tautológicos, por lo que representan inferencias válidas. En consecuencia, teniendo la(s) premisa(s) podemos derivar inmediatamente su respectiva conclusión. Las más importantes son las siguientes: 1. Modus Ponendo Ponens (MPP): Si se afirma el antecedente de una premisa condicional, se concluye la afirmación del consecuente de dicha premisa. Regla: Ley: 2. Modus Tollendo Tollens (MTT): Si se niega el consecuente de una premisa condicional, se concluye la negación del antecedente de dicha premisa. Regla: Ley: 3. Silogismo Disyuntivo (SD): Si se niega uno de los elementos de una premisa disyuntiva, se concluye la afirmación del otro elemento. Regla: Ley: 4. Silogismo Hipotético Puro (SHP): Si de un conjunto de dos premisas condicionales, el consecuente de una de las premisas es la afirmación del antecedente de la otra premisa, entonces del antecedente de una de las premisas se deriva el consecuente de la otra premisa. Regla: Ley: Ej.: Si Carnap fue neopositivista, conformó el Círculo de Viena. Y si conformó el Círculo de Viena, confiaba en la Lógica Simbólica. Por lo tanto, si Carnap fue neopositivista, confiaba en a Lógica Simbólica. 5. Conjunción: De un conjunto de premisas, se puede concluir la Conjunción de las mismas. Regla: Ley: Ejemplo: 6. Simplificación: De una premisa conjuntiva se puede concluir cualquiera de sus componentes. Regla: Ley: DERIVACIÓN O DEDUCCIóN NATURAL E