TrabaJo 1

Proposición Compuesta Propuesta En Un Lenguaje Natural

P) La UNAD facilita espacios para cimentar conocimiento a través de áreas para la comunicación

R) Si, La UNAD entonces 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”

q) Si y solo si la UNAD por medio de los CIPAS propende participación de los estudiantes.

s) O 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.

( p→r) ↔ ( qvS )

Tablas De Verdad

N° p q r S (p→r) (q v s) (p→r) ↔ (g v s)
1 v v v V V v v
2 v v v F V v v
3 v v f V F v f
4 v v f F F v f
5 v f v V V v v
6 v f v F V f f
7 v f f V F v f
8 v f f F F f v
9 f v v V V v v
10 f v v F V v v
11 f v f V V v v
12 f v f F V v v
13 f f v V V v v
14 f f v F V f f
15 f f f V V v v
16 f f f F V f f
Contingencia

TABLA MANUAL
Trabajo 2

Ejercicio 2 Identificación de las reglas de la inferencia lógica

E. Expresión simbólica

P → ⌐q
P
⌐q
Ley de expresión simbólica: Modus Ponendo Ponens (PP)
 Definición de las composiciones simples
P: La UNAD tiene programas a distancia
q: Esta universidad permite que las personas desempeñen otras actividades diarias.
Símbolo
Condicional Si…entonces
CONCLUSIÓN
La UNAD tiene programas a distancia. Si esta universidad entonces no permite que las
personas desempeñen sus actividades diarias perderán muchos estudiantes.
P
q

p∧q

Ley de expresión simbólica: Adjunción (A)

 Definición de las composiciones simples
P: La UNAD tiene el programa de Zootecnia
q: Esta universidad permite los estudiantes puedan asistir a componentes prácticos
presenciales

Condicional ∧

CONCLUCION
La UNAD tiene el programa de Zootecnia Y esta universidad permite los estudiantes
puedan asistir a componentes prácticos presenciales.

⌐P→r
⌐p
r
Ley de expresión simbólica: Modus Ponendo Ponens (PP)
 Definición de las composiciones simples
P: La UNAD no tiene programas a distancia
R: Esta universidad permite que las personas desempeñen otras actividades diarias.
Símbolo
Condicional Si…entonces
CONCLUSIÓN:
La UNAD tiene programas a distancia, si esta universidad entonces permite que las
personas desempeñen otras actividades diarias.

Trabajo 3
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.

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.

Trabajo 4

Expresión simbólica: [( T → S) ∧ ( s → P)] → (T → P)

Proposiciones Simples

P: será un gran Zootecnista

S: ahorra para empezar a estudiar

T: francisco le apasiona la carrera de Zootecnia

Proposiciones Simples Llevadas Al Lenguaje Natural

Francisco le apasiona la carrera de Zootecnia Entonces ahorra para empezar a estudiar Y como
ahorra para estudiar Entonces será un gran Zootecnista.
TABLA DE VERDAD

TABLA DE VERDAD MANUAL

n° P S T T→ S S →P T→P [(T→S) ∧(S →P)] [(T→S) ∧(S →P)] →(T→P)
1 V V V V V V V V
2 V V F V V V V V
3 V F V F V V V V
4 V F F V V V V V
5 F V V V F F F V
6 F V F V F V F V
7 F F V F V F V V
8 F F F V V V V V
Tautología
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

(T → S)

( s → P)
CONCLUSION: (T → S)
P3 : (T → S) Modus Ponendo Ponens (PP)
CONCLUSIONES

A partir del desarrollo de este taller, definimos claramente que las preposiciones

son afirmaciones que pueden tener solamente dos valores, Falso O Verdadero y

de este depende la forma como elaboraremos una tabla de valor.

Elaborar una tabla de valor permite Identificar las leyes de inferencia,

y su respectiva definición de acuerdo con las características que determina el

resultado final. Cada ley cuenta con conceptos y definiciones establecidas

que las distingue de acuerdo a su naturaleza.

Bibliografías