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 A
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→ p→ q si estudio medicina entonces será medico: med ico:
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 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: 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 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 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 d e 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 del laboratorio son el domingo dom ingo Q= asiste a la universidad R=realiza los experimentos T=entrega el informe del laboratorio S= obtiene un puntaje sumatorio a la nota Conclusion: (-RV P) por lo tanto, no realizo los los experimentos o las practicas practicas del laboratorio no son el próximo domingo.
Negación
~P= la practicas no son el domingo ~Q= ~Q = Sofía no realiza los experimentos ~S= ~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 obten go 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
Primicia 4 ~ s Conclusión: : (-RV P)
:
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 ~s ↔ ~Q) v ~P ~P
Formula {(p→ {(p→ q) ∧ (r → t) ∧ (q ∧ t) → s } → ( ~s ↔ ~Q) ~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 ~s ↔ ~q) ~P ~q) v ~P
Modus Ponendo Ponens Premisa 4: s (q∧t) →s (q∧ t) __________________ __________ ________ Q s
premisa 4: t (r → t) R _________________ _________________ Q
t
modus Ponendo Ponens
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
