Reglas de inferencia

Pgina 1 de 2

Reglas de inferencia
Nombre y abreviatura Esquema Descripcin
El sentido de la eliminacin del negador es de fcil comprensin y su deduccin es directa: cualquier proposicin que est doblemente negada (A ), por ejemplo: no es el caso que Cartagena no est en Murcia, es en realidad afirmativa, por ello eliminamos el negador, Cartagena est en Murcia. Si tenemos dos premisas, A y B. Podemos introducir A ^ B, en dependencia de todos los

Doble negacin (DN)

A _____ A A B _____ C A^B _____ A

A ______ A

Introduccin de la conjuncin (IC)

supuestos de que dependan A y/o B. A^B _____ B

Si tenemos varias proposiciones atmicas formando una molecular mediante el conjuntor, podemos quedarnos con uno de los enunciados que nos interese para la deduccin. Esta regla nos indica que se puede aadir a una premisa otra distinta, aunque ni siquiera aparezca en el argumento, puesto que su significado es el de sealarnos que a cualquier realidad pueden plantersele muchas otras alternativas sin que vare la opcin inicial: de este modo, si en un argumento se afirma que un determinado individuo es sospechoso, podemos aadir que quiz puede ser el culpable o, ms disyunciones que consideremos oportunas. Se realiza la deduccin indirecta: se suponen los dos miembros de la disyuncin para intentar extraer una verdad comn a ambos eso es lo que me permite esta regla lgica, ya que si, por ejemplo, en un argumento a una persona se le platea la siguiente eleccin: estudiar una carrera o crear una empresa para trabajar, quiz podamos deducir al menos que, con independencia de la actividad que realice finalmente, esta persona va a residir en Norteamrica. Para ello supondramos ambas alternativas por separado, para ver si nos conducen a la misma conclusin. Cuando en una disyuncin, en la que se plantean dos opciones posibles, se niega una de ellas, entonces podemos afirmar la otra.

Eliminacin de la conjuncin (EC)

Introduccin de la disyuncin (ID)

A ________ AvB

Eliminacin del disyuntor (ED) regla de casos

. AvB A _____ B

Silogismo disyuntivo (SD)

HAH 2006

Reglas de inferencia

Pgina 2 de 2

Teorema de deduccin (TD)

Regla del bicondicional (RB)

A B ________ A B

A B ________ B A

La introduccin del implicador requiere abrir supuestos. Es preciso plantear dentro del argumento si efectivamente se verifica una determinada hiptesis procedimiento necesario para resolver argumentos con reglas bsicas cuya conclusin sea una implicacin-. Si ocurre as, se podr crear una implicacin en la cual la hiptesis que hemos supuesto sera el antecedente y la proposicin que se derive de sta el consecuente. De este modo, por ejemplo, si se formula la siguiente hiptesis (antecedente) si el detective es infalible, y se deriva de ella que (consecuente) resolver el caso, entonces se crear la implicacin si el detective es infalible, entonces resolver el caso (p q). De todo bicondicional, podemos deducir un condicional.

Modus Ponens (MP)

A B A ________ B

Es una deduccin directa en la que estamos seguros del antecedente, y por ello podemos afirmar el consecuente. Ejemplo: Si existiese una justicia distributiva mundial, entonces no habra nios que pasaran B). Si posteriormente se hambre(A

afirmara que en realidad hay una justicia distributiva mundial (A), concluiramos que no habra nios que pasaran hambre (B). Modus Tollens (MT) A B B ________ A A B C B ________ A C
Cuando contamos con una proposicin condicional y con la negacin de su consecuente, se niega tambin el antecedente. Si me pongo a dieta adelgazar, no adelgazo, por tanto concluyo que no me he puesto a dieta. A partir de dos premisas formadas por implicacin, y donde el consecuente de la primera es antecedente de la segunda, podemos formular una proposicin condicional tomando el antecedente de la primera y el consecuente de la segunda. Si veraneo en Punta Umbra entonces me baar en la playa; si me bao en la playa me pondr moreno; por tanto si veraneo en Punta Umbra me pondr moreno. Un dilema es un argumento formado por una proposicin disyuntiva cuyos componentes pueden establecer implicaciones de muy diversa ndole Segn estas reglas, podemos pasar de la negacin de una disyuncin a la conjuncin de cada uno de sus componentes negados. Anlogamente ocurre lo mismo con la conjuncin.

Regla de la transitividad (RT)

Regla del dilema (RD)

Reglas de De Morgan (DM)

AvB A C B D ________ CvD (A v B) ________ A ^ B (A^B) _________ A v B

HAH 2006