Capítulo 1 UNIDAD

LÓGICA PROPOSICIONAL

COMPETENCIA:
Utiliza la lógica para el desarrollo de las proposiciones en distintas situaciones
problemáticas
Contenidos:
Proposición
Operaciones lógicas
Tablas de verdad
Clasificación de las proposiciones: Tautología, contradictorias y contingencia.
Circuitos lógicos.

Proposición
Una proposición es todo enunciado al que se le puede asignar uno y sólo uno de los
valores de verdad, que son:

VERDADERO (V) o FALSO (F)

Por lo general, las proposiciones se representan con las letras minúsculas del alfabeto,
desde la letra p en adelante, es decir, p, q, r, s, t, ... etc.

Ejemplos
q: Rímac es el distrito de la provincia de Lima (V)
r: El número 15 es divisible por 3. (V)
s: El perro es un ave. (F)
t: Todos los triángulos tienen cuatro lados (F)
u: ¿Qué día es hoy? No es una proposición
p: ¡Viva el Perú ! No es una proposición

CLASE DE PROPOSICIONES
A) Proposición Simple o Atómicas.- Son aquellas proposiciones que constan de un
solo enunciado proposicional .
Por ejemplo, sea la proposición
p: 3 + 6 = 9

B) Proposición Compuesta o molecular. - Son aquellas proposiciones que constan

de dos o más proposiciones simples.
Ejemplo:

r: Pitágoras era griego y era geómetra

p q
encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el
segundo (q) que Pitágoras era geómetra.

Ejemplo:
p: Juan es profesor o Manuel es arquitecto
Donde podemos observar que la proposición p, se divide en dos proposiciones
simples:
r: Juan es profesor y
s : Manuel es arquitecto
Es decir , p : r o s

Operaciones Lógicas

A partir de proposiciones simples es posible generar otras, las compuestas. Es decir, se

puede operar con proposiciones utilizando para ello ciertos símbolos llamados conectivos
lógicos.

Operación Símbolo Significado

Negación ~ “no …..” o “no es cierto que …

Conjunción o producto lógico  “…. y ….”
Disyunción o suma lógica  “… o …” (en sentido incluyente)
Implicación  “… implica …”, o “si… entonces …”
Doble implicación  “… si y sólo si …”
Diferencia simétrica o Disyunción excluyente  “ … o …” (en sentido excluyente)

TABLAS DE VERDAD
Nos permite analizar 2 cosas
A. Los Tipos de fórmulas: en razón a su matriz o resultante final:
a) TAUTOLÓGICA: Si la resultante son puras verdades: VVVV, o, 1111
b) CONTRADICTORIA: Si la resultante son puras falsedades: FFFF, O , 0000
c) CONTINGENTE: Si la resultante es combinada o mixta: VFFF, VVFF, 1000,
1100, ETC.
B. La relación con los circuitos eléctricos: para llo cual tenemos que manejar el
siguiente lenguaje:
a) Lámpara, foco, motor, aparato eléctrico ENCENDIDO = V
b) Lámpara, foco, motor, aparato eléctrico APAGADO = F
c) CORTOCIRCUITO: FFFF
d) INTERMITENCIA ELECTRICA = VFVF, o, FVFV

OPERACIONES PROPOSICIONALES
Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o
más proposiciones, de las que se conoce los valores veritativo, se trata de caracterizar
la proposición resultante a través de su valor de verdad. A tal efecto, estudiaremos a
continuación el uso y significado de los diferentes conectivos lógicos mencionados
arriba:
Negación
Dada una proposición p, se denomina negación de p a otra proposición denotada por ~p
(se lee "no p") que le asigna el valor veritativo opuesto al de p. Esta ley que define a la
negación lógica o simplemente negación, se presenta generalmente, en forma resumida
utilizando una tabla de doble entrada denominada tabla de verdad.
La tabla de verdad de la negación es:

p ~p Observamos que al valor V de p,

la negación le hace corresponder
V F el valor F, y viceversa.
F V

Ejemplo
Sea la proposición p: 3 > 1, su negación es ~ p: 3 ≤ 1.
Se observa que V(p) = V y V(~ p) = F

NOTA: se trata de una operación unitaria, pues se define para una proposición.

Conjunción o Producto Lógico

Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la
proposición compuesta p  q (se lee "p y q"), cuya tabla de verdad es:

p q p  q

V V V
V F F
F V F
F F F

La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo
son las dos proposiciones componentes (en todo otro caso, es falsa). Es una operación
binaria.

Ejemplo: Si p: 3 es mayor que 7

q : Todo número par es múltiplo de dos
Entonces:
p  q : 3 es mayor que 7 y todo número par es múltiplo de dos
Por ser ambas verdaderas la conjunción de ellas es verdadera

Disyunción o Suma lógica

Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición
p  q (se lee “p o q”) cuya tabla de valores de verdad es:

p q p  q
 V V V
V F V
F V V
F F F

La disyunción o es utilizada en sentido incluyente, ya que la verdad de la disyunción se

da en el caso de que al menos una de las proposiciones sea verdadera. En el lenguaje
ordinario la palabra o es utilizada en sentido incluyente o excluyente indistintamente.
Para evitar toda posibilidad de ambigüedades, en matemática se utiliza la disyunción
definida por la tabla precedente, que muestra que la disyunción sólo es falsa cuando
ambas proposiciones son falsas, o bien, se utiliza la disyunción excluyente para
interpretar otra situación.

Ejemplo
Si p : Hace frió en Invierno , y
q : Napoleón invadió Lima
p  q : Hace frió en Invierno o Napoleón invadió Lima

Por ser al menos una de la proposiciones verdadera la conjunción es verdadera

Implicación o Condicional
Implicación de las proposiciones p y q es la proposición p  q (si p entonces q) cuya
tabla de valores de verdad es:

p q p  q

V V V
V F F
F V V
F F V

La proposición p se llama antecedente, y la proposición q se llama consecuente de la

implicación o condicional. La tabla nos muestra que la implicación sólo es falsa si el
antecedente es verdadero y el consecuente es falso.

Ejemplo.

Supongamos la implicación

i)Si apruebo, ENTONCES te presto el libro

p  q

La implicación está compuesta de las proposiciones

p: apruebo
q: te presto el libro
 Nos interesa conocer la verdad o falsedad de la implicación i), en relación a la
verdad o falsedad de las proposiciones p y q. El enunciado puede pensarse como un
compromiso, condicionado por p, y podemos asociar su verdad al cumplimiento del
compromiso. Es evidente que si p es F, es decir si no apruebo el examen, quedo
liberado del compromiso y preste o no el apunte la implicación es verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no
se cumple y la proposición i) es falsa. Si p y q son verdaderas, entonces la proposición
i) es verdadera pues el compromiso se cumple.

Doble Implicación o Bicondicional

Doble implicación de las proposiciones p y q es la proposición p  q (se lee "p si y sólo
si q") cuya tabla de valores de verdad es

p q p  q

V V V
V F F
F V F
F F V

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el

mismo valor de verdad.

Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:
p  q : Karina ingresa a la universidad si y sólo si estudia mucho.
Ejemplo 2:
Sea i) a = b si y sólo si a² = b²

El enunciado está compuesto por las proposiciones:

p: a = b
q: a² = b²

Clasificación de proposiciones: Tautología, contradicción y

contingencia

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo

denominamos fórmula lógica.
Por ejemplo,
~ { (p  q)  (s  t) }

Si al evaluar una fórmula lógica, resulta que todos los valores de verdad son siempre
verdaderos para cualquier combinación de los valores de verdad de las proposiciones
componentes, se dice que dicha fórmula es una Tautología o Ley lógica.
Ejemplo
Analizando la proposición p  ~p mediante la tabla de verdad, se tiene:

p ~p p  ~p

V F V
F V V

Se observa que para cualquier combinación de las proposiciones p y su negación ~p, la

proposición p  ~p es siempre verdadera. Luego, la proposición compuesta p  ~p es una
tautología.

Ejemplo
Sea la fórmula lógica { ( p  q )  p }  q
La tabla de valores de verdad es:

p q (p˅q)  ( ~p  p)

V V V V V
V F V V V
F V F V V
F F F V F

Se observa que, independientemente de la combinación de valores de verdad de las

proposiciones p y q, el resultado de la fórmula lógica es siempre verdadero. Esta fórmula
es una tautología.

Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que para
cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha
fórmula es siempre falso, se dice que dicha fórmula es una Contradicción.

Ejemplo
Analicemos la fórmula lógica p  ~p

p ~p p  ~p

V F F
F V F

La fórmula es siempre falsa, es una Contradicción.

NOTA: Si una proposición no es una tautología ni una contradicción (es decir que
contiene al menos un valor V y otro F) es una Contingencia.

CIRCUITOS LOGICOS
Un circuito lógico es un conjunto de símbolos y operaciones que satisfacen las reglas de
la lógica, simulando el comportamiento real de un circuito eléctrico.
1. Circuitos en Serie: Dos interruptores se encuentran conectados en serie, cuando
lo están uno tras otro (en una misma línea).

En este circuito pasa corriente solo en caso en que p y q se encuentran cerrados,

en cualquier otro caso no hay paso de corriente. De aquí tenemos el
comportamiento de la conjunción de las proposiciones p y q. (p  q)

2. Circuito en Paralelo: Dos interruptores p y q se encuentran conectados en

paralelo, cuando tengan una disposición, como se muestra en la figura:

No hay paso de corriente cuando los dos interruptores están abiertos. Tenemos
entonces, el comportamiento de la disyunción de las proposiciones p y q. La
falsedad de p y q, es decir, el hecho de que no pase corriente, solo se verifica en el
caso de la falsedad simultanea de p y q.
Circuitos en paralelo:

Ejercicios resueltos:
1. Diseñar el circuito lógico de la siguiente proposición: (p˅q) � r
Resolución:

Pero p � q se representa por:

 Luego, sustituyendo (2) en (1)

2. Diseñar el circuito lógico de la siguiente proposición: : p � (: q � r )

Resolución:

….(1)
Pero ~q � r se representa por.

……(2)}
Luego, sustituyendo (2) en (1), tendremos la representación pedida, esto es:

: p � (: q � r )

3. Diseñar los circuitos lógicos de las siguientes proposiciones.

�( : p � q ) � q �
a) � �� ( p � : q ) b) ( p � : q ) � (: p � q )
Resolución:

4. Halla su expresión lógica correspondiente al circuito siguiente:

 Resolución:

a) Están conectados en paralelo; se simboliza:

( r �: q )

b) Están conectados en serie; se simboliza:

p �( r �: q )

c) Están conectados en serie; se

simboliza: ( q �: r )
d) p �( r �: q ) y ( q �: r ) Están conectados en paralelo; se

simboliza:
�p �( r �: q ) �
� ��( q �: r )
5.

Ejercicios resueltos

1. Analizar las siguientes expresiones

a) 7 + 5 = 20
b) ¿Eres un estudiante de matemática?
c) X + 5 = 8
d) El día esta frío.
e) ¡cierra la puerta!
Solución
a) 7 + 5 = 20, es una expresión cuyo valor de verdad es falsa. Luego es una proposición.
b) ¿Eres un estudiante de matemática?, es una pregunta que se hace, carece de valor de
verdad, es decir, no se puede afirmar si es verdadero o falso, luego no es una
proposición.
c) X + 5 = 8, es un enunciado abierto o función proposicional por que tiene variable
d) El día esta frío, es una proposición que puede ser verdadera o falsa
 e) ¡cierra la puerta!, es una orden. Luego no es una proposición.

2. Sean las proposiciones p, q, r, cuyos valores de verdad es V, F y F. hallar el valor de verdad

de las siguientes proposiciones compuestas:

PRACTICA
4.- Clasifique como tautología, contradicción y contingencia. Los siguientes
esquemas moleculares:

a)[(pΛ q) → q ] v p d) ˜(p v q) Λ p
b) (p→q) v p e) [ (p → ˜ q) Λ p ] →˜ q
c) p→(pΛq) f) ˜p v ˜( p v q )

5.- Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor

de verdad de las siguientes proposiciones:
 a) p V ( p → q ) c) p Λ ( p→ q )
b) ( p V q ) → p d) (p V q ) ↔ [ p Λ ( p→ q ) ]

5.- Si p=V , q= V, r= F. Halle el valor de verdad de los siguientes esquemas

moleculares:
a) (p Λ q ) → ( ˜ p V r ) c) p Λ q → r e) ( p ↔ ˜ q ) → r
b) ˜ r Λ [p →( r V q ) ] d) )[(pΛ q) → (q Λ r )] ↔ ˜ p f) ( ˜ p V q ) →( ˜ r Λ q )

6.- a)Si la proposición p → ( ˜ p V q ) es falso , determine el valor de verdad de : ˜ (p

Vq)
b) Si la proposición ( p Λ q ) → ( q→r ) , es falsa determine el valor de : p V r

1.- Cuáles de los siguientes enunciados son proposiciones , función proposicional

.Determine su valor de verdad:

a) El pisco es peruano
b) 3 es un número racional
c) ¡ Viva el Perú!
d) Un triángulo es un polígono de tres lados
e) x es hermano de y
f) 28 < 15
g)¿Te gusta la Matemática?
h) El es arquitecto
2
2
i) 36  2   
1

8
j)Tenga calma ,no se impaciente
k) 9x + 3 = 12 , x  R
l)18 es múltiplo de 3
ll) x  R, x  x 1
m)x es Ingeniero y Juan es Matemático
1
n) x  Q /  .x  1
3
ñ)Los cuadriláteros tienen 3 lados
o)3x – 8 > 15 , x  R
p) x + y  15 , x,y R
q) 2x + 5 > 11, x  R
r) 3x + 7 = 11, x  N
t)x es un animal
2.-
a) Si p es verdadera determinar el valor de verdad de ~p→q
b)Si p es falsa p vq
c) Si p es falsa , entonces ~p  q es
d) Si la proposición (p ^ q)→r es falsa , determina el valor de las proposiciones:

d .1( p  r )  q
d .3( p  q )  r
d .2( p  q )  r
d .4 (  r   p )  ( q  p )
3.- Determinar el valor de verdad de las proposiciones p y q si se conoce la siguiente
información :

[(p v q ) ^ ~q]→q es falsa y

[(~p ^ ~q )→ q ] ^ (p v q ) es verdadera

AUTOEVALUACIÓN
1. De los siguientes enunciados cuales son de proposiciones y no proposiciones:
a) Todos los planetas giran alrededor del sol
b) Si un número es divisible por 4 también lo es por 2
c) a + b + 10 = 20
d) a + b + 10 = 20; donde a = 4, b= 7
e) Batman es el hombre murciélago
f) ¡Socorro!
g) Todo organismo viviente se adapta a su medio físico
h) ¿Habrá juicio final?
2. Identifica las premisas y conclusiones en el siguientes texto
La luz que vemos provenientes de las galaxias distantes salió de ellas hace millones de
años, y en el caso del objeto más distante que hemos visto, la luz surgió desde hace
ocho millones de años. Así pues, cuando observamos el universo, lo estamos viendo
como fue en el pasado.
3. Un profesor dice a sus estudiantes lo siguiente: estoy pensando en dos números de los
tres números 1, 2 y 3. Luego los alumnos formularon las siguientes proposiciones:
a) Por los menos uno de los números es impar
b) El promedio de sus dos números es mayor que 5/4
c) Uno de sus números es tres
d) La diferencia entre sus números es 1
e) El primero de los números en que está pensando es es mayor que el segundo
f) La suma de los cuadrados de sus números es menor que 14