¿En qué consiste el método deductivo?

Para la lógica formal, la deducción se compone de una secuencia que contiene cierta
cantidad de premisas y una conclusión. De la verdad de las premisas se deriva y
garantiza la verdad de la conclusión.

El método deductivo va de lo general a lo particular. El método inductivo, al contrario, va

de lo particular a lo general. El razonamiento deductivo es de tipo “descendente” y el
inductivo es ascendente.

Características del método deductivo

Algunas características del método deductivo son:

 Va de lo general a lo particular.
 Utiliza el razonamiento descendente.
 Su conclusión está contenida de antemano en sus propias premisas.
 Si las premisas son verdaderas, la conclusión será verdadera.

¿cuáles son las leyes de inferencia (describe brevemente cada una de ellas) y para que
sirven?

Las reglas de inferencia son reglas de transformación sintácticas que se pueden usar
para inferir una conclusión a partir de una premisa para crear un argumento. Se puede
utilizar un conjunto de reglas para inferir cualquier conclusión válida si es completa,
mientras que nunca se infiere una conclusión válida, si es segura. Un conjunto de reglas
completo y seguro no necesita incluir todas las reglas de la siguiente lista, ya que muchas
de las reglas son redundantes, y se pueden probar mediante las demás reglas.

Modus Ponendo Ponens –MPP

Esta regla establece que si la implicación de premisas y su antecedente son verdaderos,

su consecuente es necesariamente verdadero. Simbólicamente,

Modus Tollendo Tollens –MTT

Esta regla señala que si la implicación de premisas es verdadera y su consecuente es

falso, entonces su antecedente es necesariamente falso. Simbólicamente,

Modus Tollendo Ponens –MTP

Esta regla indica que si una disyunción de premisas es cierta y una de sus premisas es

falsa, entonces la otra premisa es necesariamente verdadera. Simbólicamente,

Regla de simplificación –RS

Esta regla establece que de la conjunción de premisas se puede inferir una de ellas.

Simbólicamente,

Regla de adición –RA

De esta regla se puede determinar que de una premisa se puede deducir como conclusión

la disyunción de la premisa con otra cualquiera. Simbólicamente

Regla de silogismo hipotético –RSH

Esta regla indica que si se tienen dos condicionales tales que el antecedente del segundo

es el consecuente del primero, entonces se puede inferir como conclusión un condicional

formado por el antecedente del primero y el consecuente del segundo. Simbólicamente,

Regla del dilema constructivo –RDC

Esta regla señala que si se tienen dos condicionales y la disyunción de los antecedentes

entonces se puede concluir la disyunción de sus consecuentes. Simbólicamente,

Regla de simplificación disyuntiva –RSD

Esta regla indica que si se tiene una disyunción de una premisa consigo misma, se puede

inferir la premisa dada. Simbólicamente,

Regla de unión o adjunción –RU

Esta regla establece que dada una premisa verdadera como antecedente de dos

condicionales verdaderos, entonces se puede concluir la conjunción de los consecuentes.

Simbólicamente,

¿Qué es una demostración en lógica?

La teoría de la demostración o (teoría de la prueba) es una rama de la lógica matemática
que trata a las demostraciones como objetos formales, facilitando su análisis mediante
diferentes técnicas. Las demostraciones suelen presentarse como estructuras definidas
inductivamente que se construyen de acuerdo con ciertas reglas (axiomas, reglas de
inferencia) de los sistemas lógicos. Del estudio de las demostraciones formales se infieren
importantes propiedades de la lógica. El curso se dictará en dos clases semanales
(teórico-prácticas) de tres horas de duración.