TEORA PROPOSICIONAL DE INFERENCIA: 1 parte UNIDAD II: Autoevaluacin. 2.1.1.0.

1 Seale entre las siguientes proposiciones aquellas que son propias de la Lgica. a) Juan es puntual. b) Juan es puntual? c) Juan es puntual! d) Juan no es puntual 2.1.2.1.1 DECLARATIVAS Y DESCRIPTIVAS NO LO SON: Interrogativas Exclamativas Imperativas.

Relacione las palabras de la izquierda con los ejemplos o definiciones en la lista de la derecha. 1. Disjuncin 2. Condicional 3. Proposicin atmica 4. Antecedente 5. Proposicin molecular 6. Negacin. C A B S A,C,D (RVS) a) P & Q T b) R en la proposicin S R c) R V S d) Cualquier proposicin con un trmino de enlace.

2.1.4.1.1

Simbolice completamente las proposiciones siguientes utilizando el smbolo lgico correspondiente para los trminos de enlace. Indique la proposicin atmica que corresponde a cada letra. 1. Luis ha venido demasiado tarde y Juan demasiado pronto. P&Q

2. O las bacterias en el agua se destruyen hirvindola o se destruyen por clorizacin. RVS. 3. La guerra no puede explicarse totalmente por una causa. 4. O x es igual a cero O x es mayor que cero. 2.1.5.1.1 T x=0Vx>0

Ponga los parntesis para que las proposiciones moleculares correspondan a la forma enunciada en el lado izquierdo, nicamente cuando sean necesarios. 1. Negacin 2. Conjuncin 3. Condicional 4. Disjuncin (R T) P & (Q R) x>y & y>zx>z P V (Q & R)

PRIORIDAD: 1 , 2 , 3 V&, 4. , el parntesis cambia la prioridad. 2.2.1.0.1 Qu relacin guarda la conclusin con las premisas en una inferencia lgica? De premisas verdaderas se obtiene slo conclusiones verdaderas. La conclusin es una consecuencia lgica de las premisas.
LGICA SIMBLICA Y SEMNTICA 1

2.2.2.1.1

(2.2.3.1.1) D una demostracin formal completa de cada uno de los razonamientos siguientes. 1. Demostrar: A 1) A V C 2) B 3) C B 4) C 5) A P P P TT 2,3 TP 1, 4 2. Demostrar: P & Q 1) R & T 2) R P 3) T Q 4) 5) 6) 7) 8) R T P Q P&Q P P P S1 S1 PP 2, 4 PP 3, 5 A 6, 7

3. Demostrar: P & (Q V R) 1) S V U 2) W V T R V Q 3) U P 4) T V W 5) S P 6) W V T 7) R V Q 8) Q V R 9) P V P 10) P 11) P & (Q V R) P P P P P CL 4 PP 2, 6 CL 7 DS 1, 3, 5 DP 9 A 8, 10

4. Demostrar: P Q 1) P R 2) R Q 3) P R 4) R Q 5) P Q P P LB 1 LB 2 HS 3, 4

6) Q R LB 2 7) R P LB 1 8) Q P HS 6, 7 9) (P Q) & (Q P) A 5, 8 10) P Q LB 9

5. Demostrar: ( x < y & x y ) 1) y > x y > z 2) y > x & y > 1 3) y > z x = y 4) y > x y > z 5) y > x 6) y > z 7) x = y 8) (x < y) V ( x = y) 9) (x < y) & (x y) P P P LB 1 S2 PP 4, 5 PP 3, 6 LA 7 DL 8

6) Demostrar: x = 0 1) x 0 x = y 2) x = y x = z 3) x z 4) x y 5) x = 0 P P P TT 2,3 TT 1, 4

LGICA SIMBLICA Y SEMNTICA

LGICA SIMBLICA Y SEMNTICA EXAMEN

1. a) Interrogativos

A ( II UNIDAD ) REAL SUA

Los objetos de estudio de la Lgica son los enunciados:

b) Exclamativos c) Imperativos

d) Declarativos y Descriptivos. 2. Relaciona la columna de la izquierda con la derecha Proposicin Atmica f Negacin a Condicional e Conjuncin c Disjuncin d Bicondicional b Proposicin Molecular a, b, c, d, e 3. Simbolizar las siguientes proposiciones. a) Areli es Ecatepense y es mexicana P&Q PVQ (P & Q R) a) (P Q) b) (P Q) (R S) c) P & Q d) P V (Q R) e) P V Q R f) x = 5

b) O no es futbolista o es beisbolista c)

No ocurre que si es estudiante y trabaja entonces es mayor de edad

d) Es mayor de edad si y slo si es mayor de 18 aos. P Q 4. Simbolizar las siguientes proposiciones poniendo parntesis NICAMENTE cuando sean necesarios. a) Condicional PVQ R (P V Q R) P V (Q R) P & (Q R)

b) Negacin c) Disjuncin

d) Conjuncin 5. I.

Dar una demostracin formal de cada uno de los razonamientos siguientes. DEMOSTRAR: U 1. 2. 3. 4. P & T ST SVQ QVPU SOLUCIN 5) T 6) S 7) Q 8) S U 9) Q U 10) U V U 11) U S1 TT 2, 5 TP 3, 6 DS 3 DS 3 DS 8, 9 DP 10

LGICA SIMBLICA Y SEMNTICA

II.

DEMOSTRAR: y = z V x 5 1. 2. 3. 4. 5. x=yx<z x=5x<z x=3x<z x<yx=y x=3Vx<y 6) x < z V x = y 7) x < z y = z 8) x = y x 5 9) y = z V x 5 DS 3, 4, 5 DS 6, 7 DS 6, 8 DS 6, 7, 8

III.

DEMOSTRAR: (T A) V G 1. 2. 3. 4. 5. P (Q R) (P S) (TA) (Q R) S P & (R G) (Q R) (A T) 6. P S 7. T A 8. P (A T) 9. P 10. A T 12. T A 13. ( T A) V G HS 1, 3 PP 2, 6 HS 1, 5 S4 PP 8, 9

11) (T A) & (A T) A 7, 10 LB 11 LA 10

IV. DEMOSTRAR: (x y & x = 1) 1. 2. 3. 4. x=yx<y y=0x<y x = 0 V xy = 0 y = 0 (x = y y = 0) x = 0 5. x = 0 x < y 6. (xy = 0 y = 0) x 1 7. x < y V x 1 8. (x < y & x = 1) DS 3 DS 3 DS 3, 5, 6 DL 7

LGICA SIMBLICA Y SEMNTICA