Ejercicio 1: Proposiciones y tablas de verdad
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el
desarrollo del ejercicio 1:
Ejercicio B
r: El agua está formada por moléculas.
s: El agua es un elemento esencial para la vida en nuestro planeta.
t: El agua juega un papel fundamental en la supervivencia de los seres vivos.
~ (r ∧ s) → ~t
DESARROLLO.
1. Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.
"Si no es cierto que el agua esté formada por moléculas y que el agua sea un elemento
esencial para la vida en nuestro planeta, entonces no es cierto que el agua juegue un papel
fundamental en la supervivencia de los seres vivos."
2. 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.
r ∧ s: Esta parte significa: “el agua está formada por moléculas y es un elemento esencial
para la vida en nuestro planeta”.
Tabla de Verdad: r ∧ s
r s Resultado
V V V
V V V
V F F
V F F
F V F
F V F
F F F
F F F
∼ (r ∧ s): Esto indica la negación del conjunto anterior. Entonces, “no es cierto que el
agua esté formada por moléculas y que sea esencial para la vida”.
Tabla de verdad: ∼ (r ∧ s)
r∧ s ∼ (r ∧ s):
V F
V F
F V
F V
F V
F V
F V
F V
∼ t: Significa que: “no es cierto que el agua juegue un papel fundamental en la
supervivencia de los seres vivos”.
Tabla de verdad: ∼ t
t Resultado
V F
F V
V F
F V
V F
F V
V F
F V
∼ (r ∧ s) → ∼ t: Finalmente, la expresión completa es una implicación lógica. Significa
que si no se cumplen ambas condiciones (que el agua esté formada por moléculas y que sea
esencial para la vida), entonces no se cumple que el agua sea fundamental para la supervivencia.
Tabla de verdad: ∼ (r ∧ s) → ∼ t
∼ (r ∧
r s t r∧ s ∼t ∼ (r ∧ s) → ∼ t
s)
V V V V F F V
V V F V F V V
V F V F V F F
V F F F V V V
F V V F V F F
F V F F V V V
F F V F V F F
F F F F V V V
Tautología: Siempre verdadera.
Contradicción: Siempre falsa.
Contingencia: Verdadera en algunos casos, falsa en otros.
Es una contingencia, ya que es verdadera en algunas filas y falsa en otras.
3. Generar la tabla de verdad a través del simulador tablas de verdad.
Ejercicio 2: Aplicación de la lógica fundamental
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
Ejercicio B
Argumento: El oxígeno no es un gas insípido y la formula molecular del oxígeno es 𝑂2,
o el alótropo más normal del oxígeno elemental es el llamado dioxígeno.
DESARROLLO
A partir del argumento deberá dar respuesta a los siguientes ítems:
Definir cuáles son las proposiciones simples que intervienen en el argumento:
p: El oxígeno es un gas insípido.
q: la formula molecular del oxígeno es 𝑂2.
r: El alótropo más normal del oxígeno elemental es el llamado dioxígeno.
Identificar los conectores que intervienen en el argumento.
- Conectores lógicos presentes:
Negación (∼): "no" en "El oxígeno no es un gas insípido".
Conjunción (∧): "y" en "El oxígeno no es un gas insípido y la fórmula molecular del
oxígeno es O2".
Disyunción (∨): "o" en "la fórmula molecular del oxígeno es O2, o el alótropo más
normal del oxígeno elemental es el llamado dioxígeno".
Construir el lenguaje simbólico correspondiente al argumento.
- Lenguaje simbólico del argumento:
Usando las proposiciones y conectores, el argumento completo se puede expresar
simbólicamente como: (∼ p ∧ q) ∨ r
Desglose de la expresión:
∼ p: El oxígeno “no” es un gas insípido.
q: La fórmula molecular del oxígeno es O2.
∧: Ambas condiciones (∼p y q) deben ser verdaderas para que la conjunción sea
verdadera. Por lo tanto: “El oxígeno no es un gas insípido y la formula molecular del oxígeno es
𝑂2”
∨ r: Se establece que, además de la conjunción anterior, r (el alótropo más normal del
oxígeno es dioxígeno) también puede ser verdadero. Entonces: “El oxígeno no es un gas insípido
y la formula molecular del oxígeno es 𝑂2, o el alótropo más normal del oxígeno elemental es el
llamado dioxígeno”.
- Conclusión:
Por lo tanto, el lenguaje simbólico que representa el argumento es: (∼ p ∧ q) ∨ r
- Determinar si el argumento es una tautología, contradicción o contingencia a
través del simulador de tablas de verdad.
El valor final de la expresión (∼p ∧ q) ∨ r es verdadero en algunos casos y falso en
otros. El argumento no es una tautología (no es siempre verdadero), ni una contradicción (no es
siempre falso). Por lo tanto, el argumento es una contingencia, ya que su valor de verdad depende
de las combinaciones de p, q, y r.
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.
Ejercicio B: Expresión simbólica
[(~p ∨ ~q) ∧ (~p →t) ∧ (~q →r)] → (t ∨ r)
P1:
P2:
P3:
Conclusión:
Ley utilizada:
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
Deducir las premisas (P1, P2, P3…) y la conclusión.
Premisa 1 (P1): ∼ p ∨ ∼ q.
Esta premisa establece que al menos uno de p o q es falso.
Premisa 2 (P2): ∼ p → t.
Esta premisa implica que, si p es falso, entonces t debe ser verdadero.
Premisa 3 (P3): ∼ q → r.
Esta premisa implica que, si q es falso, entonces r debe ser verdadero.
Conclusión: t ∨ r.
La conclusión es que al menos uno de t o r es verdadero.
Defina la ley de inferencia que representa el lenguaje simbólico dado.
Ley de la Disyunción: Esta ley se utiliza para deducir que si se tiene una disyunción (en este caso,
∼ p ∨ ∼ q), y uno de los disyuntos implica otro resultado (como t o r), entonces se puede concluir la
disyunción resultante.
Modus Ponens: Se utiliza en las premisas P2 y P3. Si se afirma que ∼ p → t y que ∼ p es
verdadero, entonces t es verdadero. Lo mismo aplica para ∼ q y r.
Adjuntar un pantallazo del simulador de tablas de verdad que demuestre la
tautología de la ley de inferencia.
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:
Expresión simbólica: B
[(p ∨ r) ∧ (~r) ∧ ((p → q) ∧s)] → (s ∧ q)
Premisas dadas:
P1: p ∨ r
P2: ~r
P3: (p → q) ∧ s
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 académico o social. Las proposiciones simples
deben contener 1. Sujeto, 2. Verbo y 3. Predicado.
p: "El estudiante entrega su trabajo a tiempo."
q: "El estudiante aprueba el curso."
r: "El estudiante está de vacaciones."
s: "El profesor revisa los trabajos."
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 (Rubrica).
Traducción de la expresión simbólica al lenguaje natural utilizando las proposiciones
definidas:
[(p ∨ r) ∧ (∼r) ∧ ((p → q) ∧s)] → (s ∧ q)
Traducción al lenguaje natural:
p ∨ r: "El estudiante entrega su trabajo a tiempo o el estudiante está de
vacaciones."
∼r: "El estudiante no está de vacaciones."
(p → q) ∧ s: "Si el estudiante entrega su trabajo a tiempo, entonces aprueba el
curso y el profesor revisa los trabajos."
s ∧ q: "El profesor revisa los trabajos y el estudiante aprueba el curso."
Expresión traducida:
"Si el estudiante entrega su trabajo a tiempo o está de vacaciones, y el estudiante no está
de vacaciones, y si el estudiante entrega su trabajo a tiempo entonces aprueba el curso, y el
profesor revisa los trabajos, entonces el profesor revisa los trabajos y el estudiante aprueba el
curso."
Complete la tabla de demostración de la validez del argumento mediante leyes de
inferencia lógica. Analizar la tabla de la demostración e indicar si las premisas
construidas y las leyes aplicadas son correctas o incorrectas y justificar porque es
correcta o incorrecta
Premisas ¿Correcto o
Premisa Ley Aplicada Justificación
Usadas Incorrecto?
P1: p ˅ r Ley de la --- Correcto La disyunción indica
disyunción que al menos uno de
los dos enunciados, p o
P2: ∼ r
r, es verdadero.
Ley de la --- Correcto Se niega la
negación proposición r, por lo
que sabemos que r es
P3: (p → q) ∧ s
falsa
Ley de ---- Correcto Esta premisa incluye
conjunción una conjunción que
une dos proposiciones:
el condicional p → q y
De p ∨ r y ∼ r.
s.
p Modus Tollens P1, P2 Correcto
Podemos concluir que
p es verdadero, ya que
r es falso.
p→q Ley del P3 Correcto Con p verdadero,
condicional aplicamos Modus
(Modus Ponens en p → q y
Ponens) concluimos que q es
Dado que (p → q) ∧ s
verdadero.
S Simplificación P3 Correcto
verdadero, podemos
simplificar y afirmar
que s también es
s∧q
verdadero.
Conjunción s, q Correcto Como s y q son
verdaderos.
Concluimos que s ˄ q
[(p ∨ r) ∧ (∼r)
es verdadero.
∧ ((p → q) ∧s)]
Ley de la P1, P2, Correcto Se demuestra que la
→ (s ∧ q)
implicación P3 implicación entre las
premisas y la
conclusión es válida.
Análisis de la validez del argumento:
Cada una de las leyes aplicadas es correcta:
1. P1: p ∨ r: Aplicamos correctamente la Ley de la Disyunción, que nos indica que al
menos uno de los dos enunciados es verdadero.
2. P2: ∼ r: Se usa la Ley de la Negación, que nos informa que r es falso, lo que es clave
para el siguiente paso.
3. Conclusión p: Usando Modus Tollens, al tener p ∨ r y ∼ r, podemos deducir que p es
verdadero. Este es un paso crucial para avanzar en la demostración.
4. P3: (p → q) ∧ s: Aquí se usa la Ley de la Conjunción. Esta premisa nos dice que tanto
p → q como s son verdaderos.
5. Conclusión q: Aplicamos Modus Ponens en p → q con p verdadero, concluyendo
correctamente que q es verdadero.
6. Conclusión s: Usamos Simplificación para extraer s de la conjunción en P3.
7. Conclusión s ∧ q: Usamos la Ley de la Conjunción para combinar los valores
verdaderos de s y q, resultando en s ∧ q.
8. Conclusión final: La implicación entre las premisas y la conclusión se mantiene, por
lo que el argumento es válido.
Justificación general:
El argumento se construye correctamente utilizando las leyes de inferencia lógica. Cada
paso sigue lógicamente del anterior, lo que garantiza que la conclusión s ∧ q es verdadera
siempre que las premisas sean verdaderas. Por tanto, las premisas y las leyes aplicadas son
correctas y el argumento es válido.