Tarea1 PensamientoLogico
Tarea1 PensamientoLogico
Tarea1 PensamientoLogico
Director-Tutor
2023
2
Introducción
En el presente trabajo se desarrollan cuatro ejercicios que refieren a temas como la lógica
Objetivos
General
3
Específicos
variables.
del ejercicio 1:
p → (q ∧ r)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar
P q r (q ᴧ r) p→ (p ᴧ r)
1 V V V V V
2 V V F F F
3 V F V F F
4 V F F F F
5 F V V V V
6 F V F F V
7 F F V F V
8 F F F F V
➢ 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 2 – Guía para el desarrollo de la tarea 1
de argumentos.
mejor calidad de vida”. “No me alimento saludablemente”. Por lo tanto, “no hago ejercicio
1. Si p o q, entonces r.
2. No p.
3. Por lo tanto, no q o no r.
1. (p ∨ q) → r
2. ¬p
3. Por lo tanto, ¬p ∨ ¬r
1.
7
2.
3.
identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para
A. Expresión simbólica
[(~𝑝 → 𝑞) ∧ ~𝑞] → 𝑝
P1: ~𝑝 → 𝑞
P2: [(~𝑝 → 𝑞) ∧ ~𝑞
Conclusión: p
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
DEMOSTRACIÓN
P1: 𝑝 → q
P2: 𝑝 ∧ r PREMISAS DADAS
P3: 𝑞 → r
PREMISAS LEY APLICADA PREMISAS USADAS
➢ 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.
9
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
UNAD forma a los estudiantes en un contexto autónomo. y trabaja los cursos virtuales en la
lógica. (Un argumento será válido cuando su valor de verdad es una tautología)
8
7
6
5
4
3
2
1
F
F
F
F
V
V
V
V
p
F
F
F
F
V
V
V
V
q
F
F
F
F
V
V
V
V
r
F
F
V
V
V
V
V
V
F
F
F
F
F
F
F
V
(𝒑 → 𝒒)
F
F
V
V
V
V
V
V
(𝒑 ∧ 𝒓)
F
F
F
F
F
F
F
V
(𝒒 → 𝒓)]
F
F
F
F
F
F
F
V
(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓)
V
V
V
V
V
V
V
V
[(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)]
: [(𝒑 → 𝒒) ∧ (𝒑 ∧ 𝒓) ∧ (𝒒 → 𝒓)] → 𝒓
12
13
Conclusiones
Con los métodos utilizados en este trabajo se pudo evidenciar que hay argumentos que
simplemente con el hecho de leerlos no nos dan la repuesta a las cuestiones o dudas que nos
14
Las leyes de inferencia lógica, asumen situaciones obvias que ayudan al entendimiento de
Referencias Bibliográficas
page=59