Tarea numero 3

Expresar en lenguaje natural

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la

Universidad de su rol como estudiante y demostrar la validez del argumento dado a través
de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)

b {( p ⟶ q ) ∧ ( r ⟶ s ) ∧ [ ( q ∧ s ) ⟶t ] ∧ ( p∧ r ) }⟶ t

Premisas: p, q, r, s, t.

Aplicamos las tablas de verdad

Tabla de verdad.
Aplicamos la fórmula 25 32 filas
Tabla p q r s t (p→q) (r→s)(p→q)Λ(r→s) (qΛs) (qΛs)→t (pΛr) [(qΛs)→t]Λ(pΛr) {(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}{(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}→t
1 T T T T T T T T T T T T T T
2 T T T T F T T T T F T F F T
3 T T T F T T F F F T T T F T
4 T T T F F T F F F T T T F T
5 T T F T T T T T T T F F F T
6 T T F T F T T T T F F F F T
7 T T F F T T T T F T F F F T
8 T T F F F T T T F T F F F T
9 T F T T T F T F F T T T F T
10 T F T T F F T F F T T T F T
11 T F T F T F F F F T T T F T
12 T F T F F F F F F T T T F T
13 T F F T T F T F F T F F F T
14 T F F T F F T F F T F F F T
15 T F F F T F T F F T F F F T
16 T F F F F F T F F T F F F T
17 F T T T T T T T T T F F F T
18 F T T T F T T T T F F F F T
19 F T T F T T F F F T F F F T
20 F T T F F T F F F T F F F T
21 F T F T T T T T T T F F F T
22 F T F T F T T T T F F F F T
23 F T F F T T T T F T F F F T
24 F T F F F T T T F T F F F T
25 F F T T T T T T F T F F F T
26 F F T T F T T T F T F F F T
27 F F T F T T F F F T F F F T
28 F F T F F T F F F T F F F T
29 F F F T T T T T F T F F F T
30 F F F T F T T T F T F F F T
31 F F F F T T T T F T F F F T
32 F F F F F T T T F T F F F T
Validando con true table

  p     q     r     s     t    {(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}→t 

  T     T     T     T     T   T

T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
Esta expresión es una Tautología puesto que todas sin importar sus proposiciones simples es
verdadera en su resultado

{( p ⟶ q ) ∧ ( r ⟶ s ) ∧ [ ( q ∧ s ) ⟶t ] ∧ ( p∧ r ) }⟶ t
Aplicando las reglas de inferencia se tiene

1 p⟶q

2 r ⟶s

3 (q ⟶ s ¿ ⟶t

4 p ∧r

Conclusión t

5p Ley de adjunción (4)

6r Ley de adjunción (4)

7q Modus Ponendo Ponens (1, 5)

8s Modus Ponendo Ponens (2, 6)

9 q⟶ s¿ Ley adjunción (7, 8)

10 t Llegamos a la conclusión