Presentado al tutor:

DIEGO FERNANDO VEGA

Entregado por la estudiante:

Sara Jireh Pineda Taborda

Grupo:
200611_1792

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
IBAGUE - TOLIMA
Ejercicio 1
p: La UNAD facilita espacios para cimentar conocimiento
a través de áreas para la comunicación.
q: La UNAD por medio de los CIPAS propende participación
de los estudiantes.
r: La UNAD le apuesta a la estrategia de la Educación a
distancia con los encuentros pedagógicos CIPAS “Círculos
de Interacción y Participación Académica y Social”
s: La UNAD utiliza este tipo de metodología para generar
conocimiento donde el estudiante puedan despejar dudas
entre ellos asesorándose de un docente para una mayor
integración pedagógica.
(𝑝 → r) ⟷ (𝑞 ∨ s)
•Tabla manual
Si La UNAD facilita espacios para cimentar conocimiento a través de áreas para la
comunicación entonces La UNAD le apuesta a la estrategia de la Educación a
distancia con los encuentros pedagógicos CIPAS “Círculos de Interacción y
Participación Académica y Social”. Si solo si La UNAD por medio de los CIPAS
propende participación de los estudiantes Y La UNAD utiliza este tipo de
metodología para generar conocimiento donde el estudiante puedan despejar
dudas entre ellos asesorándose de un docente para una mayor integración
pedagógica.
•Tabla manual
(𝑞 ∨ (𝑝 → r) ⟷ (𝑞 ∨
p q r s (𝑝 → r) s) s)
1 V V V V V V V
2 V V V F V V V
3 V V F V F V V
4 V V F F F V V
5 V F V V V V V
6 V F V F V V V
7 V F F V F V V
8 V F F F F V V
9 F V V V V V V
10 F V V F V V V
11 F V F V V F F
12 F V F F V F F
 13 F F V V V V V
14 F F V F V V V
15 F F F V V F F
16 F F F F V F F
CONTINGENCI
A
•Tabla de verdad simulador UNAD

Link del vídeo de explicación:

https://www.youtube.com/watch?v=kREAZldZFR0&feature=youtu.be
Ejercicio 2
Expresión simbólica

ley de inferencia que representa cada expresión simbólica:

1. Modus Tollendo Tollens (TT)
2. Regla de Adjunción
3. Modus Ponendo Ponens (PP)
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
(puede usar las mismas proposiciones simples en cada una de las 3 expresiones
simbólicas seleccionadas).
p: Sofia estudia en Estados Unidos
q: Sofia trabaja en Colombia

p: Sofia estudia en Estados Unidos

q: Sofia trabaja en Colombia

p: Sofia estudia en Estados Unidos

r: Sofia trabaja en Colombia

Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

1. Si Sofia trabaja en estados unidos entonces no trabaja en Colombia.

Sofia estudia en Estados Unidos no trabaja en Colombia
2. Sofia estudia en Estados Unidos, trabaja en Colombia. Sofia estudia
en Estados Unidos y trabaja en Colombia.
3. Sofia no estudia en estados unidos, se deduce que Sofia trabaja en
Colombia. Sofia no estudia en estados Unidos, Sofia trabaja en
Colombia
Ejercicio 3
E. Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de
sus vidas están despiertos. Si los gatos el 30% de sus vidas están despiertos,
entonces los gatos pasan 10.950 horas ronroneando.
a. Lenguaje simbólico: ___________________________________________
b. Ley de inferencia aplicada: _____________________________________
c. Conclusión: _________________________________________________
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
⮚ Definir la expresión del argumento en lenguaje simbólico o formal.
⮚ Nombrar la ley de inferencia que se aplica para probar el argumento
⮚ Identificar la conclusión del argumento.
E. Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de
sus vidas están despiertos. Si los gatos el 30% de sus vidas están despiertos,
entonces los gatos pasan 10.950 horas ronroneando.
a. Lenguaje simbólico: p q
q r
p r
b. Ley de inferencia aplicada: silogismo hipotético (SH)

c. Conclusión: Si los gatos pasan el 70% de sus vidas durmiendo, entonces los
gatos pasan 10.950 horas ronroneando.
Ejercicio 4
E. Expresión simbólica:
[ (𝑡 →𝑠)∧(𝑠→𝑝 )]→(𝑡 →𝑝)
Premisas:
P1: (𝑡 →𝑠)
P2: (𝑠→𝑝 )
Conclusión: (𝑡 →𝑝)
Proposiciones simples:

t: Helena tiene una tienda de ropa

s: Helena es diseñadora de modas
p: Helena ayuda a su familia con su salario

Lenguaje Natural

Si Helena tiene una tienda de ropa entonces Helena es diseñadora de modas.

Si Helena es diseñadora de modas entonces Helena ayuda a su familia con su
salario. Si Helena tiene una tienda de ropa entonces Helena ayuda a su familia
con su salario

Tabla Manual:

p s t (𝑡 →𝑠) (𝑠→𝑝 ) (𝑡 →𝑝) (𝑡 →𝑠)(𝑠→𝑝 )(𝑡 →𝑝)

V V V V V V V
V V F V V V V
V F V F V V F
V F F V V V V
F V V V F F V
F V F V F V V
F F V F V F F
F F F V V V V
CONTINGENCIA
Tabla Simulador UNAD
Conclusión:
E. Expresión simbólica:
[ (𝑡 →𝑠)∧(𝑠→𝑝 )]→(𝑡 →𝑝)
Premisas:
P1: (𝑡 →𝑠)
P2: (𝑠→𝑝 )
Conclusión: (𝑡 →𝑝)

Ley: Silogismo hipotético

𝑡 →𝑠
𝑠→𝑝
𝑡 →𝑝