Ejercicio para revisar paso 4

EJERCICIOS SELECCIONADOS PARA REVISAR Tarea 1. Conceptualización Reglas de Inferencia Modus Ponendo Ponens: Existen dos premisas, la primera premisa es una condicional y la segunda premisa debe ser igual al antecedente de la primera premisa para que dé el mismo consecuente. p q p q Ejemplo 1. p=Si está lloviendo, te espero dentro del teatro. p=Está lloviendo. q=Por lo tanto, te espero dentro del teatro.

FUENTE: https://www.youtube.com/watch?v=OuHYh1Xw5no Ejemplo2. p= Si está soleado, entonces es de día p= Está soleado q= Por lo tanto, es de día FUENTE: https://prezi.com/3hzj_yrsjdi4/modus-tollendo-tollen-y-modus-ponendo-ponen/ Ley de Adjunción (A): Establece que dadas dos premisas verdaderas, su conjunción es también verdadera.

1.

2.

� �

� ���

�

�

�1.2

Para esta regla el orden de las premisas es indiferente, por lo que también se puede representar de la siguiente manera.

1.

2.

� �

� ���

Ejemplo 1.

�

�

�1.2

P1. Liliana es Ingeniera

P2. Mario es Odontólogo A1.2 Liliana es Ingeniera y Mario es odontólogo.

Ejemplo 2.

P1. Jorge es adulto P2. María es adolescente A1.2 Jorge es adulto y María es adolescente Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

Retrieved from http://bibliotecavirtual.unad.edu.co:2460 Ley de 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.

Si A A

B

C; lógicamente equivalente a: A y B, entonces C

(B

[(P ∧ Q)

Ejemplo 1.

C) R]

[(P

(A ∧ B)

(Q

C R)]

Si corro entonces tengo velocidad luego avanzo; es lógicamente equivalente a: si corro y tengo velocidad entonces avanzo.

Ejemplo 2.

Si me enamoro entonces amo luego me produce felicidad; es lógicamente equivalente a: Sí me enamoro y amo me produce felicidad.

Fuente: https://prezi.com/fiy2i7yb9jlk/leyes-de-exportacion-y-contraposicion/

Tarea 2. e) En la UNAD se dispone una serie de encuentros académicos presenciales en los que los estudiantes interactúen con compañeros y docente; entre los que se cuentan los CIPAS y los B-Learning, estos encuentros se hacen en pro de en acompañamiento más cercano de los docentes donde se despejen dudas e inquietudes para así asegurar la aprobación del curso, es por esto que en los CEAD se realiza el siguiente planteamiento: “Si Los estudiantes No asisten a los B-Learning y Los CIPAS son solicitados por los estudiantes, los estudiantes no aprobaran el curso. Los CIPAS son solicitados por los estudiantes y Los estudiantes aprobaran el curso. Por lo tanto, los estudiantes asisten a los B-Learning.

1. Proposiciones Simples. p: Los estudiantes asisten a los B-Learning q: Los CIPAS son solicitados por los estudiantes r:Los estudiantes aprobarán el curso Negación Proposiciones Simples. ~p: Los estudiantes No asisten a los B-Learning ~r: Los estudiantes No aprobarán el curso 2. Hallar premisas P1. Si Los estudiantes No asisten a los B-Learning y Los CIPAS son solicitados por los estudiantes, los estudiantes no aprobaran el curso P2. Los CIPAS son solicitados por los estudiantes y Los estudiantes aprobaran el curso.

Conclusión: Por lo tanto, los estudiantes asisten a los B-Learning.

3. Fórmula {[(~p^q) ~~r]^(q^r)} 4. Leyes de inferencia P1. [(~p^q) ~r] P2. (q^r) Con. p P3. q simplificación en 2 P4. (~p^q) MPP 1 y 2 P5. ~(~p^q) LC en 4 P6. r simplificación en 2

p

P7. (p^~q) LC en 5 P8. P Silogismo Disyuntivo 3 y 7

5. Tabla de verdad.

Esta expresión es una tautología, es decir que el razonamiento es válido.

6. Simulador Truth Table.

Tarea 3. a)

Lenguaje Natural Si leo informaciรณn sobre el tema entonces no pierdo la asignatura. No entrego las actividades entonces pierdo el semestre. Entrego las actividades entonces estudio sobre el tema. Por lo tanto, no pierdo la asignatura o pierdo el semestre.

1. Proposiciones Simples p: Leo informaciรณn sobre el tema q: pierdo la asignatura r: Entrego las actividades s: Pierdo el semestre Negaciรณn proposiciones simples ~q: No pierdo la asignatura ~r: No Entrego las actividades

2. Hallar premisas P1.

(p

~q)

P2.

(~r

s)

P3.

(r

p)

Con. (~q v s)

3. Reglas de inferencia P4. ~r v p Ley del condicional en 3 P5. ~q v s Silogismo Disyuntivo entre 1, 2 y 4

4. Tabla de Verdad

Esta expresiĂłn es una tautologĂ­a

5. Simulador Truth Table.

Tarea 4.

Este es un tipo de razonamiento deductivo teniendo en cuenta que parte de lo general (comprensión y respeto…),para llegar a lo particular (hay mucha gente que a mí puede no gustarme). Se identifica la declaracion lo que es valido para todos es valido para cada una de las partes (porque asi como hay mucha gente que a mi puede no gustarme…es logico suponer que también yo pueda no gustarle…).