5. Representar en forma de teorema el siguiente enunciado, usando para ello notación lógica.

“Si repruebo matemáticas y repruebo física, entonces me darán de baja. Si no me dan de baja, entonces
aprobé matemáticas o física. Si estudio, entonces no causaré baja. Por consiguiente, causaré baja si y
solo si no estudio y repruebo matemáticas y física”.

p: Repruebo matemáticas.

q: Repruebo física.

r: Me dan de baja.

s: Estudio.

t: Aprobé matemáticas.

u: Aprobé física.

((p ∧ q) → r) ∧ (¬r → (t ∨ u)) ∧ (s → ¬r) ∧ ((¬s ∧ ¬t ∧ ¬u) ↔ r).

6. Representar en forma de teorema el siguiente enunciado, usando para ello notación lógica.

“El programa corre, si y solo si no tiene errores de compilación. Si no tiene errores de lógica y no tiene
errores de compilación, entonces el programa está bien y los resultados son satisfactorios. Por lo tanto,
si tiene errores de compilación o tiene errores de lógica, entonces el programa no corre y los resultados
no son satisfactorios”.

Teorema: (p ↔ q) ∧ ((¬r ∧ q) → (s ∧ t)) ∧ ((r ∨ ¬q ∨ ¬t) → ¬p).

7. Representar en forma de teorema el siguiente enunciado, usando para ello notación lógica.

“Haré la tarea de matemáticas para computación si y solo si tengo tiempo. Iré a la disco, si y solo si tengo
tiempo y tengo dinero. Si no tengo dinero, entonces haré la tarea de matemáticas para computación y
veré un buen programa de televisión. En conclusión, si veo un buen programa de televisión y tengo
tiempo, entonces haré la tarea de matemáticas para computación”.

P: Haré la tarea de matemáticas para computación.

Q: Tengo tiempo.

R: Iré a la disco.

S: Tengo dinero.

T: Veré un buen programa de televisión.

(P ↔ Q) ∧ (R ↔ (Q ∧ S)) ∧ (¬S → (P ∧ T)) ∧ ((T ∧ Q) → P).

 8. Mostrar por medio de tablas de verdad que la siguiente equivalencia lógica es cierta.

(p↔q) ≡ [(p’ v q) ꓥ (q’ v p)]

Vamos a abordar cada parte de la proposición por separado:

a) Primero, construyamos la tabla de verdad para la proposición a) y luego determinaremos si es una

tautología, contradicción o contingencia:

La proposición a) es: (p → r' ∨ q') ↔ (p' ∧ r → q)

| p | q | r | p' | q' | r' | p → r' ∨ q' | p' ∧ r → q | (p → r' ∨ q') ↔ (p' ∧ r → q) |

| --- | --- | --- | --- | --- | --- | --------------- | -------------- | ------------------------------- |

| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 |

| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |

| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 |

| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |

| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |

| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |

| 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |

| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 |

La última columna muestra el resultado de la proposición completa.

Para determinar si es una tautología, contradicción o contingencia, observamos si la columna de resultados

tiene todos los valores verdaderos (1), todos los valores falsos (0) o una combinación de ambos. En este caso,
la columna contiene tanto 0 como 1, lo que significa que la proposición es una contingencia, ya que su verdad
depende de los valores de las variables p, q y r.
 b) Ahora, construyamos la tabla de verdad para la proposición b):

La proposición b) es: (r' → q ∨ p') ∧ (p ∨ q' → r ∧ p')

p q r p' q' r' (r' → q ∨ p') (p ∨ q' → r ∧ p')

0 0 0 1 1 1 1 0

0 0 1 1 1 0 1 1

0 1 0 1 0 1 1 1

0 1 1 1 0 0 0 1

1 0 0 0 1 1 1 0

1 0 1 0 1 0 1 1

1 1 0 0 0 1 1 1

1 1 1 0 0 0 0 0

La última columna muestra el resultado de la proposición completa.

Para determinar si es una tautología, contradicción o contingencia, observamos si la columna de resultados tiene todos
los valores verdaderos (1), todos los valores falsos (0) o una combinación de ambos. En este caso, la columna contiene
tanto 0 como 1, lo que significa que la proposición es una contingencia, ya que su verdad depende de los valores de las
variables p, q y r.

Ambas proposiciones a) y b) son contingencias, ya que sus verdades dependen de los valores de las variables
involucradas.
 10. Mostrar que la siguiente proposición es una tautología.
(p → q) ⇒ [(q → r) → (p → r)]

| p | q | r | p → q | q → r | (q → r) → (p → r) | (p → q) ⇒ [(q → r) → (p → r)] |

| --- | --- | --- | ------- | ------- | ------------------- | ------------------------------ |

| 0 | 0 | 0 | 1 | 1 | 1 | 1 |

| 0 | 0 | 1 | 1 | 1 | 1 | 1 |

| 0 | 1 | 0 | 1 | 0 | 1 | 1 |

| 0 | 1 | 1 | 1 | 1 | 1 | 1 |

| 1 | 0 | 0 | 0 | 1 | 0 | 1 |

| 1 | 0 | 1 | 0 | 1 | 0 | 1 |

| 1 | 1 | 0 | 1 | 0 | 1 | 1 |

| 1 | 1 | 1 | 1 | 1 | 1 | 1 |

Como puedes ver en la última columna, el resultado de la proposición dada es siempre 1 (verdadero) para todas las
combinaciones posibles de los valores de p, q y r. Por lo tanto, hemos demostrado que la proposición es una tautología, ya
que es siempre verdadera, independientemente de los valores de verdad de las proposiciones.
 11. Mostrar por medio de una tabla de verdad que la siguiente proposición es una
tautología.
[(p→q) ꓥ q'] ⇒ p'
Para demostrar que la proposición dada es una tautología, construyamos su tabla de verdad
y verifiquemos que el resultado sea siempre verdadero (1), independientemente de los
valores de verdad de las proposiciones p y q:

[(p → q) ∧ q'] ⇒ p'

| p | q | q' | (p → q) | [(p → q) ∧ q'] | p' | [(p → q) ∧ q'] ⇒ p' |

| --- | --- | -- | ------- | ------------------ | --- | -------------------- |
| 0 | 0 | 1| 1 | 1 | 1 | 1 |
| 0 | 1 | 0| 1 | 0 | 1 | 1 |
| 1 | 0 | 1| 0 | 0 | 0 | 1 |
| 1 | 1 | 0| 1 | 0 | 0 | 1 |

En la última columna, podemos observar que el resultado es siempre 1 (verdadero) para

todas las combinaciones posibles de los valores de verdad de p y q. Por lo tanto, hemos
demostrado que la proposición es una tautología, ya que es siempre verdadera,
independientemente de los valores de verdad de las proposiciones.
 12. Mostrar que la siguiente proposición es una tautología.
(p’ → q’ ) ⇒ [(q’ → r) → (p’ → r)]
Para demostrar que la proposición dada es una tautología, construyamos su tabla de verdad y verifiquemos que
el resultado sea siempre verdadero (1), independientemente de los valores de verdad de las proposiciones p, q
y r:

[(p' → q') ⇒ [(q' → r) → (p' → r)]]

| p | q | r | p' | q' | (p' → q') | (q' → r) | (p' → r) | [(p' → q') ⇒ [(q' → r) → (p' → r)]] |
| --- | --- | --- | -- | -- | ----------- | ---------- | ---------- | -------------------------------- |
| 0 | 0 | 0 | 1| 1| 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1| 1| 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1| 0| 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1| 0| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0| 1| 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0| 1| 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0| 0| 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0| 0| 1 | 1 | 1 | 1 |

En la última columna, podemos observar que el resultado es siempre 1 (verdadero) para todas las
combinaciones posibles de los valores de verdad de p, q y r. Por lo tanto, hemos demostrado que la proposición
es una tautología, ya que es siempre verdadera, independientemente de los valores de verdad de las
proposiciones.
 13. Mostrar que la siguiente proposición es una equivalencia lógica.
[(p→q) ꓥ (p→r)] ≡ [p→ (qꓥr)]
Para demostrar que la proposición dada es una equivalencia lógica, podemos construir una tabla de verdad
para ambas expresiones y verificar si siempre tienen los mismos valores de verdad. Aquí está la tabla de
verdad:

[(p → q) ∧ (p → r)] ≡ [p → (q ∧ r)]

| p | q | r | (p → q) | (p → r) | [(p → q) ∧ (p → r)] | [p → (q ∧ r)] |

| --- | --- | --- | -------- | -------- | -------------------- | --------------- |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 |

La última columna muestra los valores de verdad de ambas expresiones. Podemos ver que ambas expresiones
tienen los mismos valores de verdad en todas las filas de la tabla. Por lo tanto, hemos demostrado que la
proposición dada es una equivalencia lógica, ya que ambas expresiones son siempre equivalentes,
independientemente de los valores de verdad de las proposiciones p, q y r.
14. Mostrar (por medio de tablas de verdad ) que la siguiente equivalencia lógica es cierta.

(p→q) ≡ (pꓥq')'
15 INCISO A)

INCISO B)