Вы находитесь на странице: 1из 2

PROF.

LUIS ALDO MONCADA IRRIBARREN


ESQUEMAS LGICOS
Al relacionar proposiciones simples a travs de conectivos lgicos obtenemos proposiciones compuestas, las
cuales aunadas a los signos de agrupacin forman los esquemas lgicos. Entre los principales tenemos: la conjuncin, la
disyuncin, la negacin, la condicional y la bicondicional. A cada esquema lgico le corresponde una tabla de verdad.
p q
Conjuncin
Disyuncin
Dbil
Disyuncin
Fuerte
Condicional Bicondicional
Negacin de
p
Negacin de
q
p . q p v q p A q p q p q ~p ~q

V V
V F
F V
F F

V
F
F
F
V
V
V
F
F
V
V
F
V
F
V
V
V
F
F
V
F
F
V
V
F
V
F
V
Ejemplo
1. Simbolizar
a) Juan es ingeniero, sin embargo cocina en casa
p: Juan es ingeniero
q: cocina en casa
b) Alberto viaja o pasea, pero no se queda en casa
p: Alberto viaja
q: Alberto pasea
r: Alberto se queda en casa
c) Yohana estudia y trabaja; por lo tanto, los fines de
semana sale de paseo
p: Yohana estudia
q: Yohana trabaja
r: Fin de semana sale de paseo
La tabla que permite mostrar el valor de verdad de
un esquema proposicional se llama TABLA DE
VERDAD
p q r (p . q) r
V V V V V V V V
V V F V V V F F
V F V V F F V V
V F F V F F V F
F V V F F V V V
F V F F F V V F
F F V F F F V V
F F F F F F V F

NO OLVIDAR: Cunado los resultados del
esquema lgico son:
Todos verdaderos, se denomina TAUTOLOGA
Todos falsos, se denomina CONTRADICCIN
Algunos verdaderos y falsos, se denomina
CONTINGENCIA O CONSISTENCIA.
2. Sea: p: 7 > 10
q: 8 + 14 = 22
Hallar el valor lgico de:
a) pero: p = F
q = V


b) d)



c)



3. Simboliza y resuelve
Algunos profesores son solteros y no tienen casa
propia, por lo tanto, gastan su plata en libros
Sol
p: Algunos profesores son solteros
q: Algunos profesores tienen casa propia
r: gastan en libros
(p . ~q) r

p q r (p . ~q) r
V V V V F F V V
V V F V F F V F
V F V V V V V V
V F F V V V F F
F V V F F F V V
F V F F F F V F
F F V F F V V V
F F F F F V V F

p v q
F v V
V
(~p . q)
V . V
V

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

(p . q) r
p . q
(p v q) . ~r
PROF. LUIS ALDO MONCADA IRRIBARREN
RESOLVER
1. Simbolizar
Los nios jugaron un partido de ftbol, pero no
ganaron. Luego, si no ganaron en el primer tiempo,
no ganaron el partido

2. Determinar el siguiente esquema posicional
~[(p . q) (p v ~q)

3. Simbolizar
a) X = -2, por consiguiente X
2
= 4
b) Si 6 es mltiplo de2 y 12 es mltiplo de 3, entonces
no es cierto que 3 es mltiplo de 2
c) Aprobar el examen y me ir a una fiesta o no
aprobar y me castigarn.
d) Las rectas A y B son perpendiculares, en
consecuencia las rectas A y B se cruzan.

4. Lee las proposiciones
p: Juan es cantante
q: Juan es escritor
r: Juan viaja por el mundo
Qu representa (p . q) r?

5. Simboliza
Si Pedro no trabaja podr estudiar; si esto sucede,
su hermano debe trabajar, por lo tanto, deja el
estudio

6. Si las siguientes frmulas lgicas:
(~q r) y (p q), son falsas, establecer
el valor de verdad de los siguientes esquema:
a) p ~(q v r)
b) (p r) v (q r)
c) ~[(p v r) (q . r)

7. Esquematiza
Si estudio en la maana, entonces duermo muy
temprano. Estudio en la maana o no voy a la
playa en la tarde. Voy a la playa en la tarde, por lo
tanto, duermo temprano

8. Sea: p: 7
x
3 = 20 y q: 4
2
+ 3
0
= 17
Determinar el valor lgico de:
[(~p v q) ~(q . p)]

9. Si la siguiente proposicin: ~[(p A q) (~q v r)]
es verdadera. Determinar el valor de verdad de:
a) (p ~q)
b) (~r p) . q
c) (~p v r) q

10. Si: (p . q) es falso y (q r) es falso, hallar el
valor de verdad
a) [(p r) . q] (r v q)
b) (p q) v (r p)
c) [(p . r) v q] (r q)

11. Para los conjuntos: M = {1;3;4} y N = {1;3;-2;-5;4},
las afirmaciones son las siguientes
p: 3 e M
q: 7 e N
r: 1 e (M N)
s: -4 e M
t: -5 e (M N)
Determinar el valor de:
a) p q c) q . ~s
b) t (s . ~r) d) (r v q) p

12. Evaluar el siguiente esquema
(~p . q) (~p v q)

13. Evaluar los siguientes esquemas
a) [~(p q) . r] [~q v ~r]
b) ~[~(p . ~q) (~r ~q)
c) ~(~p q) (p v ~q)

14. Simbolizar y evaluar el enunciado
Peter ser campen si se prepara bien, pero Peter
no se prepara bien, por consiguiente Peter no ser
campen

15. Si: (~q ~r) v p es falsa. Hallar los valores de
verdad de p, q, r.

16. Evaluar el siguiente esquema
[(~p v r) ~q] [~p v ~(~q . r)

17. Se conoce que:
(~q ~r) (~p v r) es falsa. Hallar el valor
de: (p v ~r) (q . ~p)

18. Evaluar
[(p A ~q) ~r] [~p v (r q)]