Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Reglas de Inferencia
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
A ______ A
A ________ AvB
. AvB A _____ B
HAH 2006
Reglas de inferencia
Pgina 2 de 2
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.
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.
HAH 2006