LGICA PROPOSICIONAL

ENUNCIADO: Es cualquier frase u oracin que expresa

una idea.
PROPOSICIN : Son oraciones aseverativas que se
pueden calificar como verdaderas o falsas. Se
representan con las letras minsculas del abecedario: p ;
q ; r; s.

F V
V
F F
F
3.
Disminucin Exclusiva. Vincula dos
proposiciones mediante el conectivo lgico:
o., o
Tabla de verdad

ENUNCIADO ABIERTO : Son enunciados que pueden

tomar cualquiera de los 2 valores verdad.
CLASES DE PROPOSICIONES:
1. Proposicin Simple: Son proposiciones que no
tienen conjunciones gramaticales adverbio de
negacin.
2.

4.

Proposicin Compuesta: Formada dos o ms

proposiciones simples u por conectivos lgicos o por
el adverbio negacin.

CONECTIVOS LGICOS : Smbolos que enlazan dos

o ms proposiciones simples para formar una
proposicin compuesta.
Los conectores lgicos que usaremos son :
OPERACIN
SMBOLO
SIGNIFICADO
LGICA
~
Negacin
No p
Conjuncin
p
yq

Disyuncin
poq

Condicional

Si p; entonces q

Bicondicional

p si y slo si q

Disyuncin
Exclusiva

"o........ o........

OBS.- La negacin es un conector mondico, afecta

solamente a una proposicin.
OPERACIONES LGICAS Y TABLAS DE VERDAD
1.

Conjuncin. Vincula dos proposiciones

mediante el conectivo lgico "y".
Tabla, de Verdad
p
V
V
F
F

2.

q
V
F
V
F

q
V
F
F
F

Condicional : Vincula dos proposiciones

mediante el conectivo lgico o.
Tabla de Verdad
p
V
V

q
V
F

5.

q
V
V

6.

V
V
F
F

V
F
V
F

p
q
F
V
V
F

Condicional : Vincula dos proposiciones

mediante el conectivo lgico: Si ............,
entonces ..............
Tabla de verdad
p

V
V
F
F

V
F
V
F

P
q
V
F
V
V

Bicondicional : Vincula dos proposiciones

mediante el conectivo lgico: "....... si y slo si .......
Tabla de Verdad
p

V
V
F
F

V
F
V
F

P
q
V
F
F
V

Negacin: Afecta a una sola proposicin. Es

un operador mondico que cambia el valor de
verdad de una proposicin :
Tabla de verdad
p ~p
V
F

F
V

OBSERVACIN: La cantidad de filas en una tabla es :

# filas = 2n .
Donde n es la cantidad de proposiciones simples.
IMPORTANTE:

Cuando los valores de operador principal son

todos verdaderos se dice que el esquema
molecular es tautolgico.

Se dir que el esquema molecular es

contradictorio si los valores de operador principal
son todos falsos

Si los valores de operador principal tiene por

lo menos una verdad v una falsedad se dice que es
contingente o consistente.
LEYES DE LGEBRA PROPOSICIONAL
Principales Leyes:
a. Ley de Idempotencia:
p p p
p
p p

b. Ley Conmutativa:
p q q p
p
q q p

2. Circuito Paralelo : Dos interruptores conectados en

paralelo representan una disyuncin.
p

< > p q

d. Ley Distributiva:
p (q r) (p q) (p r)
p
(q r) (p q)
(p r)

h. Ley del Condicional

pq
~p
q

1.

j. Ley de Absorcin:
p
(p q) p
p (p q)
p
p (~p q)
p q
P (~p q)
pq

2.

3.

CUANTIFICADORES:
1. Cuantificador Universal :.
se lee : "Para todo"
2.

~p

Compuerta NOR de dos entradas

p
~(pq)
q
EJERCICIOS PROPUESTO
Seala la expresin equivalente
proposicin:
(p ~p)
(~q ~p)
a) qp
b) pq
c) (pq)p
d) p(pq)
e) (qp)~p

4.

la

Si la proposicin: (~pq ~r) es falta. Hallar

el valor de verdad de p; q y r en ese orden.
a) VVF
b) FFF c) FFV d) FVF e) VFV
Si p es una proposicin falsa, determina el
valor de verdad de la expresin:
{(pq) [~q p]}(r p q)
a) Verdadero
b) Falso
c) Verdadero o falso
d) Verdadero slo si q es verdadero
e) Falso slo si r es falso.
Simbolizar:

k. Leyes de "De Morgan" :

~ (p q)
~p
~q
~ (p q)
~p ~q

Compuerta NOT

i. Ley de la Bicondicionai:
pq
(pq) (qp)
pq
(p q)
(~p ~q)
pq
~(p q)

pq

Compuerta NAND de dos entradas

p
~(pq)
q

f. Leyes de Identidad:
p
V
V;p F
p
p Vp
p ; pF F
g. Leyes del Complemento:
p ~p V
p ~p F

Compuerta AND de dos entradas.

p
pq
q
Compuerta OR de dos entradas

e. Ley de la Doble Negacin:

~(~p)
p

p
q

CIRCUITOS LGICOS
1. Circuito Serie : Dos interruptores conectados en serie
representan una conjuncin.
p q < > p
q

LGICA BINARIA
PRINCIPALES COMPUERTAS LGICAS

c. Ley Asociativa:
(p q) r p (q r)
(p q)
r p
(q r)

Se lee: Existe algn

~ p ~
q

Cuantificador existencial:.
q

Si la proposicin que se obtiene es falsa.

Cules son los valores de p y q
respectivamente?
a) VV
b) VF
c) FV
d) FF
e) No se puede precisar
5.

Simplificar a su mnima expresin:

(pq) [(9 ~q) (p q)]
a) p
b) q
c) p q d) p q

e) pq

6.

Determina el valor de verdad de cada una de

las siguientes proposiciones:
I.
Si:3 + 1 = 7, entonces: 4 + 4 = 8
II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4
= 10
III. Madrid esta en Espaa o Londres est en
Francia
a) VFV b) VVV c) VFF d) FVF e) FFF
7.
Indicar el valor de verdad de:
I. p (p q)
II. (p q)(pq)
III. ~[(p q)p]
a) VVV
b) VFV c) VVF d) FVF e) FVV
8.
Si: (p ~q)r; es falsa, determinar los
valores de verdad de p, q y r.
a) VVF
b) VFF c) VVV d) VFV e) FFF
9.
Qu proposicin es: Es el caso que eres
postulante si te preparas en la academia?
a) Conjuntiva
b) Disyuntiva
c) Bicondicional.
d) Condicional
e) Negativa.
10.
El fiscal de la Nacin ejercer sus funciones
salvo que no jure
La proposicin anterior es:
a) Conjuntiva
b) Bicondicional
c) Disyuntiva
d) Condicional
e) Negativa
11.
Si la proposicin: p (r s)
Es
falsa,
Cuntas
de
las
siguientes
proposiciones son verdaderas?
I.
(~s t)
~p
II. rp
III. t~r
IV. (rp) (sr)
a) Ninguna b) Una c) Dos d)Tres e) Cuatro

12.

Hallar la proposicin equivalente al circuito

p

lgico:

~
q

~p

a) p b) p

~q

c) p

d) ~p

e) p

~q

13.

Cuntas de las siguientes expresiones son

proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero
marino.
a) 1
b) 2
c) 3
d) 4
e) 5
14.
Dadas las siguientes expresiones
* Si en el curso de Lgica hay 415 alumnos,
entonces por lo menos 50 estudiantes celebran
el mismo da su cumpleaos.
* Si eres vida, Por qu me das la muerte? si eres
muerte, Por qu me das la vida?
* Marcos corre tras el xito, es un hombre prctico,
y reside en un piso cntrico regando flores de
plstico y pendiente del telfono.
* La feria del Seor de los Milagros en homenaje
al sesquicentenario de las batallas de Junn y
Ayacucho.
* El principito no poda comprender a las personas
adultas.
* Justo y Jos se odian a muerte. Cuntas
son proposiciones simples?
a) 0
b) 1 c) 2 d) 3
e) 4
15.

El equivalente de la proposicin :
"Hay que pagar 231 soles y ser accionistas para
ingresar al club", es :
a) No ingresar al club o pagar 231 soles y
ser
accionista.
b) Pagar 231 soles o ser accionista y no ingresar al
club:
c) Pagar 231 soles y no ser accionista, y entrar al
club.
d)
Pagar 231 soles y ser accionista, o no ingresar
al club.
e) No es cierto que se pague 231 soles y ser
accionista, o ingrese al club.
16.
Simbolizar :
"Si en Marte no hay agua, entonces no hay vida; en
consecuencia, no hay marcianos ni platillos
voladores"
a) ~p [~q (~ r ~s)]
b) (~P q) (~r ~s)
c) (~p q) (~r ~s)
d) ~q [~q (~ r ~s)]
e) (~p ~q) (~ r ~s)
17.
El equivalente de la proposicin :
"Hay que pagar 100 soles y ser socio para ingresar
al teatro" es :
a) No ingresar al teatro o pagar 100 soles, y ser
socio.
b) Pagar 100 soles o ser socio, y no ingresar al
teatro.
c) Pagar 100 soles y ser socio, o no ingresar al
teatro.
d) Pagar 100 soles y no ser socio, y entrar al teatro.

e) No es cierto que se pague 100 soles y sea socio,

o ingrese al teatro.
18. Si la siguiente proposicin :
[(q ~ P) ~ q] v (r s)
es falsa, dar el valor veritativo de :
I. [p ~q) v (s r)] (r v p)
II. [r v q) ~ s] v (w r)
a) VV. b) VF. c) FV d) FF e) Depende de w.

19. Simplificar: M= [(~p v q (~q v p)]

(p q)
a) q
b) p
c) ~p d) ~q e) ~q v q
20. Decir cual o cuales son verdaderas, si se define:
p q
p ~q ; p q
~p v q

I.
II.
III.

p ~q
v ~ (P ~q)
~ (p q) v (p q)
pq
~p q ~(~p q)

a) Solo I

b) Solo II

d) Iy III

e) Todas

c) I y II