1.

Lógica proposicional: c) Disyunción fuerte:

Es una parte de la lógica que tiene por objeto de Conectiva: o….o/o bien/
estudio las proposiciones y la relación entre ….o bien….
ellas, así como la función que tienen las Operador:   
variables pro- posicionales y los conectivos
lógicos. p  q
V F V
2. Proposición lógica:
También conocida como enunciado cerrado, es V V F
un enunciado que posee valor de verdad. F V V
Se le denomina variable proposicional. F F F
Ejemplos:

Simples
d) Condicional:
(Atómicas) * Carlos es despístado
Conectiva: Si…. Entonces/por lo
* Carlos es travieso tanto Operador:  / 
Compuestas
(Moleculares) * Carlos es travieso y despístado p  q
* Es falso que Daniel sea actor de V V V
cine V F F
3. Conectivos lógicos: F V V
a) Conjunción: F V F
Conectiva: y/pero/e/sin embargo….
Operador: e) Bicondicional:
Conectiva: Si... y solo si.../
p  q
Entonces y solo entonces
V V V
Operador:  / 
V F F
F F V p  q
F F F V V V
V F F
b) Disyunción: F F V
Conectiva: o/u/...o… F V F
Operador: 
f) Negación:
p  q Conectiva: no/ni/ no es el caso
V V V que Operador:
V V F pp
V FV
F V VF
F F F
4. Tablas de valores de verdad:
* Evaluar un esquema molecular es obtener la matriz principal.
* El número de valores que se asigna a cada variable es «2n», donde «n» es el número de variables.
* Es importante jerarquizar los esquemas antes de evaluarlos.

Ejemplo:
p q (p q)  (p  q)
V V V V V F V F V
V F V F F V V V F
F V F F V V F V V
F F F F F V F F F
22 = 4 1 3 2
Valores
Matriz principal: FVVV

5. Clases de matrices principales:

a) Tautología:
Todos los valores son verdaderos.

b) Contradicción:
Todos los valores son falsos.

c) Contingente:
Cuando entre todos los valores de la matriz principal hay por lo menos uno verdadero o uno
falso.

Trabajando en clase

Integral
d) Carlos y Richard van 5. Simboliza mediante conecto-
1. Determina la matriz princi- juntos al cine. res lógicos “Si tomas jugo de
pal de la siguiente e) Daniel es profesor y Rosa naranja o fresa, entonces esta-
proposición compuesta: (p  rás lleno”.
es escritora.
q)  q Resolución: Resolución:

2. Determina los valores de ver-
dad de r y p si se sabe que la
proposición es falsa: p  r
Resolución:
3. Señala la proposición com-
puesta:
a) Agripino y Cesarina son
hermanos.
b) Los Heraldos Negros es
una obra de Cesar Vallejo.
c) Joseph-Nicephore tomó la
primera fotografía en blan-
PUCP
6. Determina la matriz principal
4. Simboliza mediante conecto-
de la siguiente proposición
res lógicos: “Si Daniel y
compuesta: (p  q)  r
Agri- pina juegan fútbol,
Resolución:
Margarito será el árbitro”.
Resolución:
Si Daniel y Agripina juegan 7. Si la proposición compuesta:
fútbol,
 [(p  q)  (q  r)]
(p 
Condiciona q) es falsa; determine los valores
l
co y negro. Margarito será árbitro.
r
Respuesta: (p  q)  r
de
verdad
de p, q
y r.
Resolu
ción:
 UNMSM 10. Determina si la siguiente pro-  pF
8. Si la siguiente proposición es posición es tanto lógica, con- qF
falso: (p  q)  [(p  r)  t] tradictorio o contingente. rV
determina el valor de la ver- [(p  q)  r]  [(p  q)  I. r  (p  q)
dad de: r] V  (V  V)  V
I. (p  q)  (r  t) Resolución: II. [r  p  q)]  [q p]
[V  (F  F)]  (F 
II. (p  t)  (q 
11. Determina el valor de verdad V) (V  F)  (F)
r) Resolución:
de las siguientes proposicio- FFV
( )
nes: III. (r  p)  (q  p)
a) (3 + 5 = 9)  (5  2 = 10)
 13 18  (V  V)  (F  F)
b) 1  (32 =
5)  VFF
5
 
 pF c) (23 = 8)  ( 16 = –4)
q 13. Si la proposición:
d) (–13 < 8)  (8 + 1 > 9)
Vr [(p  q) (q  r)]  (q  s)
Ft es falsa y “p” una proposición
F UNI verdadera, determina los
12. Dada la proposición: valo- res de verdad de q, r y s
I. (p  q)  r  t en ese orden.
[(r  q)  (r  p)]  V,
V  F  F  V (UNI 2012-II)
donde q es una proposición
V  V Resolución:
falsa. Determina el valor de
FVV verdad de las siguientes pro-
II. (p  t)  (q  r) posiciones:
(V  F)  (F  F) I. r  (p  q)
FVV II. [r  (p  q)]  (q  p)
14. Clasifica las siguientes propo-
III. (r  p)  (q  p
9. Si la proposición: siciones como tautología (T),
(p  q)  (r  s) (UNI 2013-I)
contradicción (F) o contin-
es falsa, determina los valores Resolución:
gencia (C):
de verdad de las siguientes I. (p  q)  q
proposiciones: II. (q  q)  [p (p  q)]
I. (p  q)  p III. (q  p)  (p  q)
II. (p  q)  r
Resolución: Resolución: