ISEP NUESTRA SEORA DE CHOTA Prof.

Jos Lidonil Daz Zorrilla

LGICA PROPOSICIONAL

INTRODUCCIN EN EL LENGUAJE COMN SMBOLO

No es cierto que ~
La lgica es, probablemente, una
de las ciencias de mayor importancia y
para la civilizacin humana. El
desarrollo que ha alcanzado en este o
ltimo siglo y principalmente estas Si entonces
ltimas dcadas, la ha convertido en
el imprescindible referente del si y slo si
desarrollo cientfico y tecnolgico del
mundo contemporneo. 2. Proposicin Compuesta o Molecular.- Es aquella
proposicin que expresa ms de una idea o la negacin
LGICA PROPOSICIONAL de una proposicin.
Parte de la lgica que tiene por objeto de estudio la Ejemplos:
proposicin y la relacin entre ellas, as como las
- Miguel Grau fue marino y peruano.
variables proposicionales y conectivos lgicos.
- La carpeta es de madera o metal.
ENUNCIADO.- Es toda frase u oracin que se utiliza en
- No es cierto que Chota es un departamento.
el lenguaje comn, por ejemplo:
NOTA: Los valores de verdad de una o ms
Ejemplos: proposiciones se pueden esquematizar por medio
Chota es una provincia cajamarquina de una tabla de verdad como:
Lima es la capital del Per Para una Para tres
El doble de 3 es 5 proposicin proposiciones
Qu hora es?
Auxilio! p p q r
Viva el ISEP NSCH
V V V V
x+2=7
ENUNCIADO CERRARDO O PROPOSICIN LGICA.- F V V F
Es toda expresin coherente que se caracteriza por el
V F V
hecho de poseer un valor de verdad o veritativo es decir Para dos
si es verdadera (V) o falsa (F) sin ambigedad en un proposiciones V F F
determinado contexto.
F V V
p q
Generalmente las proposiciones se denotan con
letras minsculas, como: p, q, r, s,: por ejemplo: F V F
V V
p: Lima es la capital del Per (V) F F V
V F
q: El doble de 3 es 5 (F)
F F F
F V
NOTA: Los mandatos, preguntas,
exclamaciones, no son proposiciones lgicas, F F
ya que no se pueden calificar de verdaderas
o falsas.
Ejemplos: Qu hora es? PROPOSICIONES COMPUESTAS BSICAS
Auxilio! 1. Negacin (~)
Ejemplo:
ENUNCIADO ABIERTO.- Es aquel enunciado que admite
No es cierto que el sol es un planeta
la posibilidad de convertirse en una proposicin lgica, ~ p
cuando cada variable asume un valor determinado.
Ejemplos: p ~p
x+2=7 V F
F V
Si: x = 5 5+2=7 (V)
Si: x = 3 3+27 (F) 2. Conjuncin ( )
CLASES DE PROPOSICIONES Ejemplo:
Miguel Grau fue peruano y Pablo Neruda chileno
1. Proposicin Simple o Atmica.- Es aquella p q
proposicin que nos expresa una sola idea.
Se observa que una conjuncin
Ejemplo: p q pq es verdadera solo si sus
componentes son verdaderos, en
p: El acero es un metal V V V
otros casos ser falsa. Las
V F F palabras sin embargo, adems,
q: 52 = 25
F V F no obstante, pero, aunque, no
NOTA: Se llaman conectivos lgicos a las obstante, tambin, as como,
F F F
palabras que sirven para enlazar proposiciones o
cambiar el valor veritativo de una proposicin. a la vez, tal como, tanto como, al igual que, incluso, as
mismo, etc., equivalen al conectivo ( ).

Lderes en la Formacin Docente Camino a la Acreditacin!

 ISEP NUESTRA SEORA DE CHOTA Prof. Jos Lidonil Daz Zorrilla

Ejemplo:
3. Disyuncin ( )
a. Inclusiva (dbil) (p ~ q) q
1
Ejemplo:
Lorena Ramos es modelo o cantante
(~ p q) (q r)
P q Ejemplo:
Halle la tabla de verdad de: (p V ~ q) q
pq Se observa que la disyuncin

P q
inclusiva es falsa solo si sus p q (p ~ q) q
V V V componentes son falsos, en
V V V V F V V
V F V caso contrario es verdadera.
F V V Las palabras o, u, salvo, a menos V F V V V F F
que, excepto, equivalen al F V F F F V V
conectivo ( ).
F F F
F F F V V F F
b. Exclusiva (fuerte)
Ejemplo:
La puerta est abierta o cerrada JERARQUA DE LOS SIGNOS DE PUNTUACIN
p q
Coma Menor jerarqua
P q Se observa que la disyuncin
pq exclusiva es verdadera solo si Punto y coma
V V F sus componentes tienen Punto
V F V valores veritativos opuestos,
en caso contrario ser falsa. Dos signos de puntuacin: mayor jerarqua
F V V
Las palabras o o , Ejemplo: Formalizar la expresin: Si recibi su pago
F F F equivalen al conectivo ().
entonces comprar su TV, pero no recibi su pago y se
4. Condicional ( ) fue triste
Ejemplo: p: Recibi su pago
Si llueve entonces la produccin es buena q: Compra su TV
p q
r: Se fue triste
p: Antecedente (p q) (~ p r)
q: Consecuente

p q pq Se observa que la condicional TIPOS DE PROPOSICIONES

es falsa solo si su antecedente
V V V
es verdadero y su consecuente 1. TAUTOLOGA.- Un esquema proposicional
V F F falso, en caso contrario es es una tautologa si al evaluar todas las
F V V verdadera. Las expresiones:
F F V
posibles ordenaciones de los valores
veritativos de las variables proposicionales
Si p entonces q p de ah que q
que la componen siempre resulta
verdadero.
p implica q p de modo que q
Ejemplo: Halle la tabla de verdad de:
p por lo tanto q p deviene q [(~ p q) ~ q] ~ p
p conclusin q dado p por eso q 2. Contradiccin.- Es una contradiccin si al evaluar
p luego q cuando p a si pues q todas las ordenaciones de los valores veritativos de
las variables proposicionales que la componen
p por consiguiente q de p derivamos q resulta falso.
Son equivalentes a ( pq) Ejemplo: Halle la tabla de verdad de:
[(p q) q] ~ q
5. Bicondicional ( )
3. Contingencia.- Un esquema proposicional es una
Ejemplo:
Ir a la fiesta si y solo si tengo ropa nueva contingencia si su tabla de verdad contiene al menos
p q un verdadero y al menos un falso.
Ejemplo: Halle la tabla de verdad de:
P q pq
Se observa que la (p q) p
V V V bicondicional es verdadera
V F F solo si los valores de EQUIVALENCIA LGICA
verdad de sus Se llama equivalencia lgica a toda bicondicional
F V F
componentes son iguales,
F F V (p q) que sea una tautologa, denotndose en tal
en caso contrario es falsa.
Sus formas gramaticales son: si y solo si, solamente caso: (p q)
si, cuando y solo cuando; entonces y solo entonces; Por ejemplo: [p (p q)] p
es idntico, cada vez que y solo si,, etc., son
equivalentes a ( p q ).
ESQUEMAS PROPOSICIONALES LGICAMENTE
EQUIVALENTES
ESQUEMAS PROPOSICIONALES
Generalmente las proposiciones estarn formadas Dos esquemas proposicionales se llaman
por varias proposiciones simples generando un esquema equivalentes () si sus tablas de verdad son
proposicional. idnticas:

Lderes en la Formacin Docente Camino a la Acreditacin!

2
 ISEP NUESTRA SEORA DE CHOTA Prof. Jos Lidonil Daz Zorrilla

Determine si: A: (p q) 4. Determine la matriz principal de la siguiente

B: [~p v q] proposicin: (p q) (r p)
son equivalentes A) Contingencia B) Contradiccin C) Tautologa
5. Determine la matriz principal de la siguiente
LEYES DEL LGEBRA PROPOSICIONAL proposicin: [(p q) ~ q ] ~ p
1. Idempotencia
A) Contingencia B) Contradiccin C) Tautologa
p V p p
6. Determine la matriz principal de la siguiente
p p p proposicin: [(p q) q] ~ p
2. Asociativa A) Consistente B) Contradiccin C) Tautologa
p V (q V r) (p V q) V r 7. Determine la matriz principal de la siguiente
p (q r) (p q) r proposicin: (p q) ~ (p q)
3. Conmutativa A) Consistente B) Contradiccin C) Tautologa
p V q q V p 8. Si p, q, r, s, t, w son proposiciones lgicas tales que
p q q p (p ~ r) (s w) es verdadera y (~ w ~ s) es
4. Distributiva falsa. Entonces determine el valor de verdad de las
siguientes proposiciones: A) VVF
p V (q r) (p V q) (p V r)
p (q V r) (p q) V (p r) I) ~ p (q t) B) FVV
C) VVV
5. De DMorgan II) (r ~ s) (q t) D) FVF
~ (p V q) ~p ~q III) (w q) (p ~ t) E) VFV
~ (p q) ~ p V ~q 9. Si (p r) (~ p q) es falsa, entonces indique el
6. Absorcin valor de verdad de las siguientes expresiones
p (p V q) p proposicionales:
p (p v q) p q I) ~ p q II) (p r) p III) (p q) (q p)
p V (p q) p
A) FVF B) FFV C) FVV D) FFF E) VFV
p V (p q) p V q
10. Si la proposicin: (r s) [(p ~ s) (p ~ q)]
7. De la condicional es falsa, entonces determine el valor de verdad de las
p q ~p V q siguientes proposiciones:
A) VVV B) VFV
8. COMPLEMENTO I) (p ~ q) r
p p C) VFF D) FVV
q (~ p ~ s)
V
II)
p p F E) FVF
V F III) [~ p r] ~ s
F V
11. Si la proposicin (p q) (~ s r) es falsa,
entonces determina el valor de verdad de las
Adicionales siguientes proposiciones:
p V V V I) [~ p (~ q r)] [p (~ q s)]
p V F p II) {[q (s t)] u} {~ s r }
III) (p q) (p ~ q)
p V p
A) VFF B) VVF C) FVV D) FVF E) FFF
p F F
12. Si p, q, r, s, t, u, v y w son proposiciones lgicas tal
que: p (q r) es falsa, q (p t) es falsa,
indica el valor de verdad de las siguientes
Ejercicios de proposiciones:

Aplicacin I) ~ t (r w) II) q (~ r u) III) t (s r)

A) VVV B) VVF C) VFV D) FVV E) FFF
13. Simbolice correctamente:
No estudi para el examen final porque trabaj hasta
tarde; ya que llegaron muchos clientes.
1. Halla la tabla de verdad de:
A) p (~ q r) B) ~p (q r)
(~ p q) (p ~ q)
C) p (q ~ r) D) r (q ~ p)
A) VFVF B) VVVV C) FFFF D) VFFV E) FFFV

2. Halle la tabla de verdad de: 14. Si la proposicin: No es cierto que, estudiemos y no

aprobemos, es verdadera, entonces podemos
[(p q) (q r)] (p r)
afirmar:
A) Tautologa B) Contingencia C) Contradiccin A) Aprobamos y no estudiamos
3. Halle la tabla de verdad de: B) Estudiamos o aprobamos
[(p q) (q p)] (p q) C) Estudiamos o no aprobamos
D) Aprobamos o no estudiamos
A) Contingencia B) Contradiccin C) Tautologa
E) Estudiamos y aprobamos

Lderes en la Formacin Docente Camino a la Acreditacin!

3
 ISEP NUESTRA SEORA DE CHOTA Prof. Jos Lidonil Daz Zorrilla

10. Halle la tabla de verdad de: (~p V q) (p V ~q)

Tarea A) VFVF B) VVVV C) FFFF D) VFFV E) FFFV

Domiciliaria 11. Si: (p ~q) r es falsa, determine el valor de p, q

yr

1. Construir una tabla de verdad para: A) VVV B) FFF C) VFF D) VFF E) FVF
[(p q) (q r)] (p r)
y diga si es: 12. Si la proposicin compuesta: ~[(p ~r) (r ~q)]
A) Consistente es verdadera, halle el valor de verdad de las
B) Contradiccin proposiciones r, p y q respectivamente.
A) VVF B) FVV C) VFV D) FVF E) FFV
C) Tautologa

2. Determine la matriz principal de la siguiente 13. Formalizar: Si luchas por triunfar, entonces triunfars,
proposicin: [(~p) (p V q)] q sin embargo no luchas por triunfar
A) Consistente B) Contradiccin C) Tautologa A) p (q r) B) p (q ~r)
C) (p q) ~p D) (p q) (p V q)
3. Evale la siguiente proposicin: P [(~p) (~q)]
A) Consistente B) Contradiccin C) Tautologa 14. Si la proposicin: (p ~q) V (~r s) es falsa. Deduce
el valor de verdad de:
4. Si p es verdadera, determine el valor de verdad de I) (~p ~q) V ~q
~p (p V q)
II) [(~r V q) q] [(~q V r) s]
A) Verdadero B) Falso
III) (p r) [(p V q) ~q]
A) FVV B) FFV C) VFV D) FFF E) VFF
5. Si la proposicin compuesta (p q) (r V t) es
falsa. Indique las proposiciones que son verdaderas
A) q y r B) p y q C) r y t D) q y t E) p y t

6. Evale el siguiente esquema molecular y diga

cuntas verdaderas tiene el resultado.
[~p ~(q r)] [(r ~q) V p
Problema de las edades
A) 2 B) 5 C) 6 D) 7 E) 0
Dos amigos mantienen esta
7. La proposicin viajas a Piura a menos que no conversacin:
vayas al Cuzco, es falsa si:
- Cuntos aos tienen ya tus tres
A) No viajas a Piura ni al Cuzco.
hijos?-pregunta el primero.
B) Viajas a Piura y al Cuzco.
C) Viajas a Piura y no al Cuzco. - Seguro que lo aciertas -contesta el
D) No viajas a Piura y si al Cuzco. segundo-. El producto del nmero de
E) No se puede precisar. aos que tienen es 36 y su suma
es igual al nmero de tu casa.
8. La proposicin: Si no tomas en serio las cosas
tendrs problemas para ingresar o no sers - Me falta un dato -dice el primero
profesional, es falsa. Qu valor de verdad asume la transcurrido un instante.
proposicin: No tienes problemas para ingresar?
- Ah, es verdad! -reconoce el segundo-.
A) Verdadero B) Falso C) Contradictorio
La mayor toca el piano.
9. Dadas las proposiciones: Sabras decir las edades de los tres
p: Lenin aprueba sus cursos hijos?
q: Lenin va a la fiesta
r: Lenin estudia para su examen
Simbolizar: Si Lenin va a la fiesta entonces no
estudiar para su examen, pero no es el caso que
vaya a la fiesta y aprueba sus cursos. De ah que
Lenin estudia para su examen.

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

B) [(q ~r) ~(q p)] r
C) [(q r) V ~(q p)] ~r
D) [(q r) ~(q p)] ~r
E) [(q r) V ~(q p)] r

Lderes en la Formacin Docente Camino a la Acreditacin!

4