UNIVERSIDAD DE ANTIOQUIA.

INSTITUTO DE MATEMATICAS

TALLER #1. LOGICA

MATEMATICA
(CNM-180).

CALCULO
PROPOSICIONAL. (SEMANTICA
Y SINTAXIS)
Se dice que A implica l
ogicamente a B si y solo si toda asignacion de valores de
verdad de las letras de A y B que haga verdadera a A tambien hace verdadera
a B.
Dos formas sentenciales A y B se llaman logicamente equivalentes si y solo
si A y B reciben los mismos valores de verdad bajo toda asignacion de valores
de verdad a las letras sentenciales de A y B.
1. Determine si los siguientes pares de formas sentenciales son logicamente
equivalentes.
(a) ((A B) A) y A
(b) (A B) y (A B) (B A)
(c) (eA B) y (eB A)
(d) (e (A B)) y ((A eB))
(e) (A ((B C))) y ((A B) (A C))
(f ) (A (B C)) y (A B) (A C)
(g) (A (B C)) y (A B) (A C)
2. Determine si las siguientes formas sentenciales son tautologias.
(a) (((A B) B) B)
(f ) (A (B (B A)))
(b) (((A B) B) A)
(g) (A B) (A C)
(c) (((A B) A) A)
(h) (A B) (A (B A))
(d) (((B C) (A B)) (A B)) (i) (A B) (B A)
(e) (A (e (B C))) ((A C) B)
(j) ((e (A B)) A)
3. Probar que B es l
ogicamente equivalente a C si y solo si B implica logicamentea C y C implica logicamente a B.

4. Probar que.B y C son logicamente equivalentes si y solo si en sus tablas

de verdad las columnas bajo B y C son las mismas.
5. Probar que B y C son logicamente equivalentes si y solo si eB y eC son
l
ogicamente equivalentes.
6. Cual de las siguientes formas sentenciales son logicamente implicadas por
(A B)?
(a) A
(d) (eA B)
(b) B
(e) (eB A)
(c) (A B) (f ) (A B)

(g) (A B)
(h) (eB eA)
(i) (AeB)

7. Repita el ejercicio anterior reemplazando A B por (A B), e (A B),

(A B), (A B) y e (A B) respectivamente.
8. Si A y B son ciertas y C es falsa, cual es el valor de verdad de las siguientes
formas sentenciales.
(a) A C
(e) (BeC) A
(b) A C
(f ) (B A) (B eC)
(c) eAeC
(g) (B eA) (A C)
(d) A (eB C) (h) (B A) ((A eC) (eC B))
9. Si (A B).es cierta que se puede deducir de las siguientes formas sentenciales
(a) (A C) (B C)
(b) (A C) (B C)
(c) (eA B) (A B)
10. Si .A B es falsa que se puede deducir acerca del valor de verdad de las
siguientes formas sentenciales:
(a) (A B)
(b) (A B)
(c) (A B)
(d) (A C) (B C)
11. Repita el ejercicio anterior asumiendo que A B es cierta..
12. Muestre la equivalencia logica de los siguientes pares
(a) (T B) y B (sabiendo que T es tautologia)
(b) (T B) y T (sabiendo que T es tautologia)
(c) (T B) y T (sabiendo que T es contradiccion)
(d) (T B) y B (sabiendo que T es contradiccion)

13. Si B es una forma sentencial que involucra unicamente los conectivos e,

, y, y B0 resulta de B reemplazando cada . por y cada por ,
probar que B es tautologia si y solo si eB0 es tautologia. Probar tambien
que si B C es tautologia, entonces C0 B0 tambien es tautologia y que
si B C es tautologia, entonces B0 C0 tambien es tautologia.
14. Probar que las sustituciones de letras sentenciales en una tautologia, por
formas sentenciales conduce a una tautologia. Es decir, si T es tautologia
que contiene las letras sentenciales A1 , A2 , ...An .y B surge de T sustituyendo las las letras A1 , A2 , ...An por las formas sentenciales L1 , L2 , ..., Ln
respectivamente, entonces B es tautologia.
15. Sea L una teora formal y , conjuntos de FBF de L, sea A una FBF
de L, probar que si y ` A entonces ` A.
16. Sea L una teora formal y , conjuntos de FBF de L, sea A una FBF
de L, probar que ` A si y solo si hay un subconjunto finito tal
que ` A.
17. Sea L una teora formal y , conjuntos de FBF de L, sea A una FBF
de L, probar que si ` A y para cada B en , ` B entonces ` A
18. Probar los siguintes resultados en la teora L.
(a) (B C) ` (D B D C)
(b) ` (B C) ((D B) (D C))
(c) `eB (B C)
(d) (C B) , (eC B) ` B
19. Probar los siguientes resultados en la teora L.
(a) `eeB B y ` B eeB
(b) ` (B C) (eC eB) y ` (eC eB) (B C)
(c) ` (B B) B y ` B (B B)
(d) ` (B C) (C B)
(e) ` (B C) D B (C D) y` B (C D) (B C) D
(f ) ` (B C) D B (C D) y ` B (C D) (B C) D
(g) ` B (C D) (B C) (B D) y ` (B C) (B D) B (C D)
(h) ` B (C D) (B C) (B D) y ` (B C) (B D) B (C D)
20. Probar en la teoria L que si ` B entonces B es tautologia.
21. sea L una teora y sea C una forma sentencial, sea L0 la teora obtenida
adjuntando C a los axiomas de L, entonces, para cualquier forma sentencial
B, se da que C `L B si y solo si `L0 B.

22. Sea B una forma sentencial que no es tautologia. Sea L1 la teoria formal
obtenida de L a
nadiendo como nuevos axiomas todas las formas sentenciales obtenidos de B sustituyendo formas sentenciales arbitrarias por las
letras sentenciales de B, tal que la misma forma sustituye a todas las
ocurrencias de una letra sentencial. Probar que L1 es inconsistente.