Actividades a desarrollar

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

Socializar en el Foro diseñado para el desarrollo de la actividad la conceptualización y dos

ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar

correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lógica.

 Modus Ponendo Ponens, Adjunción y Exportación

 Modus Ponendo Ponens: significa en latín la forma de afirmar afirmando, pertenece a

la regla de inferencia valida, funciona a partir de una implicación: donde se confirma el

antecedente lógico por lo tanto se puede confirmar el consecuente lógico.es decir afirmo

un argumento donde la hipótesis es verdadera. El MPP es la regla fundamental de la

demostración lógica, es decir, la operación lógica fundamental del método de deducción

natural. 

Un ejemplo de ello:
Si A, entonces B

Por lo tanto, B

Si son las 6 AM, entonces ya amaneció.

Son las 6 AM.

Por lo tanto, Ya amaneció

Ejemplo 1.) si hago pan, entonces compro harina.

P: si hago pan.

Q: compro harina.

p → q si hago pan, entonces compro harina.

p hago pan.

q por lo tanto debo comprar harina.

Ejemplo 2.) Si estudio medicina, entonces seré médico.

P: si estudio medicina.

q: será médico.

p→ q si estudio medicina entonces será medico:

p estudio medicina

q por lo tanto será medico

 Adjunción: En razonamiento formal, la Adjunción Lógica entre dos proposiciones, a y b, es un

conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadera

y la condición b es falsa, y es falso de cualquier otro caso. Es decir, si disponemos de dos

enunciados afirmados como dos premisas separadas, mediante la adjunción, podemos unirlos

en una sola premisa utilizando el operador Λ (conjunción). Existen diferentes contextos dónde

se utiliza la implicación opuesta y puede expresarse:

Ejemplo 1.) Andrés es carpintero y Felipe es pintor

p Andrés es carpintero.

q Felipe es pintor.

p Λ q ‘’ Andrés es carpintero y Felipe es pintor’’

Ejemplo 2.) Sandra es doctora y milena no es arquitecta.

p Sandra es doctora

q milena no es arquitecta

(p Λ ¬ q) Sandra es doctora y milena no es arquitecta

 Exportación: es una regla de reemplazo válida de la lógica proposicional. La regla

establece que si P implica Q entonces P implica P y Q. La regla permite sentencias

condicionales que tengan antecedentes conjuntivos que se sustituyen por

declaraciones que tienen consecuentes condicionales y viceversa en pruebas lógicas.

Es la regla de que:

Donde " ↔’’ es un símbolo metalógico que representa "puede ser reemplazado en una

demostración con.

La regla de exportación puede escribirse en la notación subsiguiente:

Lenguaje natural

En todo momento si P→Q es cierto, puede ser reemplazado por P→(p⋀q). 

Uno de los casos posibles para P→Q es para P es verdadero y Q es verdadero; por lo tanto, P∧Q

también es verdad y P→(P∧Q) es verdadero. 

Otro caso posible establece como falso P y Q como verdadero. Por lo tanto, P∧Q es falso y

P→(P∧Q) es falso; falso → falso es verdadero. 

El último caso se produce cuando tanto P y Q son falsas. Por lo tanto, P∧Q es falso y P→(P∧Q) es

verdadero.

Ejemplo:

Que estudie y apruebe las materias implica que pase el semestre. 

Por lo tanto, si estudia, entonces aprueba materias implica que pase el semestre.

Tarea 2: Problemas De Aplicación

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a

través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.

 Uso del simulador Truth Table.

a. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el

curso de Química General como electivo deben asistir al componente práctico. Sofía hace

el siguiente análisis de la situación que se le ha presentado al conocer las fechas en que

debe asistir.” Si las prácticas de laboratorio son el próximo domingo entonces asisto a la

universidad. Si realizo los experimentos entonces entrego el informe de laboratorio. Si

asisto a la universidad y entrego el informe de laboratorio, entonces obtengo un puntaje

 sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto, no

realizo los experimentos o las prácticas de laboratorio no son el próximo domingo.”

P= Las prácticas son el domingo

Q= Sofía asiste a la universidad

R= Sofía realiza los experimentos

T= Sofía entrega el informe

S= obtiene un puntaje sumatorio a la nota

Conclusión:

Negación

~P= la practicas no son el domingo

~Q= Sofía no realiza los experimentos

~S= no obtiene un puntaje sumatorio a la nota

Primicia y conclusión

Primicia 1 Si las prácticas de laboratorio son el próximo domingo entonces asisto a la

universidad

Primicia 2 Si realizo los experimentos entonces entrego el informe de laboratorio

Primicia 3 Si asisto a la universidad y entrego el informe de laboratorio, entonces obtengo un

puntaje sumativo para la nota

Conclusión No obtengo un puntaje sumativo para la nota, Por lo tanto, no realizo los

experimentos o las prácticas de laboratorio no son el próximo domingo.”

Primicia 1 (p → q)

Primicia 2 (r → t)

Primicia 3 (q ∧ t) → s

Conclusión:

No obtengo un puntaje sumativo para la nota, Por lo tanto, no realizo los experimentos o las

prácticas de laboratorio no son el próximo domingo

Conclusión (~s ↔ ~Q) v ~P

Formula {(p→ q) ∧ (r → t) ∧ (q ∧ t) → s } → ( ~s ↔ ~Q) v ~p

Formula de variables: 2 n 25 2x2x2x2x2=32

Tabla De Verdad
 Simulador Truth Table

Primicia 1 (p → q)

Primicia 2 (r → t)

Primicia 3 (q ∧ t) → s

Conclusión: (~s ↔ ~q) v ~P

Exportación:

(q ∧ t) → s

Premisia 5 q →s
Modus Ponendo Ponens

Premisa 4: s modus Ponendo Ponens

(q∧t) →s
(q∧ t)
__________________
Q s

premisa 4: t

(r → t)
R
_________________
Q t
BIBLIOGRAFIA

https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-natural/modus-

ponendo-ponens

https://es.wikipedia.org/wiki/Adjunci%C3%B3n_l%C3%B3gica