LOGICA PROPOSICIONAL

El ser humano en la vida diaria, se comunica con sus semejantes a travs de un

lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a
las formas de verdaderas o falsas, siendo este el precedente fundamental para el
desarrollo del pensamiento humano. Lo importante en el presente estudio es el hecho
de que, a partir de los enunciados (frases u oraciones) y de acuerdo a su significado
es posible establecer una proposicin y a partir de un conjunto de estas podemos
llegar a una conclusin, siendo la ciencia encargada del estudio de estas, la lgica.

1.1. ENUNCIADO.- Denominamos as a toda frase u oracin.

Ejemplos:

1) Prohibido fumar.
2) x2+y29
3) Tribunal en Lima ver denuncias sobre Ancash
4) 4x 1= 5
5) Qu hora es?
6) Fallo contra megacomisin enfrenta al Poder Judicial y al Congreso
7) l es estudiante de la facultad de ciencias Administrativas y Contables
8) - 6,78 > 1,43
9) El desempleo baj levemente en febrero
10) Auxilio!
11) Detngase.
12) Ollanta Humala no es el presidente del Per.
13) Paolo guerrero es jugador de futbol
14) Dnde estabas?
15) Prohibido hacer ruido
16) Juez anula todos los informes que acusan a Garca

1.2. PROPOSICIN.- Una proposicin es un enunciado que tiene la

propiedad de ser verdadera (V) o falsa (F), pero no ambas simultneamente.
Representacin simblica: p, q, r, s, t,..., etc.
Ejemplos:

VALOR
REPRESENTACIN PROPOSICIN DE VERDAD
SIMBLICA
p: El pentgono tiene cuatro lados F
r: Mario Vargas Llosa escribi conversacin V
en la catedral
s: Ica es la regin ms afectada por el V
terremoto del 2 007
t: El parque de la identidad se encuentra F
ubicado en Chilca
p: -4+3=7 F
r: 3,56 > 0,099 V

El valor veritativo o valor de verdad de una proposicin se expresa

simblicamente. Si p es una proposicin, su valor de verdad se denota por V(p)
Se escribe: V(p) = V. Si valor de verdad de la proposicin p es verdadera
 Se lee: el valor de verdad de la proposicin p es verdadera
Se escribe: V(p) = F. Si valor de verdad de la proposicin p es falsa
Se lee: el valor de verdad de la proposicin p es falsa

1.3. EXPRESIONES QUE NO SON PROPOSICIONES LGICAS

Son las expresiones que indican orden, advertencia, saludo, exclamacin o

interrogacin. Es decir, estas expresiones slo se quedan como enunciados.

Ejemplos:
- Buenos das!. - Hola, Harry!
- Quin toc la puerta? - Qu edad tienes?
- No faltes. - Prohibido fumar.
- As se llaman esas criaturas? - Viva la matemtica!

1.4. ENUNCIADOS ABIERTOS

Los enunciados que usan las palabras el, ella o las letras x, y, z, ... , etc. No tienen
la propiedad de ser verdaderos o falsos, es decir, no son proposiciones. Pero, si a
estas palabras o letras se les asigna un determinado objeto o valor, llamado constante,
el resultado es una proposicin. A este tipo de enunciados se les
denomina enunciados abiertos.

Ejemplos:
- Ella es estudiante de contabilidad
- x3>7
- 5x + 3y = 2
Si en el primer ejemplo reemplazamos ella por Meredditt, se tiene,
Meredditt es estudiante de contabilidad, que es una proposicin donde su valor de
verdad es V F dependiendo de que si Meredditt sea o no estudiante de contabilidad.
Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin
es falsa y si x toma un valor mayor a 10 la proposicin es verdadera.
En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores
para que el valor de verdad de la ecuacin sea verdadera o falsa.

2. CONECTIVOS U OPERADORES LGICOS:

Los conectivos lgicos son smbolos que enlazan proposiciones simples o atmicas,
sin formar parte de ellas: estos smbolos tambin toman el nombre de operadores.
Los conectivos lgicos que usamos en matemtica son:

LENGUAJE LENGUAJE
NOMBRE DEL OPERADOR
COLOQUIAL SIMBLICO
no ~ La negacin
y La conjuncin
o La disyuncin inclusiva
Si ... entonces ... La condicional
... s y slo s ... La bicondicional
O bien ... o bien La disyuncin exclusiva

= Delta (Cuarta letra del alfabeto griego que corresponde a d latina)

 3. CLASES DE LGICAS:

PROPOSICIONES

3.1. PROPOSICIONES SIMPLES O ATMICAS

Cuando en ella no existe conectivo u operador lgico alguno.

Ejemplos:
- p: El cuadrado tiene 5 lados
- q: 3 x 4 = 12
- r: 9 es mltiplo de 3

3.2. PROPOSICIONES COMPUESTAS O MOLECULARES

Cuando en ella existe o est presente al menos un conectivo u
operador lgico.
Ejemplos:
- ~ p: 12 - 5 9
- q p: Rosario jug, aunque estuvo lesionado
- q p: Llegu tarde porque el carro se malogr

4. OPERACIONES CON PROPOSICIONES:

As como en aritmtica y en lgebra se estudian operaciones entre nmeros,
en lgica se estudian operaciones entre proposiciones.

4.1. LA NEGACIN
La negacin de una proposicin p se escribe ~ p y p ~p
se lee no p no es cierto que p es falso que V F
p y es otra proposicin que niega que se cumpla p. F V

Ejemplo:
Sea la proposicin: p: 4 x 5 = 20 (V)
Su negacin es: ~ p: no es cierto que 4 x 5 = 20 (F)
o se puede escribir: ~ p: 4 x 5 20 (F)
Simblicamente: V( ~ p) = F

4.2. LA CONJUNCIN
Dadas las proposiciones p, q, se simboliza p q pq
p q y se lee p y q, slo es verdadero V V V
cuando ambos son verdaderos, en los dems V F F
casos siempre es falso. F V F
F F F
Ejemplo:
Sean las proposiciones:
p: 7 es un nmero par (F)
q: 7 es menor que 5 (F)
p q: 7 es un nmero par y 7 es menor que 5 (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin, las palabras: pero, sin embargo, adems, no

obstante, aunque, a la vez, etc. Equivalen al conectivo
 4.3. LA DISYUNCIN INCLUSIVA

Dadas dos proposiciones p, q se escribe p q y p q pq

se lee p q, slo es falso cuando ambos son V V V
falsos, en los dems casos siempre es V F V
verdadero. F V V
F F F
Ejemplo:
Dadas las proposiciones:
p: 4 < 7 (V)
q: 4 = 7 (F)
p q: 4 < 7 4 = 7 (V)
Simblicamente: V(p q) = V

4.4. LA CONDICIONAL
Dadas dos proposiciones p, q se escribe p q pq
p q y se lee si p entonces q p implica q p V V V
es suficiente para que q, etc., slo es falso V F F
cuando el primero es verdadero y el segundo es F V V
falso, en los dems casos siempre es verdadero. F F V
( p = antecedente y q = consecuente)

Ejemplo:
p q : Si gano las elecciones entonces bajar el precio de los combustibles
Ejemplo:
Sean las proposiciones:
p: 3 es un nmero primo (V)
q: 31 es un nmero par (F)
p q : si 3 es un nmero primo entonces 31 es un nmero par (F)
Simblicamente: V(p q) = F

NOTA: En toda proposicin las palabras: porque, puesto que, ya que,

siempre que, cuando, si, cada vez que, dado que, son conectivos que
representan a la condicional. Se caracterizan porque despus de cada uno de estos
trminos esta el antecedente

Ejemplo:
No jugu porque llegu tarde
~p: no jugu (consecuente)
q: llegu tarde (antecedente)
Simblicamente: q ~p

4.5. LA BICONDICIONAL
Dadas dos proposiciones p, q se escribe p q p q
p q y se lee p si y solo si q, es verdadero cuando V V V
los valores de verdad son iguales y es falso cuando V F F
los dos valores de verdad son diferentes. F V F
F F V
Ejemplo:
Sean las proposiciones:
p: 3 < 7 (V)
q: 3 + 5 < 7 + 5 (V)
p q: 3 < 7 si y solamente si 3 + 5 < 7 + 5 (V)
 Simblicamente: V(p q) = V

4.6. LA DISYUNCIN EXCLUSIVA

Dadas las proposiciones p, q se escribe p q p q
p q y se lee o bien p o bien q, es falso V V F
si los valores de verdad de las V F V
proposiciones son iguales y es verdadero F V V
si los valores de verdad de las F F F
proposiciones son diferentes.
Ejemplo:
Sean las proposiciones:
p: 4 > 7 (F)
q: 4 < 7 (V)
p D q: o bien 4 > 7 o bien 4 < 7 (V)
Simblicamente: V(p q) = V

5. EXPRESAR EN EL LENGUAJE SIMLICO PROPOSICIONES LGICAS DEL

LENGUAJE ESCRITO:
Para expresar en el lenguaje simblico proposiciones que se encuentran en el
lenguaje escrito es necesario subrayar y escribir el conectivo u operador
correspondiente.

6. DETERMINAR EL VALOR DE VERDAD DE PROPOSICIONES LGICAS

Para determinar el valor de verdad de una proposicin, primero se expresa en el
lenguaje simblico, luego se asigna el valor d verdad de la proposicin simple,
para luego operar con los conectivos correspondientes hasta determinar el valor de
verdad de la proposicin compuesta.

RESUMEN
p q pq p q pq pq pq
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
ACTIVIDAD DE APRENDIZAJE Nro. 01

1) Escribe al lado derecho de cada una de estas expresiones, si es: enunciado,

proposicin o enunciado abierto.
(1) Hola que tal!
(2) x + 1 < 10
(3) El lapicero es rojo pero no es amarillo
(4) l es administrador y contador
(5) Vives con tu primo?
(6) El nuevo local de la facultad de ciencias administrativas y contables se encuentra en
Chorrillos.
2) Formula ejemplos de enunciados, proposiciones y enunciados abiertos. Cinco
ejemplos de cada uno.
3) Expresa en el lenguaje simblico:
a) No es cierto que, Ollanta Humala no es el presidente de Ecuador.
b) Es falso que, Mayumi lleg tarde porque se qued dormida.
c) Paolo Guerrero llego tarde al partido pero jug.
d) Si hoy es mircoles entonces maana no es martes
4) Que diferencias y similitudes estableces entre una proposicin simple y una
proposicin compuesta
5) Determina los valores de verdad de las siguientes proposiciones:
a) Es falso que, Paolo guerrero no es jugador del Sport Club Corinthians Paulista.
b) 20 es mltiplo de 4, pero, 7 es menor o igual que 10
c) O 9 es mayor que 5 o es menor que 5.
d) 24 es mltiplo de 8 puesto que 24 es un nmero impar.
e) Ollanta Humala no gan las elecciones presidenciales de Per con un 54 %.
f) No es cierto que, Susana Villarn no fue revocada
6) Si: ~[(~p q) (r q)] [ (~p q) (q ~ p), es verdadera. Calcula los valores de
verdad de p, q y r.

6) Si: ~(~p q) (r q) (~p q) (q ~ p), es verdadera. Calcula los valores

de verdad de p, q y r.

7) Si: (p ~q) (~r ~s), es falsa. Determina los valores de verdad de los esquemas
moleculares:
a) ~(p ~q) r b) (~p q) (p ~q)
8) Sabiendo que el valor de verdad de la proposicin compuesta:
{~[(p r) q] [(p q) D s]} [(s D p) t], es siempre falsa. Determina el valor de
verdad de la proposicin [~(p ~q) (r ~s)] (t D ~p)

7. TABLA DE VALORES DE VERDAD

Consiste en obtener los valores del operador principal a partir de la validez de
cada una de las variables proposicionales.
Para evaluar una tabla de verdad de dos variables proposicionales se
necesitan
22 = 4 valores de verdad en cada columna. En general el nmero de valores de
verdad que se asigna a cada variable resulta de aplicar la frmula 2n, donde n es el
nmero de variables que hay en el esquema molecular o proposicin lgica.
Las combinaciones de todas las posibilidades de V y F se hacen en las columnas
de referencia al margen izquierdo del esquema, luego se procede a aplicar la regla a
cada uno de los operadores, empezando por el de menor alcance hasta llegar al de
mayor jerarqua.
Ejemplo:
Construye la tabla de verdad del esquema molecular:
~ (p q ) [(~ p) (~ q)]
Solucin:
Aplicando la frmula 2n = 22 = 4 (n=2) porque el nmero de variables o
proposiciones son 2, p y q.
En la columna de p se escribe hacia abajo 2 verdaderos y dos falsos,
seguidamente en la siguiente columna, columna de q se escribe, un verdadero y un
falso, un verdadero y un falso.
Para resolver se tiene en cuenta los signos de agrupacin y el orden, en
nuestro ejemplo se procede as:
Se resuelve la columna 1 con el operador de la conjuncin.
Se resuelve la columna 2, en este caso, es la negacin del resultado de la columna 1.
Se resuelve la columna 3, que es la negacin de la proposicin p.
Se resuelve la columna 4, que es la negacin de la proposicin q.
Columna 5, es el resultado de operar las columnas 3 y 4, con el operador de la
disyuncin inclusiva.
 Columna 6, es el resultado de operar las columnas 2 y 5, con el operador de la
bicondicional.

OBSERVACIN

- Para combinar los valores de verdad de las variables p y q, se realiza lo

siguiente: n = 2 ( 2 variables)
- Se aplica la frmula 2n = 22 = 4
- Significa que en la primera columna se tendrn 4 valores, 2 verdaderos y 2
falsos
- En la segunda columna se tendrn la mitad de lo anterior, en este caso, un
verdadero y un falso

p q ~ (p q) [(~p) (~q)]
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
PASOS 2 1 6 3 5 4

La columna 6 es el resultado de evaluar el esquema molecular o proposicin

compuesta por el mtodo de la tabla de valores de verdad. La columna resultado
presenta diferentes formas, que a continuacin estudiamos.

7.1. TAUTOLOGA.- Llamamos tautologa si en la columna resultado todos

los valores son verdaderos
7.2. CONTRADICCIN.- Llamamos contradiccin si en la columna
resultado todos los valores son falsos.
7.3. CONTINGENCIA.- Llamamos contingencia si en la columna resultado
se encuentra verdaderos y falsos, sin considerar cuntos verdaderos o cuntos falsos
existan, es suficiente que se encuentren ambos.

8. IMPLICACIN LGICA Y EQUIVALENCIA LGICA

IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda condicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
[(p q) ~ q] ~ p

p q [(p q) ~ q] ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V

En la columna resultado se observa los valores de verdad, en este caso todos

son verdaderos. Entonces, afirmamos que la condicional es tautologa, por tanto, es
una implicacin lgica. Si en la columna resultado se obtiene contradiccin o
contingencia, entonces, no existe implicacin lgica.
 EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
[p (p q)] p
p q [p (p q)] p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F

Como se verifica que el resultado de la bicondicional, es tautologa, afirmamos

que es una equivalencia lgica.
Entonces, podemos afirmar que: [p (p q)] p

ACTIVIDAD DE APRENDIZAJE Nro. 02

1) Construye las tablas de valores de verdad de las siguientes proposiciones y evala si

es tautologa, contradiccin o contingencia:
a) [(p ~ q) ~ p] D ~ (~ q p)
b) [p (q r) ] [ (~p ~r) ~q
2) Dadas las proposiciones: M= (p q) ~p y N = (~p q)
Evala si M implica a N.
3) Dadas las proposiciones S = ~p (p q) y T= (p ~q)
Evala si S es equivalente a T.

9. LEYES DEL LGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lgicas. Existen infinitas
proposiciones equivalentes. Pero slo consideraremos algunas a las que llamaremos
leyes del lgebra proposicional

1) Leyes del tercio excluido 6) Leyes distributivas

p ~pV p~pF p (q r) (p q) (p r)
p (q r) (p q) (p r)

2) Ley de involucin o doble negacin 7) Leyes de De Morgan

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

3) Ley de idempotencia 8) Leyes condicionales

ppp ppp pq~pq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p q (p q) (q p)
pqqp
pqqp

5) Leyes asociativas 10) Leyes de absorcin

(p q) r p (q r) p (p q) p
(p q) r p (q r) p (p q) p
p (~ p q) p q
p (~ p q) p q
 11) Formas normales para la conjuncin y disyuncin
VVV FFF
pVp pFp
pFF pVV

Las leyes del lgebra proposicional se aplican o utilizan en la validacin de

proposiciones compuestas, es decir, para determinar el valor de verdad de una
proposicin. Adems se utiliza en la simplificacin de proposiciones compuestas.
Ejemplo:
Simplifica la proposicin ~ (p ~ q) (p q) aplicando las leyes del lgebra
proposicional.
~ [~ (p ~ q)] (p q) Ley condicional
(p ~ q) (p q) Ley de doble negacin
p (~ q q) Ley distributiva
pV Ley del tercio excluido
p Formas normales