Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:

E.

p: Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico.

q: Un semillero de investigación dinamiza la adquisición de competencias investigativas.

(p ∨q) ∧ (~p → q)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢ Escribir la proposición compuesta propuesta en un lenguaje natural.

Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico o un semillero

de investigación dinamiza la adquisición de competencias investigativas y si los semilleros de
investigación de la UNAD no desarrollan el pensamiento crítico entonces un semillero de
investigación dinamiza la adquisición de competencias investigativas.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautología, contingencia o contradicción.

p Q ~p p ∨q ~p → q (p ∨q) ∧ (~p → q)
V V F V V V
V F F V V V
F V V V V V
F F V F F F

Es una contigencia

➢ Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso para el uso
del simulador lo podrá encontrar en el Anexo 6 - Simulador Lógica UNAD, ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 2-
Tarea 2 - Métodos para probar la validez de argumentos.
Es una contigencia

➢ Realizar un vídeo de 5 minutos máximo:

Ejercicio 2: Aplicación de las reglas de la inferencia lógica

Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo del
ejercicio 2:

E.

Si un estudiante aplica al programa jóvenes en acción entonces no cuenta con título

profesional universitario. Un estudiante aplica al programa jóvenes en acción.

a. Lenguaje simbólico:

p→~q
p
= ~q
b. Ley de inferencia aplicada: modus ponendo ponens
c. Conclusión: no cuenta con titulo profesional universitario

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Descripción del ejercicio: A continuación, encontrará un argumento para el desarrollo del

ejercicio 3, usted deberá identificar e indicar las leyes de inferencia y las premisas utilizadas en
cada uno de los pasos para la demostración del argumento.

E. Expresión [(~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)]→ ~q ᴧ r

P1: ~p→r
P2: q→s

P3: ~p ᴧ ~s

Conclusión: (~q) ᴧ r

Paso 1:

Obtención de la Premisa 4.

P1: ~p→r

P4: ~p

Modus ponendo ponens

Paso 2:

Obtención de la Premisa 5.

P3: ~p ᴧ ~s

P4: ~ p

P5: ~s

Simplificación

Paso 3

Obtención de la Premisa 6.

P2: q→s

P5: ~s

P6: ~q

Modus tollens

Paso 4

Obtención de la Premisa 7.

P4: r

P6: ~q

P7: (~q) ᴧ r

Adicción
Demostracion

Premisa Ley de inferencia Premisas usadas

P4: ~p Modus ponendo ponens P1
P5: ~s Simplificación P3 y p4
P6: ~q Modus tollens P2 y p5

P7: (~q) ᴧ r Adiccion P4 y p6

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems: ➢
Realizar la tabla de la verdad mediante el simulador de lógica UNAD Anexo 6 - (Simulador
Lógica UNAD),
Es una tautología

➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas para
avanzar en la demostración.

P Q r S ~p ~q ~s
V V V V F F F
V V V F F F V
V V F V F F F
V V F F F F V
V F V V F V F
V F V F F V V
V F F V F V F
V F F F F V V
F V V V V F F
F V V F V F V
F V F V V F F
F V F F V F V
F F V V V V F
F F V F V V V
F F F V V V F
F F F F V V V

~p→r q→s ~p ᴧ ~s (~p→r) ᴧ(q→s) (~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)

V V F V F
V F F F F
V V F V F
V F F F F
V V F V F
V V F V F
V V F V F
V V F V F
 V V F V F
V F V F F
F V F F F
F F V F F
V V F V F
V V V V V
F V F F F
F V V F F

[(~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)]→ ~q ᴧ r

~q ᴧ r (~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s) (~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s) ]→ ~q ᴧ r

F F V
F F V
F F V
F F V
V F V
V F V
F F V
F F V
F F V
F F V
F F V
F F V
V F V
V V V
F F V
F F V

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 4:

E.

Expresión simbólica: [(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

P1: (𝑝 ∧ 𝒓)

P2: (𝒒 ∨ ¬𝒓)

P3: (𝑝 → 𝑞)

Conclusión: 𝑞

A partir de la expresión simbólica seleccionada, el estudiante deberá:

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico y/o de problemas de su
entorno. Las proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3.
Complemento predicado. Mínimo 7 palabras.
 p= pedro≤gusta lasmatemáticas básicas
q=es uningeniero electronico de launad
r =es docente de calculo en el colegio santamaria
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD

Pedro le gusta las matemáticas básicas y es docente de calculo en el colegio santa maria y es
un ingeniero electrónico de la unad. Si Pedro le gusta las matemáticas básicas entonces es un
ingeniero electrónico de la unad, por lo tanto es un ingeniero electrónico de la unad.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

: [(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

p q r ¬𝒓 𝒑∧𝒓 𝒒 ∨ ¬𝒓 (𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓)
V V V F V V V
V V F V F V F
V F V F V F F
V F F V F V F
F V V F F V F
F V F V F V F
F F V F F F F
F F F V F V F

𝒑→𝒒 (𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒) : [(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

V V V
V F V
F F V
F F V
V F V
V F V
V F V
V F V

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el paso a paso para uso del simulador lo podrá encontrar en el
Anexo 6 - Simulador Lógica UNAD.

[(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)