TALLER 1 LÓGICA

A. Señalar cuál de los siguientes ejemplos está escrito correctamente en lenguaje

de la lógica proposicional (LP), de ser correcto realizar las tablas de verdad para
comprobar si son una tautológica, contradicción, indeterminación:
1. [(H^G)^(T v ¬P)]
2. (K^D) v ¬(J)
3. H¬(L^T v W)
4. G^(N←→(X v A))
5. ¬¬¬N
6. [H→L]→(L→D)
7. (→H^K) v (¬K)
8. ¬W→(Q v L)
9. ¬F¬Z
10. O¬ (^H(J→O¬(R v H)))

B. Escriba argumentos deductivos con las siguientes características:

1. Un argumento válido con una premisa verdadera, una premisa falsa y
conclusión verdadera
2. Un argumento Inválido con una premisa verdadera, premisa falsa y una
conclusión verdadera
3. Un argumento inválido con dos premisas verdaderas y una conclusión falsa.

C. Simbolizar en lenguaje lógico (LP):

1. El pregunta por su silla y por su hacha.
2. Luis es un buen apostador o es muy suertudo.
3. Si Matías es un buen jugador, entonces participará en el partido del colegio.
4. Muchos estudiantes cursan la materia Lógica en el primer año de carrera
5. Se puede encontrar a oro en las montañas Incas.
6. x+y>6.
7. Mucha gente cree que los polos se están derritiendo. Pero los polos se están
derritiendo si y sólo si la temperatura del planeta está aumentando.
8. Niegan que no es cierto que, Londres no es la capital de Inglaterra y Roma es
la capital de España, y, no es cierto que, Roma es la capital de España ni
Roma es la capital de España.

D. Traduzca las siguientes formulas de LP al lenguaje ordinario:

U (universo): niños de un aula de clases.
A: Carolina baila en la calle. B: Brian está bailando en la calle.
C: Lizeth baila en la calle. X: Juancho baila en la calle.
Y: Milena baila en la calle. Z: Sandra baila en la calle.
Nota: las negaciones a veces aparecen con este símbolo ¬ y otras veces con este ~.

1. A v B 2. ¬B v X 3. ¬Y C 4. Z v X 5. (A  X) v (B  Y)
6. (BC) v (YZ) 7. ¬(A B) v (X Y) 8. (X Y) v (BC)

9. (XY) (XZ)

10. ¬ (A v Y  (B v X) 11. ¬X Z)  ¬X  Z) 12. ¬ (A v C) v ¬ (X  ¬Y)

13. ¬A  B) v ¬ (B  A)] 14. ¬ {¬ [(B ¬C) v ( Y ¬Z)]  [(¬Bv X) v (B ¬Y)]}

D. Utilizar las reglas para demostrar:

A. Demostrar S^Q
(1) P v t
(2) ¬T
(3) P→Q^S
B. Demostrar ¬(R^¬T)
(1) (R^¬T)→¬S
(2) P→S
(3) P ^ Q
C. Demostrar ¬Q^P
(1) T→P^¬Q
(2) T v ¬R
(3) R
D. Demostrar ¬P
(1) R→T
(2) S→Q
(3) T v Q→¬P
(4) R v S
E. Demostrar T
(1) P v ~R
(2) ~S
(3) P→S
(4) ~R→T