Actividades a desarrollar

Tarea 1: Conceptualización de las reglas de inferencia.

En la lógica matemática y en las ingenieras, el lenguaje consiste en
el proceso administrativo básicamente, partiendo de unas
proposiciones dadas que llamaremos premisas ó Hipótesis, de igual
forma encontramos otra proposición que llamaremos
conclusión ó tesis, mediante la aplicación de unas reglas lógicas.

Las reglas lógicas que validan el proceso demostrativo se

denominan reglas de validez y se reducen a las siguientes.

Modus Ponendo Ponens:

Si en una demostración figura P→Q y en la misma demostración
también figura P, entonces, en dicha demostración también se
puede concluir Q. Esta regla universal se conoce con el nombre del
Modus Ponendo Pones ó Modus Ponen

Ejemplo:

P→Q ‘‘Si estudio entonces apruebo’’ (Premisa)

P ‘‘Estudio’’ (Premisa)
Q ‘‘Luego apruebo’’ (Premisa)

El condicional o implicación es aquella operación que establece

entre dos enunciados una relación de causa-efecto. La regla
‘‘ponendo ponens’’ significa, “afirmando afirmo” y en un condicional
establece, que si el antecedente (primer término, en este caso p)
se afirma, necesariamente se afirma el consecuente (segundo
término, en este caso q).
Contraposición
El método de la demostración por contraposición, tiene la ventaja
de que se va a dirigir hacia una contradicción concreta. En la
demostración por contraposición, al igual que la demostración por
reducción al absurdo, se supone que tanto p como q’ son
verdaderas. En el método por contraposición, sin embargó, no se
parte de p y q’, sino que se empieza a trabajar solamente con q’ y
el objetivo es llegar a que p es falsa, con lo que ya se ha llegado a
una contradicción ¿qué mejor contradicción? ¿Cómo puede ser p a
la vez verdadera y falsa?
Doble Negación
Dentro de la Tautología, se encuentra entonces también la Ley de
la Doble Negación, la cual valiéndose de la Lógica logra demostrar
que “si un determinado enunciado es cierto, la persona no se
encuentra entonces ante una declaración que no es cierta”. Con
respecto a la fórmula que la Lógica matemática ha designado a este
teorema, esta se expresa de la siguiente manera:

Ejemplo:
A= ‘‘Es de día’’
~A = ‘‘no es de día, es de noche’’
~(~A) = ‘‘resulta falsa la proposición “no es de día, es de noche”
por lo tanto es de día’’.

Entonces se tendría:
Es de día ≡ ~(~no es de día, es de noche)
Es de día ≡ no es de noche (Lo cual se leería: la proposición “es de
día” resulta lógicamente equivalente a resulta falso que sea de
noche, es de día).
Biografías
 Rodríguez, H. (2017). Leyes de inferencia (Validación de
argumentos). [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/11486

 Cardona, T. S. A. (2010). Lógica matemática para

ingeniería de sistemas y computación. Madrid, ES:
Ediciones Elizcom. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unads
p/reader.action?ppg=1&docID=10565960&tm=14919
18381547
 Qetzalli SAnchez 7 sep. 2013 Reglas de inferencia
recuperado de
https://www.youtube.com/watch?v=C_g-seH0a1Y
