Fi
Clasificado en Filosofía y ética
Escrito el en 
español con un tamaño de 2,47 KB
Introducción de la conjunción: si tenemos p y q podemos formar una fórmula como p^q.Eliminación de la conjunción: si tenemos una conjunción podemos afirmar los términos por separado. Introducción de la disyunción: si tenemos una formula, podemos introducir una disyunción en la que el segundo término sea cualquier termino o variable.Eliminación de la disyunción: si tenemos una disyunción y a partir de cada uno de sus miembros podemos derivar la misma variable, entonces puedo afirmar la variable.Introducción de la condicional: si de una variable derivamos otra entonces podemos introducir el condicional.Eliminación de la condicionar: modus ponens y modus pollens. Modus Tollens: si tenemos un condicional y la negacion del antecedente podemos negar el consecuente.Eliminación de la negación: si hay doble negación entonces podemos afirmarlo.Modus Ponens es: si tengo un condicional y a continuación tengo la afirmación de su antecedente acto seguido podemos afirmar la otra variable.Definición de la bicondicional: si tengo una bicondicional entonces esa fórmula equivale a la conjunción de dos condicionales una a cada dirección.Regla de Morgan: permite transformar conjunciones en disyunciones y viceversa.Definición del condicional: nos permite transformar un condicional en una disyunción cuyas partes son la negación del antecedente y la afirmación del consecuente.Introducción de la disyunción: si tenemos una proposición cualquiera podemos construir una disyunción con la proposición que tenemos y otra.Silogismo disyuntivo: si tenemos una disyunción (P v Q) y tenemos ¬P tenemos la afirmación del otro.Introducción de la negación: si a partir de una determinada proposición P podemos decidir una contradicción entonces tenemos que negar la proposición de partida.Eliminación del bicondicional: si tenemos un bicondicional y la afirmación de una de sus partes tenemos la afirmación de la otra.