Universidad Catlica Cecilio Acosta

Facultad de Filosofa y Teologa

Programa de Filosofa a Distancia
Asignatura: Lgica

Lgica
Unidad IV Lgica Proposicional,

Conectivos u Operadores Lgicos, Valores de Verdad

de los Operadores Lgicos, Tablas de Verdad,
Tautologa, Contradiccin, Contingencia y Frmulas
Equivalentes.

Especialista de Contenido:
Ana Rodrguez

Maracaibo, Venezuela 2008-2009

Revisado: Septiembre 2009

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 2

CONTENIDO
Tema I Lgica proposicional....3
1. Presentacin.....3
1.1. Proposiciones...6
1.2. Representacin de una proposicin en el calculo proposicional.6
2. Proposiciones simples y compuestas....7
Tema II Conectivos u operadores lgicos......9
1. Conectivas......9
1.1. La conectiva no o negacin...10
1.2. La conectiva y o conjuncin copulativa..10
1.3. La conectiva o u disyuntiva incluyente...11
1.4. La conectiva oo u disyuntiva excluyente...12
1.5. La conectiva si., entonces o condicional...13
1.6. La conectiva si y slo si o bicondicional....14
Tema III Valores de verdad de los operadores lgicos....16
1. Negacin......16
2. Conjuncin.....17
3. Disyuncin incluyente......18
4. Disyuncin excluyente...19
5. El condicional......21
6. El bicondicional......22
Tema IV Tablas de verdad....24
Tema V Tautologa; contradiccin; contingencia y, frmulas equivalentes..28
1. Tautologa......28
2. Contradiccin......29
3. Contingencia.....30
4. Frmulas equivalentes.....30
Referencias bibliogrficas....33

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 3

UNIDAD IV
Tema I Lgica proposicional
No puedes encontrar la verdad con la lgica si no
la has encontrado ya sin ella.
G.K. Chesterton

1. Presentacin
En esta cuarta unidad vamos a introducirnos propiamente en el estudio de la
lgica simblica. Para ello nos detendremos, primero, en la construccin del
lenguaje del calculo proposicional, y, segundo, en aprender las tcnicas necesarias
para demostrar dentro de este calculo la validez de los razonamientos.
En la unidad anterior, conocimos el tipo de razonamiento aristotlico, el cual
constituye la lgica tradicional que ha sido estudiada y enseada desde su poca
hasta nuestros das. Un ejemplo sencillo de la lgica aristotlica es el silogismo. En
este capitulo estudiaremos la lgica simblica, la cual est basada en las
investigaciones de hombres como el matemtico alemn, Leibniz. (1647- 1716), y
George Boole (1815-1864). Gracias a este matemtico ingls fueron aplicadas el
simbolismo moderno y las operaciones de tipo algebraico por primera vez de
manera sistemtica a la lgica.
El estudio de la lgica se desarroll con paso acelerado a partir del anlisis de
Boole, y se ha logrado un considerable progreso respecto a la comprensin de la
verdad lgica. Cada vez que se trata de resolver un problema, se toma parte en un
debate, o se trata de llenar un crucigrama, se realiza una actividad mental llamada
razonamiento lgico; el cual, por lo regular, se expresa en trminos de enunciados
declarativos. En esta unidad trataremos acerca de tales enunciados.
Los conocimientos adquiridos en las unidades anteriores sern de mucha utilidad
para la mejor comprensin de muchos de los aspectos que aqu se explicarn.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 4

En la construccin del lenguaje del clculo proposicional tenemos que tener

muy presentes los conceptos de sintaxis y semntica. La sintaxis nos proporcionar
las reglas que nos permitirn determinar cuando una sucesin de los smbolos que
vamos a emplear constituyen una formula bien formada de ese lenguaje. La
semntica estar presente cuando, de alguna manera, interpretemos esos smbolos
lgicos, indicando, por ejemplo, a que objetos se refieren.
El lenguaje lgico es convencional y se ha creado con el fin de aplicarse en
forma totalmente precisa y rigurosa. A diferencia de los lenguajes naturales, el
lenguaje lgico, por ser ms simple, es mucho ms preciso; de tal manera que cada
smbolo del mismo se refiere a un nico objeto completamente determinado. Por
eso el lenguaje lgico es el ms apropiado para la ciencia. Como todo lenguaje, el
lenguaje lgico tiene smbolos, reglas de formacin y reglas de transformacin. Los
smbolos se escogen convencionalmente. Las reglas de formacin definirn cuando
es una frmula bien formada del sistema. Las reglas de transformacin nos
permitirn obtener frmulas bien formadas de otras frmulas bien formadas.
Veamos un ejemplo para entender mejor lo afirmado. El castellano es un lenguaje
y, como tal, tiene smbolos, reglas de formacin y reglas de transformacin.
Los smbolos son las letras del alfabeto y los signos de puntuacin, las reglas de
formacin nos definen qu sucesin de letras o palabras constituyen frmulas bien
formadas del castellano. As, una sucesin de signos como ddj1 no es una
frmula bien formada del castellano; en cambio s se puede dar la secuencia
siguiente pri.
Las reglas de transformacin nos permiten, por ejemplo, transformar la frmula
bien formada: mi amigo compr un carro, en sta, que es su equivalente: un
carro fue comprado por mi amigo. Las reglas de transformacin que hemos
aplicado es aquella que, en castellano, permite cambiar una oracin en voz activa
en otra en voz pasiva. Eso mismo tiene lugar en el lenguaje lgico.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 5

Los conceptos de forma y funcin del lenguaje nos servirn para definir con
exactitud lo que es una proposicin y, de paso, especificar qu parte del lenguaje
natural interesa al lgico.
La unidad termina con el aprendizaje de mtodos demostrativos de validez de
los razonamientos. Esto quiere decir que el lenguaje que vamos a aprender y el
calculo que vamos a realizar con el, slo tienen significacin como instrumentos
para aplicar las tcnicas que nos permitirn decidir la correccin o incorreccin de
los razonamientos. Los conceptos de forma lgica y contenido, verdad y validez,
nos permitirn entender porque es suficiente con demostrar la validez de la forma
de un razonamiento para demostrar la validez del razonamiento mismo y, adems,
cuando tenemos garanta de la verdad de la conclusin.
Los conceptos de uso y mencin de nombre nos sern necesarios para identificar
aquellas proposiciones que, aunque usen las mismas palabras, tiene referentes
distintos y, por lo tanto, constituyen proposiciones distintas.
Como sugiere el titulo de la unidad, vamos a calcular u operar con
proposiciones. Ahora bien, sera muy difcil operar con proposiciones completas no
solo por lo largo del clculo, sino tambin por la ambigedad a la que nos podra
conducir. De ah la necesidad de contar con smbolos y reglas apropiadas que nos
permiten hacerlo con facilidad y elegancia. Imagnese que engorroso sera calcular
en aritmtica s no se contara con los nmeros. Tendramos que hacerlo con las
expresiones del castellano. As, por ejemplo, para sumar tendramos que hacer una
cosa como sta: dos ms catorce, ms doscientos cuarenta y nueve igual a
doscientos sesenta y cinco. En cambio, con los smbolos aritmticos se reduce a
una operacin tan fcil como esta: 2+14+249 = 265. No hace falta insistir entonces,
en la conveniencia de usar smbolos para cualquier clculo.
Quiero aadir que: hoy da el que no domine el lenguaje lgico le es casi
imposible progresar con eficiencia en el campo de la investigacin cientfica,
as como en el de la metodologa cientfica. Tal vez an no puedas percibir el
alcance total de este clculo hasta que te dediques a estudios ms profundos; no

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 6

obstante, estoy segura de que su estudio y su manejo sern muy fructferos para
continuar los estudios de tu carrera profesional.
No est por dems decir que se necesita una cierta capacidad de abstraccin en
el estudio de esta unidad, si se tiene en cuenta que nos vamos a desprender en
gran medida de los contenidos y vamos a operar con puras formas.

1.1. Proposiciones
En sta y en las siguientes secciones, retomaremos el estudio de las
proposiciones como enunciados declarativos necesarios para comprender el calculo
proposicional.
Recordemos que, en general, una proposicin es un enunciado declarativo que
puede considerarse como falso o verdadero, pero no como ambas cosas al mismo
tiempo. Esta capacidad de ser calificadas como falsas o verdaderas hace que las
proposiciones difieran de las preguntas, rdenes o exclamaciones. Se pueden hacer
preguntas, dar rdenes y hacer exclamaciones exaltadas; pero slo las
proposiciones pueden ser calificadas como falsas o verdaderas.

1.2. Representacin de una proposicin en el calculo

proposicional
Cabe destacar que en lgica las proposiciones se representan con letras
minsculas, ejemplo: p, q, r, s, m,, a las que llamamos categoremas o variables
proposicionales. Las proposiciones del lenguaje natural se pueden representar de la
siguiente forma:
p = Caracas es la capital de Venezuela
q = En Florida hay cinco trillones de granos de arena

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 7

2. Proposiciones simples y compuestas

Dos o ms proposiciones pueden unirse dando origen a una proposicin de
estructura ms compleja, a las cuales se le denomina frmulas proposicionales,
proposiciones moleculares o proposiciones compuestas.
Los componentes de estas proposiciones se llaman proposiciones simples o
atmicas.
En el siguiente ejemplo, p es una proposicin simple al igual que q:
p = Juan estudia en la UNEFA
q = Karina estudia en la UNEFA,
mientras que
Juan estudia en la UNEFA y Karina estudia en la UNICA
corresponde a la proposicin compuesta p y q.
Observa que, para formar la proposicin anterior, se unen las proposiciones
simples por medio de la conjuncin y,
Otras formas como se pueden conectar las proposiciones son:
la disyuncin (o): Juan va a la playa o Juan va al vila
el condicional (si, entonces): si estudia, entonces aprueba el examen
y el bicondicional (si y slo si):Un n es divisible por 2 si y slo si n es par.
En muchos casos la formacin de las proposiciones compuestas amerita el uso
de signos de agrupacin tales como: ( ), [ ] y { }.
Muchas veces conocemos una proposicin y necesitamos saber la proposicin
contraria; en este caso estamos hablando de la negacin de una proposicin. Por
ejemplo:

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 8

p = Pedro es buen estudiante, la negacin de la proposicin p sera:

no p = Pedro No es buen estudiante.
A partir de ahora, los posibles valores de verdad de una proposicin se
denotarn con la las letras: V para verdadero y F para falso. De este modo, la
proposicin El hierro es un metal tiene un valor de verdad igual a V, en tanto que
la proposicin, las hojas de los rboles son de vidrio tiene un valor de verdad
igual a F.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 9

UNIDAD IV
Tema II Conectivos u operadores lgicos
1. Conectivas
Denominaremos conectiva de una proposicin molecular, al elemento verbal o
escrito que une a las proposiciones atmicas que forman aqulla. Por extensin, a
la negacin 1 de una proposicin tambin le llamaremos conectiva.
Existen dos tipos de conectivas: las que ligan dos proposiciones atmicas o
conectivas mltiples, y las negaciones o conectivas singulares.
Para el desarrollo del curso, slo necesitaremos de las seis conectivas
siguientes:
no, y, o, o.o, si entonces , si y slo si
Ejemplos:
a) Los tres ngulos de un tringulo rectngulo no son iguales.
b) Jos estudia Matemticas y Jos estudia violn.
c) Est nublado o hace fro.
d) O el nmero natural n es par o el nmero natural n es impar.
e) Si la nieve es negra, entonces el gato es un cuadrpedo.
f) El tringulo tiene cuatro lados si y slo si 3 5 = 9
Observaciones:
1a Aunque la construccin gramatical del ejemplo b) no es la ms apropiada, a
veces es preferible hacerlo as para evitar ambigedades.
2a Ms adelante sern debidamente aclarados los ejemplos e) y f).
Si representamos las proposiciones atmicas con p y q, las proposiciones
moleculares que sern objeto de nuestro estudio, son:
1

Algunos llaman a este conectivo mondico puesto que afecta a un solo trmino, mientras que los
dems signos, por unir a dos trminos, seran los conectivos binarios.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 10

a) no p,

b) p y q,

c) p o q,

d) o p o q,

e) si p entonces q,

f) p si y slo si q

Para una mejor comprensin de las seis conectivas sealadas anteriormente, a

continuacin a estudiaremos cada una de ellas por separado.

1.1. La conectiva no o negacin: es la nica conectiva singular de

las que vamos a estudiar; se representa con el signo ~ colocado a la izquierda de
la variable; por tanto, si la letra proposicional es p, escribiremos:

~p
y se leer no p
Ejemplos:
a) Caracas No es la capital de Francia.
b) La raz cuadrada de 2 No es un nmero racional.
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene
otra, que es su negacin. El concepto lgico de negacin coincide con la idea de
negacin manejada en el lenguaje natural. Por eso, es un concepto tan sencillo.
Puede decirse que:
el valor de verdad de una proposicin negada ser el contrario del que
tiene la proposicin.
Desde luego, lo que se acaba de decir se ve mejor representado en una tabla de
la verdad. Explicacin que se estudiar en los temas IV y V respectivamente.

1.2. La conectiva y o conjuncin copulativa:

la conjuncin

corresponde a la conjuncin copulativa castellana (y), as como tambin a toda

expresin que de la misma idea de enlazar dos enunciados, tales como: a la vez,

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 11

tambin, sin embargo, pero, sino, etc. El objeto de la misma es unir dos
proposiciones, la representamos con el signo ; por tanto, si las proposiciones son
p y q, escribiremos:
pq
y leeremos: p y q.
Ejemplos:
a) Hace sol y est lloviendo
b) El nmero 15 es divisible por 3 y por 5.

1.3. La conectiva o u disyuntiva incluyente:

la disyuncin

corresponde a al castellano (o). La disyuncin incluyente tiene un sentido No

exclusivo, es decir, uno, u otro, o ambos. Es decir, denota alternativa y

simultaneidad entre dos proposiciones; la representaremos con el signo ; por

tanto, si las proposiciones son p y q, escribiremos:
pvq
y leeremos p o q, o bien p o/y q.

La proposicin p v q es la suma lgica de las proposiciones donde p y q son los

sumandos.
Conviene aclarar que la proposicin debe tomarse con uno de los significados
siguientes:
1 Se verifica la proposicin p, pero no la q;
2 Se verifica la proposicin q, pero no la p;
3 Se verifican simultneamente las proposiciones p y q.
Ejemplos:
a) Jos se casa o Jos compra un paraguas.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 12

La proposicin molecular anterior, debe tomarse en el sentido de que Jos se

dar por satisfecho de una de las tres formas siguientes:
Casndose y no comprndose el paraguas
Comprndose el paraguas y no casndose; y
Casndose y comprndose el paraguas.
b) El nmero natural n es mltiplo de 3 o de 5.
Esta proposicin debemos tomarla en el sentido de que el nmero n puede ser:
Mltiplo de 3 pero no de 5
Mltiplo de 5 pero no de 3 ; y
Mltiplo de 3 y de 5 simultneamente.

1.4. La conectiva oo u disyuntiva excluyente: la disyuncin

excluyente tambin corresponde a al castellano (o). Sin embargo a diferencia de la
disyuncin incluyente, esta tiene un sentido exclusivo, es decir, uno u otro, pero
no ambos. La misma indica alternativa entre dos proposiciones p y q, la
representaremos con el signo v. La proposicin molecular vendr representada,
pues, en la forma:

p v q y leeremos o p o q, o bien p o q, pero no ambos.

La proposicin anterior es la suma booleana de las proposiciones p y q y stas

son los sumandos.
La proposicin (4) debe tomar p y q con uno de los dos significados siguientes:
Se verifica p , pero no q .
Se verifica q , pero no p .
Ejemplos:

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 13

a) O voy esta tarde al teatro o voy al cine.

Esta proposicin debe tomarse en el sentido de que si voy al teatro no voy al
cine y de que si voy al cine no ir al teatro, pero ir a uno de estos espectculos.
b) El nmero real o es racional o es irracional.
El significado de la proposicin anterior est bien claro, pues un nmero real
puede ser racional o irracional, pero no ambas cosas a la vez.

1.5. La conectiva si., entonces o condicional: la

conectiva

del condicional (si, entonces), conocida tambin como implicacin. Expresa la

idea de una condicin y su consecuencia. Vemos como est presente la idea de una
causa y el efecto de la misma. Se usa para obtener una proposicin molecular a
partir de dos atmicas, sin pretender en ningn momento que el enunciado
obtenido vaya a responder siempre a la idea gramatical ordinaria que se tiene
sobre stos.

La conectiva condicional la representamos con el signo ;por tanto, la

proposicin molecular correspondiente a las proposiciones p y q deber ser escrita
en la forma:
p

Leeremos si p entonces q
En la proposicin anterior p es el antecedente y q el consecuente del
condicional.
Ejemplos:
a) Si los elefantes vuelan, entonces la nieve es negra.
b) Si los tringulos tienen cuatro lados, entonces Madrid es la capital de Espaa.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 14

Los ejemplos anteriores extraarn al lector desprevenido, pues les parecern

(y estarn en lo cierto) enunciados incoherentes y desprovistos de todo significado;
pero, si revisa de nuevo la definicin de la conectiva en estudio, podr comprobar
que

dichos

ejemplos

son

efectivamente

proposiciones

moleculares,

independientemente de que sean verdaderas o falsas las proposiciones p y q, y de

que entre stas exista o no dependencia.

1.6. La conectiva si y slo si o bicondicional: la conectiva del

bicondicional, conocida tambin como equivalencia; en el lenguaje natural se suele
asociar con la expresin "si y slo si", y que remite a la doble condicionalidad
establecida entre los elementos (frmulas) que relaciona. Se usa (al igual que la
anterior) para obtener una proposicin molecular a partir de dos atmicas,
prescindiendo de que el enunciado obtenido tenga o no sentido gramatical y de que
entre las proposiciones atmicas componentes exista o no dependencias.
An cuando, de acuerdo con la definicin, sta conectiva coincide con la
anterior, al estudiar las tablas de verdad tendremos oportunidad de establecer las
debidas diferencias entre ambas.

La conectiva bicondicional la representaremos con el signo ; por tanto, la

proposicin molecular correspondiente a las proposiciones p y q deber ser escrita
de la forma:

pq
Leeremos p si y slo si q.
En sta, p es el antecedente y q el consecuente del bicondicional.
Ejemplos:
(a) Los gatos son vertebrados si, y slo si, Paris es la capital de Francia.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 15

(b) Los nmeros pares son divisibles por dos si, y slo si, los pentgonos tienen
cuatro lados.

Nota importante
Antes de culminar con este tema es necesario aclarar que no existe un grafismo
o simbologa nica para los diferentes signos de operacin, los que se mostraron en
esta unidad son los ms empleados y por esta razn, los utilizaremos en nuestro
curso. Sin embargo; para su comodidad, se incluir el siguiente cuadro comparativo
que muestra las dos principales grafas y sus respectivos autores.

Fuente: ngel Muoz (1992): Lgica Simblica Elemental, Pg. 55.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 16

UNIDAD IV
Tema III Valores de verdad de los operadores
lgicos
Dada la importancia de los conectivos sealados en la lectura anterior, es
pertinente establecer los valores de verdad (v f) de cada proposicin compuesta
(molecular o resultante) para cada conectivo. A tal efecto, se utiliza la Tabla de
Verdad, la cual se construye partiendo de la valoracin de cada una de las
proposiciones componentes (atmicas).

1. Negacin
Es til para estas lecturas, tener en cuenta que el utilizado para negar una
proposicin es variable segn el autor. Presentamos a continuacin algunos signos
utilizados para negar una proposicin.

Dada una proposicin p, se denomina la negacin de p a otra proposicin

denotada por ~p (se lee "no p") al cual se le asigna el valor de verdad contrario al
de p. Por ejemplo:
p: Luis habla ingls
~p: No es cierto que Luis habla ingls
Por lo que nos resulta sencillo construir su tabla de verdad:

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 17

Ejemplo: La negacin de p= todos los peces viven en el ocano es,

~p= no es cierto que todos los peces viven en el ocano.
o bien
~p= todos los peces no viven en el ocano.

2. Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a
la proposicin p q (se lee " p y q "), que establece que la conjuncin es verdadera
slo si las dos proposiciones componentes son verdaderas. Cuando una de ellas no
se cumple, la proposicin resultante es falsa.

A continuacin presentamos la tabla de verdad de la conjuncin p q:

Explicacin
Si las dos son verdaderas, la conjuncin es verdadera
Si por lo menos una de ellas es falsa,
La conjuncin es falsa

Ejemplo: Sea la proposicin molecular:

8 es mltiplo de 2 y 9 es un nmero impar

pq
P= 8 es mltiplo de 2;
q= 9 es un nmero impar
Por ser ambas verdaderas, la conjuncin entre ellas, es verdadera.
Ejemplo: Sea la proposicin molecular:
La fresa es una fruta y 3 es un nmero par.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 18

Esta conjuncin es falsa, pues:

p= La fresa es una fruta, es verdadera, mientras que q= 3 es un nmero par, es
falsa.
Por tanto, esta proposicin p

q es falsa, ya que ambas proposiciones no

pueden ser simultneamente verdaderas.

3. Disyuncin incluyente
Dadas dos proposiciones p y q, se denomina disyuncin incluyente de estas
proposiciones a la proposicin p

q (se lee " p o q "), que establece que la

disyuncin incluyente es verdadera si al menos una de las dos proposiciones que la

componen, es verdadera. Cuando todas ellas son falsas, la proposicin resultante es
falsa.
A continuacin presentamos la tabla de verdad de la disyuncin incluyente p v q:
Explicacin
Si por lo menos una es verdadera
La disyuncin es verdadera
Si las dos son falsas, la disyuncin es falsa

Ejemplo: Sea la proposicin molecular:

El cielo es azul o el agua es incolora.

pvq
Esta disyuncin es verdadera, pues:
P= El cielo es azul, es verdadera y

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 19

q= El agua es incolora es verdadera, por tanto, esta proposicin p

q es

verdadera, ya que ambas proposiciones son simultneamente verdaderas.

Ejemplo: Sea la proposicin molecular:
El nmero uno, es el elemento neutro de la suma o el nmero 44 es par.
Esta disyuncin es verdadera, pues:
P= El nmero uno es el elemento neutro de la suma, es falsa y q : el nmero 44
es par, es verdadera; por tanto la proposicin p

q es verdadera, pues por lo

menos una de ellas es verdadera

Ejemplo: Sea la proposicin molecular:
Los Carnavales se celebran en el mes de Diciembre o la navidad es en el mes de
Agosto.
Esta disyuncin es falsa, pues:
p= Los Carnavales se celebran en el mes de Diciembre, es falsa y q= La Navidad
es en el mes de Agosto, es falsa, por tanto, la proposicin p

v q es falsa, ya que las

dos proposiciones son falsas.

4. Disyuncin excluyente
Dadas dos proposiciones p y q, se denomina disyuncin excluyente de estas
proposiciones a la proposicin p

v q (se lee " o p o q "), la misma establece que la

disyuncin excluyente es verdadera si slo una de las dos proposiciones

componentes es verdadera.
Cuando ambas proposiciones son verdaderas o ambas falsas, la proposicin
resultante es falsa.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 20

A continuacin presentamos la tabla de verdad de la disyuncin excluyente p v q :

Ejemplo: Sea la proposicin molecular:

O el nmero uno es el elemento neutro de la multiplicacin o el

nmero 44 es par.
Esta disyuncin excluyente es falsa, pues:
p= El nmero uno, es el elemento neutro de la multiplicacin, es verdadera y q=
el nmero 44 es par es verdadera, por tanto, la proposicin p

v q es falsa, ya que

ambas proposiciones son verdaderas y por definicin, slo una debe ser verdadera.
Ejemplo: Sea la proposicin molecular:
Los Carnavales se celebran en el primer trimestre del ao o La navidad es en el
mes de Agosto.
Esta disyuncin excluyente es verdadera, pues:
p= Los Carnavales se celebran en el primer trimestre del ao, es verdadera y q=
La Navidad es en el mes de Agosto, es falsa, por tanto, la proposicin
p v q es verdadera, pues una y slo una de las dos proposiciones es verdadera.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 21

5. El condicional
El condicional de las proposiciones " p y q " es la proposicin p

q (si p

entonces q) cuya tabla de verdad es:

La proposicin p se llama antecedente, y la proposicin q se
llama consecuente del condicional. La tabla nos muestra que la
implicacin slo es falsa si el antecedente es verdadero y el
consecuente es falso.

Ejemplo: Supongamos la implicacin

Si entreno, entonces me inscribo en la competencia

p

El condicional est compuesto de las proposiciones p= entreno q= me inscribo

en la competencia. Nos interesa conocer la verdad o falsedad de la proposicin
compuesta, en relacin 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 entreno, quedo liberado del
compromiso y me inscriba o no en la competencia, el condicional es verdadero.
Si p es verdadera, es decir si entreno, y no me inscribo en la competencia, el
compromiso no se cumple y la proposicin compuesta es falsa.
Si p y q son verdaderas, entonces la proposicin compuesta es verdadera pues el
compromiso se cumple.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 22

6. El bicondicional
El si y slo si de las proposiciones p y q es la proposicin p

q (se lee "p si y

slo si q") cuya tabla de verdad es:

Si y slo si o el bicondicional slo es verdadera si ambas

proposiciones tienen el mismo valor de verdad. El bicondicional
puede definirse como la conjuncin de una implicacin y su
recproca. De este modo, la tabla de valores de verdad de p

q puede obtenerse mediante la tabla de (p

q) (q p), como vemos:

En las prximas lecturas trabajaremos con frmulas proposicionales; para ello

es indispensable el uso de las prioridades de los conectivos y los signos de
agrupacin, que listaremos a continuacin:

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 23

Esta tabla nos indica que:

1) Primero resolvemos las frmulas parciales que se encuentran entre
parntesis, de adentro hacia fuera.
2) Luego resolvemos las negaciones.
3) Despus los conectivos, conjuncin y disyuncin incluyente o excluyente.
4) Por ltimo el condicional y/o bicondicional.
Para la siguiente frmula: [p

~ (q v r)] ~ p

Se resuelve primero el parntesis ms interno (q v r) (Prioridad 1)

Luego negamos el resultado de (q v r) (Prioridad 2)
Despus usamos el conectivo

con p y el resultado anterior (Prioridad 3)

Por ltimo el resultado de nuestra tabla se obtiene con el condicional

partir del resultado anterior y

~p

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 24

UNIDAD IV
Tema IV Tablas de verdad
Para la construccin de la tabla, la dividimos en dos partes. La parte izquierda
la llamaremos margen y a la derecha la llamaremos cuerpo.
En el margen colocaremos los valores de verdad de las variables proposicionales
que intervienen. El nmero de dichos componentes determina la cantidad de
posibles c de valores de verdad que aparecern en la tabla. Este nmero total de
combinaciones se calcula con la operacin 2n, donde la base indica los nicos dos
valores que puede asumir una variable proposicional (V o F), y el exponente el
nmero de variables proposicionales que intervienen, ejemplo:

En la proposicin (~ p

v q) ~ q , intervienen dos variables proposiciones (p y

q), el nmero de combinaciones para construir la tabla sera 2n = 22 = 4; por lo

tanto el margen queda como lo muestra la figura anterior. El cuerpo se va
formando con las proposiciones parciales hasta llegar a la proposicin compuesta
final; es decir, se agregan tantas columnas como proposiciones atmicas se
encuentren agrupadas (en parntesis), leyendo la frmula de izquierda a derecha
para iniciar el cuerpo de la tabla, y respetando las prioridades de los conectivos y
signos de agrupacin. Siguiendo el ejemplo anterior tenemos:
Primero agregamos al cuerpo de la tabla la proposicin ~p

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 25

En este caso el cuerpo, corresponde a la tercera columna.

Luego agregamos al cuerpo de la tabla, (~ p v q)

La cual se resuelve combinando las columnas de ~p con la de q y utilizando la

formula correspondiente a la disyuncin
Posteriormente agregamos ~q

Y por ltimo, agregamos la frmula (~ p

v q) ~ q y valoramos el conectivo

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 26

Esta ltima operacin corresponde al resultado de nuestra tabla.

Veamos otro ejemplo: Construir la tabla de verdad correspondiente la
proposicin compuesta r

~(p q)

Solucin:
Observe que la proposicin posee 3 variables (p, q y r), por lo que tiene 8
combinaciones (C= 23), y se sigue el mismo procedimiento del ejemplo anterior
para construir el margen y el cuerpo.

Explicacin: las primeras tres columnas corresponden a los valores de las

variables.
La cuarta columna corresponde al resultado de la implicacin; cuyo resultado se
obtuvo de la combinacin de las variables p y q (las columnas 1 y 2
respectivamente)
La quinta columna corresponde al valor de la negacin compleja; es decir, se
neg el resultado de la implicacin.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 27

Y por ultimo la sexta y ltima columna, la cual corresponde al valor de la

conjuncin; sta se obtuvo gracias a la combinacin del resultado de la negacin
compleja (columna 5) y de la variable r (columna 3).
Ahora verifica tu aprendizaje. Construye la tabla de verdad para las siguientes
proposiciones compuestas:
1. ~ [p

( q r)]

2. [~ p v ~ q]

~[ p (~ q ~ p)]

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 28

UNIDAD IV
Tema V Tautologa; contradiccin; contingencia
y, frmulas equivalentes
Las frmulas proposicionales tambin pueden clasificarse de acuerdo a los
valores de verdad que puede asumir. Segn

este criterio, las frmulas

proposicionales se clasifican en:

1. Tautologa
Diremos que una frmula es una tautologa, si y slo si, lla es siempre
verdadera, no importa cules sean los valores de sus componentes.
Ejemplo:
Comprobar que la frmula (p

q)

(~ q

~ p) es una tautologa. Para

comprobarlo slo tenemos que construir su correspondiente tabla de verdad:

Puede observarse que en la ltima columna los valores de verdad son todos V,
en consecuencia, dicha frmula es una tautologa.
Una tautologa es una proposicin formalmente verdadera; es decir, es siempre
verdadera por su forma lgica, dicho de otro modo, por la forma en que se
relacionan sus proposiciones componentes, independientemente de los valores de
verdad de stas.

Unidad IV. Lgica Proposicional Pg. 29

Lgica Versin pdf

A la tautologa tambin podemos llamarla principio lgico o proposicin

universalmente verdadera.
Como

veremos

ms

adelante,

las

tautologas

son

sumamente

tiles;

precisamente porque no se da en ellas la falsedad en ninguna circunstancia.

2. Contradiccin
Diremos que una frmula es una contradiccin, si y slo si, ella es siempre
falsa, no importa cuales sean los valores de verdad de sus componentes.
Ejemplo:
Comprobar que la frmula ~ [p

( q p)] es una contradiccin.

Construyamos la tabla de verdad:

En efecto, podemos observar que se trata de una contradiccin, ya que los

valores de verdad de la ltima columna son todos F.
La contradiccin es siempre falsa por su forma lgica, independientemente del
valor de verdad de las proposiciones componentes. Una contradiccin es una
proposicin universalmente falsa.
Desde luego, al negar una tautologa se obtiene una contradiccin y viceversa,
al negar una contradiccin se obtiene una tautologa.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 30

3. Contingencia
Diremos que una frmula es una contingencia, si y slo si, lla es verdadera en
unos casos y falsa en otros, no importa en que proporcin.
Ejemplo:
Comprobar que la frmula (p q) (q v p) es una indeterminacin. La tabla de
verdad correspondiente es:

En efecto, se trata de una contingencia o indeterminacin, porque al final de su

tabla hemos obtenido valores V y F.

4. Frmulas equivalentes
Dos frmulas proposicionales decimos que son equivalentes, si y slo si, en llas
intervienen las mismas variables proposicionales y, en sus tablas de verdad, las
columnas correspondientes al resultado son idnticas entre s.
Dadas dos frmulas proposicionales cualesquiera, designadas por A y B, si llas
son equivalentes, escribimos A

B que se lee: la frmula A es equivalente a la

frmula B.

Si tales frmulas no son equivalentes, entonces escribimos A

frmula A no es equivalente a la frmula B

B que se lee la

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 31

Ejemplo:
Comprobar cuales de las siguientes frmulas son equivalentes:
~p

~q

v~q

~p

Construyamos sus correspondientes tablas de verdad, las cuales resumiremos en

una sola, porque en ellas participan las mismas variables proposicionales:

Resulta evidente que las dos primeras frmulas tienen idnticas distribuciones
de valores de verdad, diremos entonces que esas dos frmulas son equivalentes y lo
escribimos, as: ~p

~ q p v ~q

Si dos frmulas A y B son equivalentes, entonces decimos que A es

expresable en trminos de los conectivos en B y viceversa.
Ejemplos
1.- Se verifica que (p

q) es una frmula equivalente con: ~(~ p v ~ q), por lo

tanto, podemos decir que la conjuncin es expresable en trminos de la negacin y

de la disyuncin incluyente.
2.- Tambin se verifica que (p

q) es una frmula equivalente con: ~ (p ~ q)

en este caso, podemos decir que el condicional es expresable en trminos de la

negacin y de la conjuncin.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 32

3.- Una equivalencia importante es (p

q) es una frmula equivalente con: [(p

q) (q p)], nos permite expresar al bicondicional en trminos de la conjuncin

y el condicional.
4.- Igualmente importante es la equivalencia, (p
equivalente con:~ (p

q) es una frmula

q), que nos permite expresar a la disyuncin excluyente en

trminos de la negacin y el bicondicional.

Lgica Versin pdf

Unidad IV. Lgica Proposicional Pg. 33

Referencias bibliogrficas

BRITTON, Jack R. y BELLO HARLA, Ignacio. (2002) Matemtica Contempornea.

Segunda edicin. (P. 59 - 61).Mxico.
BURGOS, Alfonso. (1983) Iniciacin a la Lgica Matemtica. Ediciones Vega s.r.l.
Dcima edicin. Madrid.
GALLO, Cesar. (1996) Matemticas para Estudiantes de Administracin y Economa.
U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 31-36) Caracas.
MUOZ, ngel. (1992) Lgica Simblica Elemental. Editorial Mir, C. A., Caracas.
V.V.A.A. (2007) Seleccin de Lecturas de la Ctedra Razonamiento Lgico. UNEFA
Material en formato pdf. sin publicar, elaborado para el: Sistema De
Aprendizaje

Autogestionado

Asistido.

http://www.aaa.unefa.edu.ve (p. 5-23) Caracas.

Disponible

en: