LOGICA PROPOSICIONAL

CONCEPTOS PREVIOS
En primer lugar consideremos un lenguaje como un conjunto de sonidos, letras,
gestos y smbolos mediante el cual se trasmite un mensaje.
En segundo lugar, el juicio es el acto mental por el cual pensamos cualquier
enunciado. En tercer lugar, una sentencia es una serie de signos a travs de los
cuales se expresan ideas. Finalmente en cuarto lugar denominaremos enunciado a
la expresin de una idea, esto es cualquier frase, expresin u oracin que nos
exprese una o ms ideas. De esta manera, los enunciados pueden ser de dos tipos:
atmicos y moleculares.
ENUNCIADO ATOMICO
Es aquel que carece de conjunciones.
Nota.- la palabra conjunciones en su sentido gramatical, que sirven de anexo
coordinado o subordinado entre enunciados, no se debe confundir con la
proposicin conjuntiva que se ver ms adelante.
Ejemplos:
Juan es administrador de empresas.
La USJB es una universidad privada.
ENUNCIADO MOLECULAR
Se obtiene combinando enunciados atmicos mediante conjunciones.
Ejemplos:
Luis es disciplinado y practica futbol.
Cuando Jorge camina su esposa est feliz.
En el estudio de la lgica es conveniente utilizar expresiones uniformes con el fin de
evitar ambigedades.
Ejemplos:

Si el Profesor llega a las 8:00 am estudiaremos MB.

Si es que el profesor llega a las 8:00 am estudiaremos MB
Estudiaremos MB siempre y cuando el profesor llegue a las 8:00 am.
Estudiaremos MB con tal que el profesor llegue a las 8:00 am.

Como vemos el lenguaje comn nos ofrece diversas formas de expresar un mismo
enunciado.

En el estudio de la lgica, conviene expresar estos enunciados mediant una misma

estructura, la cual puede ser:

Si el profesor llega a las 8:00 am entonces estudiaremos MB.

QUE ES UNA PROPOSICIN?

Las proposiciones son pensamientos en los que se afirma algo y que se expresan
mediante enunciados u oraciones declarativas
Enunciado
El sol es una estrella
El perro es una anima herbvoro
Qu hora es?
Ojala no te equivoques!
El tringulo es una figura geomtrica
MVLL es un escritor peruano
A es un jugador profesional
l es un estudiante

Proposicin verdadera
Proposicin falsa
NO ES PROPOSICION, es una
pregunta
NO ES PROPOSICION, es una orden
Proposicin verdadera
Proposicin verdadera
Enunciado abierto
Enunciado abierto

PROPOSICIN LGICA
Es el significado de una expresin aseverativa, es decir puede ser verdadero o falso,
pero no los dos a la vez.
Simbolizaremos a las proposiciones mediante letras minsculas: p, q, r, s, .
A estas se les denomina variables proposicionales.
Si una proposicin p es verdadera, anotaremos este hecho con la letra V, si p es
falsa la denotaremos con la letra F.
En resumen, si p es una proposicin lgica, est caracterizada por la siguiente tabla.
Proposicin
Verdadero
Falso

p
V
F

Ejemplo 1
De los siguientes enunciados, cules son proposiciones lgicas.
Enunciado
Los gatos son mamferos
Cul es tu edad?
El cido sulfrico corroe la madera
S honrado y trabajador

Proposicin lgica (V o F)
NO ES Proposicin lgica
Proposicin lgica (V o F)
NO ES Proposicin lgica

8 es un nmero par y es mayor que 7

Proposicin lgica (V o F)

Ejemplo 2
De las siguientes proposiciones, seale cuales son verdaderas o falsas.
Proposicin
p : la luna es un satlite de la tierra
q : los gatos no son mamferos
r : Dos ms tres es igual a siete
s : Todos los rboles son vegetales
t : El delfn es un animal marino

verdadero
falso
falso
verdadero
verdadero

PROPOSICIONES SIMPLES Y COMPUESTAS

Veamos las siguientes proposiciones:
Proposicin
El perro es un animal mamfero
El perro es un animal carnvoro
El perro tiene respiracin pulmonar
No es cierto que el perro ladre
El perro es un animal mamfero y
carnvoro
El perro es un animal mamfero o
carnvoro
Si el perro es un animal mamfero,
entonces tiene respiracin pulmonar
El perro tiene respiracin pulmonar, si y
solo si es un mamfero.

Proposicin simple o atmicas

Proposicin simple o atmicas
Proposicin simple o atmicas
Proposicin compuesta o molecular
Proposicin compuesta o molecular
Proposicin compuesta o molecular
Proposicin compuesta o molecular
Proposicin compuesta o molecular

CONECTIVOS LGICOS Y TABLAS DE VERDAD

Los conectivos lgicos, llamados tambin operadores o constantes, son smbolos
que reemplazan las conjunciones gramaticales y al adverbio de negacin NO.
EXPRESIN EN LENGUAJE
COMN
No es el caso que
... y
... o
Si entonces
si y solo si

SMBOLO

NOMBRE PROPOSICIN
Negativa
Conjuntiva
Disyuntiva
Condicional
Bicondicional

Conectiva

Expresin
en
el
Ejemplo
lenguaje
natural

Smbolo
en
este
artculo

Negacin

no

No est lloviendo.

Conjuncin

Est lloviendo
nublado.

est

Disyuncin

Est lloviendo
soleado.

est

Condicional
material

si...
entonces

Si
est
soleado, entonces es de
da.

Bicondicional

si y slo si

Est nublado si y slo

si hay nubes visibles.

Negacin
conjunta

ni... ni

Ni est soleado ni est

nublado.

Disyuncin
excluyente

o bien... o O bien est soleado, o

bien
bien est nublado.

Smbolos
alternativos

TABLA DE VERDAD
Antes de realizar el estudio de las proposiciones compuestas bsicas, veamos de
cuantas formas podemos combinar los valores de falso o verdadero de las

proposiciones simples. Al tratar de combinar observamos que son varias, dichas

combinaciones se presentan en una tabla, a la cual se denomina Tabla de verdad.

Cantidad de proposiciones
1 (p)
2 (p, q)
3 (p, q, r )

n (p, q, r, )

Numero de combinaciones
21 =2
22 =4
23 =8

Tabla de una proposicin p

p
V
F
Tabla de 2 proposiciones simples
p
V
V
F
F

q
V
F
V
F

Tabla de 3 proposiciones simples

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

ANALISIS DE LAS PROPOSICIONES BASICAS COMPUESTAS

PROPOSICION NEGATIVA O NEGACIN (

Son aquellas proposiciones que hacen uso del adverbio negativo NO o

expresiones equivalentes.

sus

Ejemplos:

El perro no ladra.
No es el caso de que el perro ladre.
No es cierto que el perro ladre.
Es falso que el perro ladre
No ocurre que el perro ladre.

Si representamos la proposicin, p: El perro ladra, su negacin sera:

p
V
F

p.

p
F
V

Ejemplo
Niegue la proposicin y designe sus respectivos valores
q : Csar Vallejo no ha sido poeta.
Solucin:
q : Csar Vallejo no ha sido poeta
q : No es el caso de Csar vallejo no ha sido
poeta
q : Csar Vallejo ha sido poeta

F
V
V

Aclaracin:
Si negramos la proposicin Csar Vallejo ha sido poeta, que est representado
por q, se obtiene ( q), es decir: Csar Vallejo NO ha sido poeta.
Ejemplo
Considerando la lista de proposiciones en la parte izquierda, veamos sus
negaciones en la parte derecha.

 La luna est hecha de queso.

Diciembre es el mes de la
navidad.
En invierno hace fro

PROPOSICION CONJUNCIN (

La luna no est hecha de queso.

Diciembre no es el mes de la navidad.
No es cierto que, en invierno hace fro

Sean p y q dos proposiciones, definimos la conjuncin de ellas, denotada por p q,

como la proposicin p y q cuya tabla de verdad es como sigue
p
V
V
F
F

q
V
F
V
F

q
V
F
F
F

Ejemplo
Sean p = El cielo est nublado en invierno y q = Llover hoy con seguridad,
luego la conjuncin de ellas es El cielo est nublado en invierno y llover hoy con
seguridad.
Ejemplo
Sean p = Los perros ladran y q =los gatos mallan, luego la conjuncin de ellas
es Los perros ladran y los gatos mallan.
Observacin
No es difcil deducir de la definicin por su tabla que la conjuncin es verdadera
nicamente cuando las proposiciones que la conforman son verdaderas y en
cualquier otro caso es falsa.
Ejemplo
Sea p =dos es par y q =dos es mayor que tres. La conjuncin de p y q es falsa
pues q es falsa.
Mediante la conjuncin es posible relacionar tanto proposiciones simples como
compuestas, por ejemplo puede conjuntarse la proposicin p con la proposicin
( q); y de la proposicin p
q, tambin se puede hacer una tabla de verdad, el
procedimiento es:
Primer paso
Se anotan las combinaciones de los valores de verdad de las proposiciones
simples.

p
V
V
F
F

q
V
F
V
F

Segundo paso
Se anota el valor de verdad de los componentes de la conjuntiva

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

q
F
V
F
V

Tercer paso
Se anota el valor de verdad de la conjuncin.
p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

F
V
F
F

q
F
V
F
V

En Resumen podemos decir que una TABLA DE VERDAD es un procedimiento

grafico que permite determinar los posibles valores de verdad de una proposicin
compuesta, a partir de la combinacin de los valores de verdad de sus
proposiciones componentes.

PROPOSICION DISYUNTIVA O DISYUNCIN

Son aquellas proposiciones que se relacionan mediante el conectivo lgico o, u otra
expresin equivalente.
Ejemplos

Maana har frio o calor. ( al menos una de ellas es verdadera)

13 es impar o es nmero primo. (al menos una de ellas es verdadera)
Iremos a Chosica o a la playa. (se excluye la ocurrencia de ambas
proposiciones).

La proposicin disyuntiva puede ser:

PROPOSICION DISYUNTIVA INCLUSIVA O DEVIL (

Una proposicin disyuntiva inclusiva es falsa solo si sus proposiciones componentes

son falsas, en otros casos es verdadera, la tabla de verdad es como sigue:

p
V
V
F
F

q
V
F
V
F

q
V
V
V
F

Ejemplos:
Mauricio es Mdico o Administrador.
Donde: p: Mauricio es Mdico y q: Mauricio es Administrador
La disyuntiva de ambas es p

q (se lee p y/o q)

Ejemplos:
Haga la tabla de verdad de la proposicin compuesta: p

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

(p

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

(p

(p

q)

q)
V
F
F
F

V
V
F
F

q)
V
F
F
F

PROPOSICION DISYUNTIVA EXCLUSIVA O FUERTE ()

Una proposicin disyuntiva exclusiva es verdadera si las proposiciones que la
conforman tienen valores de verdad diferentes, es decir excluye la posibilidad de
ocurrencia simultnea de ambas proposiciones componentes, la tabla de verdad
es como sigue:

p
V
V
F
F

q
V
F
V
F

p q
F
V
V
F

Ejemplo
Sea p: Iremos a Chosica, q: Iremos a la playa, la disyuntiva EXCLUSIVA se
simboliza con el signo , luego (p q) ser: O iremos a Chosica o oiremos a la
playa).
PROPOSICION CONDICIONAL ()
La proposicin condicional es falsa solo en el caso que el antecedente es verdadero
y el consecuente es falso, donde p es el antecedente y q el consecuente, la tabla
de verdad es como sigue:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Ejemplo
Considerando p =Juan gana la lotera y q =Juan est feliz, la condicional p q
Ser: Si Juan gana la lotera entonces est feliz.
De la tabla de la condicional observamos que ella es falsa nicamente cuando el
antecedente es verdadero y el consecuente es falso, en otro caso es verdadera.
Ejemplo
Si Andrs estudia, entonces aprobar MB, donde la proposicin simple p es:
Andrs estudia y la proposicin simple q: aprobar MB, luego la condicional se
simboliza por p q
La proposicin condicional puede ser:
Directa
El antecedente y consecuente van en ese orden respectivamente

Ejemplos

Si estudio, entonces aprobare MB

Antecedente
consecuente

Naci en Chincha, de modo que es chinchano

Antecedente
consecuente

David gano la tinka, por lo tanto es millonario

Antecedente
consecuente

Inversa
El consecuente y antecedente van en ese orden respectivamente.
Ejemplos

Aprobaste MB porque estudiaste

Consecuente
Antecedente

Tendrs tarjeta de crdito solo si cumples con los requisitos del banco
Consecuente
Antecedente

PROPOSICION BICONDICIONAL ()
Son aquellas proposiciones que se relacionan mediante el conectivo lgico si y
solo si o sus expresiones equivalentes.
La proposicin bicondicional es verdadera en el caso de que las proposicines que
la conforman tengan el mismo valor de verdad, la tabla de verdad es como sigue:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Ejemplos:

Un ngulo es recto, si y solo si su medida es de 90 grados.

Ser un Administrador si y solo si culmine mis estudios en la Universidad.

Resumen de la tabla de verdad de las proposiciones vistas

p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

q
V
F
F
F

q
V
V
V
F

p q
F
V
V
F

pq
V
F
V
V

pq
V
F
F
V

Ejemplo diversos:
Sean p, q y r las proposiciones:
p: El nmero N es par.
q: La salida va a la pantalla.
r: Los resultados se dirigen a la impresora.
Enunciar las formulaciones equivalentes de las siguientes proposiciones.
(a) q p.
(b)
q r.
(c) r (p q).
Solucin
(a) q p.
Si la salida va a la pantalla, entonces el nmero N es par.
La salida ir a la pantalla, slo si el nmero N es par.
El nmero N es par si la salida va a la pantalla.
Una condicin suficiente para que el nmero N sea par es que la salida vaya a la
pantalla.
Una condicin necesaria para que la salida vaya a la pantalla es que el nmero
N sea par.
(b)

q r.

Si la salida no va a la pantalla, entonces los resultados se dirigen a la

impresora.
La salida no va a la pantalla slo si los resultados se dirigen a la impresora.
Los resultados se dirigen a la impresora si la salida no va a la pantalla.
Una condicin suficiente para que los resultados se dirijan a la impresora es que
la salida no vaya a la pantalla.
Una condicin necesaria para que la salida no vaya a la pantalla es que los
resultados se dirijan a la impresora.

(c) r (p

q).

Si los resultados se dirigen a la impresora, entonces el nmero N es par o la

salida va a la pantalla.
Los resultados se dirigen a la impresora slo si el nmero N es par o la salida
vaya a la pantalla.
El nmero N es par o la salida va a la pantalla si los resultados se dirigen a la
impresora.
Una condicin suficiente para que el nmero N sea par o la salida vaya a la
pantalla es que los resultados se dirijan a la impresora.
Una condicin necesaria para que los resultados se dirijan a la impresora es que
el nmero N sea par o que la salida vaya a la pantalla.
Ejemplo
Sean las proposiciones
p: Est nevando.
q: Ir a la ciudad.
r: Tengo tiempo.
(a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una
de las afirmaciones siguientes:
(a.1) Si no est nevando y tengo tiempo, entonces ir a la ciudad.
Solucin:
( p r) q
(a.2) Ir a la ciudad slo si tengo tiempo.
Solucin:
qr
(a.3) No est nevando.
Solucin
p
(a.4) Est nevando, y no ir a la ciudad.
Solucin
p
q

continuara !!!

Ejemplo
Sean las proposiciones
p: Est nevando.
q: Ir a la ciudad.
r: Tengo tiempo.
b) Enunciar las afirmaciones que se corresponden con cada una de las
proposiciones siguientes:
(b.1) q (r
p)
(b.2) r q
(b.3) (q r) (r q)
(b.4) (r q)
Solucin
(b.1) Ir a la ciudad si, y slo si tengo tiempo y no est nevando.
(b.2) Tengo tiempo e ir a la ciudad.
(b.3) Ir a la ciudad si y slo si tengo tiempo.
Si ir a la ciudad entonces tengo tiempo y tengo tiempo entonces ir a la ciudad
Tengo tiempo porque ir a la ciudad e ir a la ciudad solo si tengo tiempo.
(b.4) Ni tengo tiempo, ni ir a la ciudad.
Recuerde Inversa de condicional:

Aprobaste MB porque estudiaste

Consecuente
Antecedente

Tendrs tarjeta de crdito solo si cumples con los requisitos del banco
Consecuente
Antecedente
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

q
V
F
F
F

q
V
V
V
F

p q
F
V
V
F

pq
V
F
V
V

pq
V
F
F
V

Ejemplo
Hacer la tabla de verdad:
a)
[

(p q) ] [(
p

q p)

( q

p)]

( p

q) ] [(

p)

b)
[(

p q) p] [(
p

q p)

q]

[(

p q) p] [(

q p)

q]

p)]