1. Lógica proposicional 4.

Conectivos lógicos
Es una parte de la lógica que estudia las
proposiciones y la relación existente entre
ellas, así como la función que tienen los
conectivos lógicos.
2. Proposición Lógica
Son elementos que sirven de enlace
entre las proposiciones, para formar
otra, denominada a veces proposición
molecular.
Ejemplo:
a) Lima es la capital del Perú y Barcelona es la capital de España

Es aquella expresión u oración coherente p q

que puede calificarse o bien como verdadero
CONECTIVO
(V) o bien como falso (F) y sin ambigüedad. LÓGICO
Las proposiciones lógicas generalmente se
denotan con letras minúsculas, tales como: Los conectivos lógicos empleados son:
p, q, r, s, …, etc.
4.1 Disyunción (se simboliza: “", se lee:
Ejemplo: "o")
p: 5+4=8 (F)
Dos proposiciones se pueden enlazar por
q: Todo hombre es mortal. (V)
medio de la palabra "o", para formar una
r: El Libertador Simón Bolívar nació en Lima. (F) nueva proposición llamada disyunción de
s: 14 es un número primo. (F) ambas. La disyunción de las
proposiciones "p o q" se denota: p  q.
Nota:
Las preguntas, mandatos, exclamaciones, p q p v q
deseos, etc. NO son proposiciones lógicas p v q es falsa (F)
ya que no se pueden calificar como V V V únicamente cuando
verdaderas (V) o falsas (F). V F V
"p" y "q" son ambas
falsas, en los demás
F V V casos es verdadera.
3. Negación de una proposición F F F

Consiste en cambiar el valor de verdad

que tiene una proposición. Si la 4.2. Conjunción (se simboliza: "", se lee:
proposición es “p”; su negación se denota "y")
por “p” y se lee: “no p” o “es falso que Dos proposiciones se pueden enlazar por
p”. Las diferentes posibilidades las medio de la palabra "y" para formar una
podemos esquematizar en una tabla, nueva proposición llamada conjunción
denominada Tabla de verdad. de ambos. La conjunción de las
proposiciones "p y q" se denota: p  q
p p
p q p  q
V F
V V V
F V V F F
F V F
Ejemplo: F F VF
p : 6 es un número par. (V) V
Nota: Las palabras “sin embargo”, “pero”,
~p : 6 no es un número par. (F) “además”, “también”, “incluso”, “no
 obstante”, “aunque”, “así mismo”, Problemas en clase
“tanto... cómo”, etc, equivalen al
conectivo lógico “y”.
1. De las siguientes expresiones, ¿cuáles son
4.3. Condicional (se simboliza por: "", proposiciones lógicas:
se lee: "si ...entonces...") I. Perú es un país sudamericano.
II. 13 es un número primo.
Muchas proposiciones, especialmente
matemáticas, son de la forma "si p III. Me siento bien.
entonces q". Tales proposiciones se IV. ¿Cómo llegaste?
denominan condicionales y se les denota
2. Dadas las premisas:
por: p  q.
p : Luis es doctor.
q : Carlos es
p q p  q
abogado.
p  q es falsa (F)
V V V únicamente cuando “p” r : Pedro es
V F F es verdadera y “q” es ingeniero.
falsa, en los demás casos
F V V Cuál será la expresión simbólica del
es verdadera.
F F V enunciado:

Nota: Las palabras “por consiguiente”, “de “Si Carlos es abogado y no es cierto que
modo que”, “por lo tanto”, “en consecuencia”, Luis es doctor, entonces Luis no es doctor
“luego”, “dado que”, equivalen al conectivo o Pedro es ingeniero”.
condicional. 3. Dadas las proposiciones compuestas:
I. (3. 0 = 3)  (4 + 0 = 4)
4.4. Bicondicional (simbolizada por: "", II. (1 < -1)  (5  2 < 2,5)
se lee: "si y sólo si") III. (20 = 2)  (4 + 5  9)
V. (8.0 = 0)  (7.1 = 7)
Es aquel conectivo que al enlazar "p" con
Hallar sus valores de verdad
"q" se denota "p  q" y se lee: "p si y sólo
4. Si la proposición compuesta:
si q
(~p  r)  q
es falsa, hallar los valores de verdad de
p q p  q
“p”, “q” y “r” respectivamente.
V V V p  q es verdadera (V)
V F F cuando “ p” y “q” tienen
5. Si la siguiente proposición:
F V F el mismo valor de verdad . (~p  r)  (p  s)
F F V es falsa, hallar el valor de verdad de:
I. (p  ~q)  r
Nota: las palabras “cuando y sólo cuando”, II. (q  ~r)  (s  p)
“entonces y sólo entonces”, etc, equivalen al
conectivo lógico “si y sólo si”.
6. Construir la tabla de verdad de:
(~p  q) (p ~q)
4.5. Disyunción exclusiva (simbolizada e indicar de qué se trata.
por: "", se lee: "o … o ….")
7. Construir la tabla de verdad de:
Es aquel conectivo que al enlazar "p" con (p ~q) (~p   q)
"q" se denota "p  q" y se lee: " O bien p O luego indicar cuál de las proposiciones
bien q” siguientes es verdadera
p q p  q 8. La siguiente proposición compuesta:
~(q  p)  (p~q)
V V F
p  q es verdadera (V) es una: ______________________
V F V
cuando “ p” y “q” tienen
F V V distinto valor de verdad .
F F FF
F
F
F