I.

Si la sintaxis del programa es defectuosa, la computadora va a generar un mensaje

de error. Por tanto, si la computadora no genera un mensaje de error, entonces, la
sintaxis del programa es correcta.

1.Asignar valores posicionales

P: Si la sintaxis del programa es defectuosa
Q: la computadora va a generar un mensaje de error.

2.Traducción lógica
I.p→q
II.∿q
III.∴∿p

3.Obtener el número de combinaciones de valores de verdad

2 =4
2

4.Asignar valores de verdad a las variables proposicionales

P q (p → q) → (∿q → ∿p))

V V V V F F
V F V F V F
F V F V F V
F F F F F V

5.resolver las operaciones lógicas.

.((p→q) →(∿q→∿p))
p Q (p→q) ∿q ∿p (∿q→∿p) ((p→q) →(∿q→∿p))

V V V F F V V
V F F V F F V
F V V F V V V
F F V F V V V

II.Sí Enrique estudia, entonces aprobará lógica y geometría. Enrique no aprobó

lógica, en consecuencia, Enrique no estudio y no aprobó geometría.
1.Asignar valores posicionales

 P
 Q
 R

2.Traducción lógica
(p→(q ^ r))
∿q
∴∿p^∿r
3.Obtener el número de combinaciones de valores de verdad
2 =8 3

4.Asignar valores de verdad a las variables proposicionales

(((p→(q ⌃ r) ⌃ ∿ q)→( ∿ p ^ ∿ r ))

p q r (p → (q ^ r)) ∿ q → (∿ p ^ ∿ r)

v V V V V V F F F
V V F v V F F F V
V F V v F V V F F
V F F v F F V F V
F V V F V V F V F
F V F F V F F V V
F F V F F V V V F
F F F F F F V V V

5.resolver las operaciones lógicas.

(((p→(q⌃r)⌃∿q) →(∿p^∿r))
p q r (q^r (p→(q^r ∿ (((p→(q⌃r)⌃∿ ∿ ∿ (∿p^∿r (((p→(q⌃r)⌃∿
) )) q q) p r ) q) →(∿p^∿r))

V V V V V F F F F F V
V V F F F F F F V F V
V F V F F V F F F F V
V F F F F V F F V F V
F V V V V F F V F F V
F V F F V F F V V V V
F F V F V V V V F F F
F F F F V V V V V v V

Sí llueve mucho, el viaje se volvería difícil. Sí los estudiantes llegan a tiempo,

entonces viajar no fue difícil. Llegaron a tiempo. Por tanto, no llovió mucho.
1.Asignar valores posicionales
  P Sí llueve mucho
 Q el viaje se volvería difícil
 R Sí los estudiantes llegan a tiempo

2.Traducción lógica
((p→ q)→(r→(∿q))→(r→(∿p)))

3.Obtener el número de combinaciones de valores de verdad

2 =8
3

4.Asignar valores de verdad a las variables proposicionales

p q r ((p → (q → (r → (∿q)) → (r → (∿p)))
V V V V V V F V F
V V F V V F F F F
V F V V F V V V F
V F F V F F V F F
F V V F V V F V V
F V F F V F F F V
F F V F F V V V V
F F F F F f v F V

5.resolver las operaciones lógicas.

((p→q)→(r→(∿q))→(r→(∿p)))

p q r ((p→q (∿q) (r→(∿q) ∿ (r→(∿p)) ((p→q)→(r→(∿q))→r→(∿p))

) ) ) p ) )
V V V V F F F F V
V V F V F V F F F
V F V F V V F V V
V F F F V V F V V
F V V V F F V F V
F V F V F V V F F
F F V V V V V F F
F F F V V v v F F