BLOQUE N 01

1. De los enunciados siguientes: (1) Hola que tal! (2) x + 1 < 10 (3) 2 + 5 > 6 a) 3 son enunciados abiertos b) 2 son proposiciones
2

(4) Todos los hombres son inmortales (5) Scrates naci en Atenas (6) x + 5 8 c) 3 no son proposiciones d) 4 son proposiciones

Cul de las alternativas siguientes es correcta:

2. Si p: "Carlos vendr", q: "Carlos ha recibido la carta" y r:"Carlos est interesado todava en el asunto". Simbolizar los siguientes enunciados: a) "Carlos vendr, si ha recibido la carta, siempre que est interesado todava en el asunto".

b)

"O Carlos vendr porque ha recibido la carta o no est interesado 'todava en el asunto".

c) "Carlos vendr si y slo si ha recibido la carta o vendr porque est interesado todava en el asunto".

3. Determinar los valores de verdad de las siguientes proposiciones:

(1) (3 + 5 = 8) (5 3 = 4)

(2) (5 3 = 8) (1 7 = 6)

(3) (3 + 8 = 11) (7 4 > 1)

4) (4 + 6 = 9) (5 2 = 4)

4. ~ [(~ p q) (r q)] [(~ p q) (q ~p)], es verdadera. Hallar los

valores de verdad de p, q y r. Desarrollando obtenemos

= [~ (~ p q) ~ (r q)] [(~ p q) (q ~p)] = [ ( p ~ q) (~ q ~ r)] [(~ p q) (q ~p)] Tomamos por bloques =V (~ q ~ r) = V V ~ r = V ~r=V :. r = F

1.- [ ( p ~ q) (~ q ~ r)] = V 2.- [(~ p q) (q ~p)]

Tomamos por sub bloques el bloque 1 V V= V

( p ~ q) = V p=V ~ q =V :. q = F

Demostramos en el bloque 2 =V =V ] = V si cumple la demostracin.

[(~ p q) (q ~p)] [(F F) (F F)] [ F

5. De la falsedad de (p ~q) (~r ~s), se deduce que el valor de verdad de los esquemas: A= ~(~q ~s) ~p ; B = ~(~r s) (~p ~q) y C =
p ~ [q ~ (s r) ], son respectivamente:

a) FFV

b) FFF

c) FVF

d) FVV

Deduciendo la falsedad obtendremos (p ~q) (~r ~s) = F Entonces : (p ~q) = F (V F)=F p= V ~q = F :. q = V (~r ~s)= F ( V F )= F

6. Se sabe que p q y q t son falsas. De los esquemas moleculares

siguientes, cuales son verdaderos: A= (~p t) ~q ; B = ~ [(p (~q ~p)]; C = [(p q) ~ (q t) ] [ ~p (q ~t)]

7. La proposicin

(p q) (q r) es falsa, y se tienen los esquemas

moleculares: A= ~(q r) (p q), B = (p ~q) (~r q) y C= [( p q)

(q ~r)] (p ~r). Cuales son falsos. 8. Si la proposicin A= (p ~q) (r ~s) es falsa, hallar el valor de verdad
de las proposiciones q, p, r, s. (en este orden).

BLOQUE N 02 En los ejercicios del 1 al 12 establecer, por medio de una tabla de valores, si cada uno de los "siguientes esquemas moleculares es contingente, tautolgico o contradictorio.

1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

~[~ p ~ (~ q ~p)] ~(~ p ~q) [( p ~q) ~p] ~(~q p) ~( p q) ~ (~q ~p) [p (q r)] ~ [(p ~r) ~q] [( p ~q) (~p r)] (p ~q) [ p (q ~r)] [(~p r) ~q] [(~p q) ~r] [r ~ (p ~q)] ~{(p q) [p (~p q)]} (p ~q) [p (~q p)] ~[(p ~q) (q ~p)] [~p (q ~r)] [(~p q) ~(p r)]

11. 12.
13.

[(p ~q) ~(r q)] ~[(p ~q) (q r)] {[(~p r) q] [ ~q (p r)]} {(p q) (q ~r)} Afirmamos que: A: "Hoy es lunes pero no martes, entonces hoy no es feriado" "Hoy es feriado, entonces no es verdad que hoy es lunes y no es martes". B: "Hoy es lunes o martes, si y slo si, hoy no es lunes" "Hoy no es lunes y hoy es martes". C: "Hoy es feriado y no es martes, entonces hoy es martes" "Hoy no es martes" entonces hoy es feriado". Cules son verdaderas?

14.

(1) Es necesario y suficiente que p y q sean falsos para que:

BLOQUE N 03 Demostrar, por la tabla de valores o por el mtodo abreviado, si los esquemas representan o no reglas de inferencia vlidas.

p (~ q) 1. p (~ q ) ~q pq 2. q p pq

p q rq 5. ~r q p q qr 6. r s ps

q p q (r s) 8. ~ (~ q ~ s) r ( s p) p~q r~ p 9. s p p (q ~ r )

( p q ) (r s ) 3. p r q s pq 4. ~ q ~ r pr

q (~ p r ) rs 7. ~ pr q r

p ~q ~ ps 10. rs p (r ~ q)

Traducir a forma simblica y comprobar la validez de los siguientes enunciados: 11. Si trabajo, no puedo estudiar. Estudio o paso matemticas, pero trabaj Por tanto, pas matemticas. 12. Si el mnibus sufri desperfectos en el camino entonces Patricia llegar tarde a la Universidad. Pero, Patricia no llegar tarde a la Universidad. Por tanto, si el mnibus sufri desperfectos en el camino entonces Patricia viaj en taxi. 13. Si 6 es par entonces 2 no divide a 7. 5 no es primo 2 divide a 7. Por tanto 6 es impar. 14. En el cumpleaos de mi esposa le llevar flores. Es el cumpleaos de mi esposa o trabajo hasta tarde, pero hoy no le llev flores a mi esposa. Por tanto, hoy trabaj hasta tarde.

BLOQUE N 04

1. "Sean: p = "Juan estudia ingls", q = "Pedro est en casa". Simplificar y expresar oralmente la proposicin: P = ~ [ ~ ( p ~ q) p ] q
2. Determinar el equivalente a la afirmacin: "x. no es divisor de 3 es condicin necesaria para que x sea primo y no sea mayor que 4". 3. Determinar los esquemas ms simples equivalentes a las proposiciones: a) ~[~ (p q) ~q] p b) [(p q) ~p] (~q p) c) [(p q) (p ~q)] (~p ~q) d) (p ~r) [~q ~(p r) ] e) [(~q ~p) (~p ~q)] ~ (p q) f) ~{[(~p ~q) (p (~p q))] ~(p q)} g) ~{~ [~(~p q) ~q] [~(p ~q)] }

4. Simplificar la proposicin: g {[ ( ~ p ~ q ) p q ] [ ( p q ) (~ p ~ q) p ] } (~ q)
5. Usando equivalencias lgicas simplificar:

[ ~ (~

p ~ q ) ~ ( p q )] [ p (~ p q r )]