Tarea - 1 - Anggie Parra
Tarea - 1 - Anggie Parra
Tarea - 1 - Anggie Parra
Grupo: 90004_333
Tutor:
Zootecnia
Cead Florencia
2020
INTRODUCCIÓN
En el presente trabajo aprendimos a construir las tablas de verdad con cada uno de los pasos que
tenemos que tener en cuenta y las reglas de inferencia para poder comprobar la validez de los
argumentos, así mismo aprendimos a leer cada uno de los símbolos ya sea por su nombre o su
significado. Teniendo en cuenta cada una de las tablas de verdad de los operadores lógicos.
DESARROLLO
o Proposiciones simples:
o Lenguaje simbólico:
(𝑝 → 𝑞) ∨ (~𝑟)
o Lenguaje Natural:
Si Diego es deportista de alto rendimiento, entonces, Diego debe entrenar todos los días o Diego
o Tabla manual :
p q r (P q) (p q) v ( r)
V V F V V
V V V V V
V F F F F
V F V F V
F V F V V
F V V V V
F F F V V
F F V V V
o Tabla de verdad Simulador UNAD: tabla de contingencia
p q r (p→q)∨(~r)
v v v V
v v f V
v f v F
v f f V
f v v V
f v f V
f f v V
f f f V
1) Expresión simbólica:
r s
s t
r t
o Proposiciones simples:
r: No madrugo
o Lenguaje Natural:
2) Expresión simbólica:
pVq
¬p
q
o Proposiciones simples:
o Lenguaje Natural:
Si Juan está en un partido de futbol, o, Juan está en el estadio. Juan no está en un partido
3) Expresión simbólica:
p∧q
o Proposiciones simples:
o Lenguaje Natural:
c) Lenguaje simbólico:
P q
q r
p r
B.
o Premisas:
P1:𝑝 → 𝑞
P2:𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
o Conclusión: 𝑞
o Proposiciones simples:
o Lenguaje Natural:
Si Pablo es estudiante de zootecnia en la UNAD entonces, Pablo asiste puntualmente a las clases.
Aunque, Pablo es estudiante de zootecnia en la UNAD o Pablo recibe puntos adicionales por
participar en las clases. Aunque, Pablo no recibe puntos adicionales por participar en las clases y
Pablo no asiste puntualmente a las clases. Entonces, Pablo asiste puntualmente a las clases.
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F V F V F F F F V
F F V F V V V F V F V
F F F V V V F V F F V
o Tabla de verdad Simulador UNAD:
p q r ((p→q)∧(p∨r)∧(~r∧~q))→q
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V
P1: 𝑝 → 𝑞
P2: 𝑝 ∨ 𝑟
P3: ¬ 𝑟 ∧ ¬𝑞
P4: ¬ 𝑟 por simplicidad en p3
P5: p por MTP P2, P4
Conclusión: q por MPP en P1, P5
CONCLUCIÓN
Logramos terminar el ejercicio con cada paso y aprobando cada uno de los ejercicios,
aprendiendo a leer cada expresión simbólica en su lenguaje natural y sacar cada proposición
simple que podamos encontrar en cualquier ejercicio. También logramos realizar con éxito la
https://youtu.be/NIje4VRjABY
https://youtu.be/kkYu3qy2nvo
https://youtu.be/0BUPhw3x3Bw
https://youtu.be/RDI66U49kNg
https://www.youtube.com/watch?v=Y75njP0TIhw
https://www.youtube.com/watch?v=UYzNy4DtTHo