CAPÍTULO

Lógica
proposicional
II

Para la elaboración de circuitos integrados, es necesario utilizar circuitos

lógicos que realicen las diversas operaciones internamente en el sistema
binario; y luego, mediante un conversor, expresarlo en sistema decimal, esto
io podemos encontrar en las calculadoras más simples o básicas hasta las
más complejas o científicas.
 ACERCA DE LA HISTORIA DE LA LÓGICA

La evolución de la Lógica está íntimamente ligada al perfeccionam iento intelectual del ser humano,
ya que co m o ciencia del razonamiento, su historia incorpora la historia misma del hom bre. La Lógica
florece desde el prim er m om ento en que el hom bre, al enfrentar a la naturaleza, infiere, deduce y
razona, con el ánimo de entenderla y aprovecharla para su supervivencia. Existen varios enfoques
acerca de cóm o explicar la evolución de la Lógica. Poincare la divide en cinco etapas o revoluciones,
que se presentan oscilando entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el
caos. Las etapas se identifican com o revolución matemática, revolución científica, revolución formal,
revolución digital y la prevista siguiente revolución lógica.

El objetivo de la Lógica matemática es cuestionar con el m ayor rigor los conceptos y las reglas de
deducción utilizados en matemáticas, constituyendo la Lógica, por ello, una verdadera matemática. Una
teoría matemática considera objetos definidos (enteros, p o r ejemplo) y define leyes que relacionan a
estos objetos entre sí (los axiomas de la teoría). D e los axiomas se deducen nuevas proposiciones (los
teoremas) y, a veces, nuevos objetos.

D urante el periodo de 600 a. n.e. hasta 300 a. n. e., en G recia se desarrollaron los principios
formales de las matemáticas. Sus principales representantes fueron Platón, Aristóteles y Euclides. Platón
introduce sus ideas o abstracciones, Aristóteles presenta el razonam iento deductivo y sistematizado
y Euclides es el personaje que m ayor influencia tuvo en las matemáticas, al establecer el m étodo
axiomático.

Después de declinar la escuela clásica de los griegos, se presenta un periodo en el cual la autoridad
religiosa em bruteció a la creatividad intelectual. El Renacimiento inicia una nueva era en la cual se
perm ite la revitalización de la ciencia y las matemáticas. Los representantes más destacados de esta
etapa son Descartes, N ew ton y Leibniz. Este periodo abarca de los 1500 a los 1800.

Esta etapa se caracteriza por el resurgimiento de la form alización rigurosa de las matemáticas,
que en la etapa clásica griega fue representativa. En este periodo se crea la Lógica simbólica, la escuela
formal, la lógica booleana, el cálculo proposicional, la inducción matemática. Personajes muy notables
de esta etapa son Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, G ódel y Whitehead. A
Rusell y Gódel se deben los planteamientos de las limitantes de la Lógica y de la ciencia en general.

Esta revolución se inició con la invención de la computadora digital y el acceso universal a redes de alta
velocidad. Turing une a la Lógicay la computación antes que cualquier computadora fuera inventada. W iener
funda la ciencia de la cibernética. En la escuela moderna de la computación están presentes lógicos que han
permitido avances importantes: Hoare presenta un sistema axiomático de los sistemas de programación y
Dijkstra un sistema de verificación y deducción de programas a partir de especificaciones.

La siguiente revolución lógica será la asimilación práctica de las matemáticas y la computación

dentro de la Lógica. Se hará énfasis en que las computadoras exploten la inform ación inteligentemente,
pasando de las bases de datos a las bases de conocim ientos.

FUENTE: B LA SCO CARRO, Pedro, C H IC O G O N ZALES, Pedro. Filosofía y Lógica. Lima. Editorial Bruño.
 Lógica ----
proposicional
OBJETIVOS
• Comprender la importancia y el significado de la Lógica proposicional.
• Distinguir las proposiciones, de aquellas que no lo son, identificando las que son proposiciones
simples y compuestas.
• Formalizar las proposiciones haciendo uso de los símbolos lógicos y la jerarquía de los
conectivos lógicos considerando los signos de puntuación.
• Evaluar esquemas moleculares para hallar su valor veritativo mediante las tablas de verdad.
• Utilizar adecuadamente las leyes de la Lógica proposicional.

INTRODUCCIÓN
¿Qué es la lógica?
Si un vaso de vidrio cae al piso, es lógico que se quiebre.
Sí estudio con bastante dedicación, es lógico que apruebe el examen.
Una probable respuesta sería que damos a entender que existe una coherencia o sentido correcto
en lo que hacemos, pero también podemos afirmar que siempre extraemos conclusiones, lo cual es
inherente a nuestra capacidad racional.
Tanto en la vida diaria como, sobre todo, en la investigación científica, el ser humano debe muchos de
sus éxitos o fracasos a la eficacia de sus razonamientos, dado que estos le permiten conocer mejor la realidad.
En tanto que un mal razonamiento, con frecuencia, prolonga el cambio hacia el conocimiento verdadero.
La Lógica se ocupa, justamente, de determinar qué es lo que hace que un razonamiento sea
correcto o no lo sea.
La Lógica nace en Grecia antigua, en el sexto siglo a.n.e., con Tales, el primer matemático de
la Historia, pero pasó algún tiempo antes de que Aristóteles inicie su sistematización y otro tiempo
mayor aún para que asuma el aspecto moderno de ciencia. Actualmente, aparece com o una ciencia
rigurosa, con un lenguaje técnico elaborado y preciso, pues la utilización que hace del simbolismo le
permite evitar las confusiones y ambigüedades del lenguaje natural. A la Lógica, en su estado actual
de desarrollo, se le conoce com o Lógica simbólica o lógico-matemática, nombres que aluden a su uso
sistemático del simbolismo y al parecido de sus procedimientos con los de la Matemática.
La Lógica proposicional (lógica de las proposiciones sin analizar) es la parte más elemental de
la lógica moderna, sirve para poder construir con total abstracción las inferencias; y com o estas son
estructuras de proposiciones, vamos a estudiar cóm o se presentan y de qué manera se relacionan.

75
Lumbreras Editores Aritm ética

Debemos saber también que las inferencias no se determinan por el contenido del lenguaje, sino por
su estructura sintáctica, por el esqueleto de dicho lenguaje. Es en este sentido que a la lógica no le
interesa mucho el contenido de las proposiciones sino solamente su estructura, y esta estructura se
hace evidente cuando procedemos a transformar esas proposiciones que están en el lenguaje natural
a un lenguaje formal o simbólico.
También se afirma que la lógica es el estudio de los procesos válidos del razonamiento humano.
Existen dos tipos importantes de razonamiento: el inductivo y el deductivo. El razonamiento inductivo
es el medio por el cual una persona, sobre la base de sus experiencias específicas, decide aceptar
com o válido un principio general. El razonamiento deductivo es, en cambio, el m edio según el cual
dicha persona utiliza el principio general aceptado previamente para decidir sobre la validez de una
idea, que, a su vez, habrá de determinar el curso de acción. Dado que las proposiciones son preceptos
válidos de razonamiento deductivo, en nuestro estudio veremos lo esencial de la Lógica proposicional
a través del uso y manejo de una simbología adecuada.
En la actualidad, el estudio serio de cualquer tema, tanto en el campo de las humanidades com o
en el de las ciencias y la técnica, requiere conocer los fundamentos y métodos del razonamiento
lógico preciso que permita al estudiante o al profesional extraer y depurar sus conclusiones, evitando
el riesgo de modificar en forma equivocada la información que posee. Esto es aun más evidente en
esta era de la computación, herramienta que es empleada en todos los campos de desarrollo de
una sociedad, y que por la velocidad a la cual se procesan los datos, cualquier error de lógica puede
generar problemas técnicos. En este capítulo presentaremos la teoría básica necesaria de la lógica
formal que será de suma utilidad para tales fines.

D EFIN ICIÓ N D E L Ó G I C A P R O P O S I C IO N A L

Es una parte de la lógica que tiene por objeto de estudio la proposición y la relación entre ellas,
así com o la función que tienen las variables proposicionales y los conectivos lógicos.

C O N C E P T O S P R E V IO S

L E N G U A JE SEN TEN CIA

Es un conjunto de sonidos, letras, gestos y Es la declaración del juicio, es el parecer

símbolos mediante los cuales se transmite un que toda persona tiene respecto a ciertas ideas,
mensaje. En el lenguaje oral o escrito, nos referimos las cuales se manifiestan a través del lenguaje.
a letras, palabras o vocablos que al agruparse
pueden tener significación o carecer de ella. INFERENCIA

Es un proceso que consiste en obtener la

JUICIO conclusión a partir de un conjunto de premisas.
Es el acto mental por el cual toda persona
ENUNCIADO
puede distinguir el bien del mal y lo verdadero
de lo falso, es decir, es la capacidad de Es toda frase, oración o expresión algebraica
entendimiento que tiene toda persona al utilizada en el lenguaje común, es decir, es la
m omento de pensar. expresión de una o varias ideas.

76
CA PÍT U LO II Lógica proposicional

Los enunciados pueden ser: • Ciro Alegría es un escritor peruano. Es

verdadera
En u n cia d o ce rra d o o pro po sición ló gica
• Issac Newton es un escritor peruano. Es
Es el significado de una expresión falsa.
aseverativa que se caracteriza por tener solo un x 2+3 < 9
valor veritativo, es decir, el significado presenta
En la que x es una variable. Si asignamos
la posibilidad de ser verdadero o falso, pero no
algunos valores, se observa lo siguiente:
los dos a la vez.
• 22+3 < 9. Es verdadera
Como nos interesa manejar las relaciones
• 52+3 < 9. Es falsa
entre proposiciones, independientemente
de cual sea su contenido, simbolizamos a las
proposiciones mediante letras minúsculas:
p, q, r, s, ... A estas se les denomina variables
En el presente capítulo cuando se f
proposicionales.
mencione proposición, se liará referencia a
Ejem plos la pro posició n lógica.
p: El Sol es una estrella.
q\ El perro es un animal herbívoro. Para comprender la definición de

Si una proposición p es verdadera, proposición hay que considerar lo siguiente:

anotaremos este hecho con la letra V. En
cambio, si la proposición p es falsa, la Diferenciar significado de expresión

anotaremos con la letra F.

Ejem plos
En resumen, si p es una proposición lógica,
• The book is blue.
estará caracterizada por la siguiente tabla:
• El libro es azul.
Hay dos expresiones, pero un sólo significado.
Proposición P
Aseverar es afirmar o negar un significado.
Verdadero V
Ejem plos
Falso F
• España es un país europeo (se afirma).
• Juan no va al cine (se niega).
Enunciado abierto o función proposicional
El valor veritativo se refiere a la posibilidad
Se les llama también cuasi proposiciones.
del significado de ser V o F.
Son aquellos enunciados que tienen una o
más variables y son expresados en símbolos Ejem plos
matemáticos o palabras, de modo que, al asignarle • La Tierra es un satélite. F
un valor (o nombre) a dicha variable, este • Agosto tiene 31 días. V
enunciado se convierte en proposición lógica.

Ejem plos EX P R ESIO N ES NO P R O PO SICIO N A LES

• E l es un escritor peruano. Son aquellas expresiones del lenguaje
En la que El es una variable. Si asignamos común que no pueden ser calificadas como
algunos nombres de personas, se observa lo verdaderas o falsas. Estas exprexiones pueden
siguiente: ser:

77
Lumbreras Editores A ritm ética

Interrogativas Aplicación 1
De los siguientes enunciados, indique cuáles
Son aquellas que expresan preguntas.
son proposiciones lógicas.
Ejem plos 1. Los gatos son mamíferos.
• ¿Qué hora es? 2. ¿Cuál es tu edad?
• ¿Quién ganará las próximas elecciones? 3. El ácido sulfúrico corroe la madera.
4. Sé honrado y trabajador.
E x cla m a tiva s o a d m irativas 5. Ocho es un número par y es menor que
siete.
Son aquellas que expresan sorpresa,
admiración, júbilo o emoción. Resolución
Son proposiciones lógicas 1; 3 y 5, dado que se les
Ejem plos puede asignar el valor de verdad o falsedad.
• ¡Qué bien!
Los enunciados 2 y 4 no son proposiciones
• ¡Viva el Perú!
lógicas.
Por lo tanto, 1; 3 y 5 son proposiciones lógicas.
Im perativas o exhortativas

Son aquellas que originan o impiden una Aplicación 2

acción (mandato o prohibición), provocando De las siguientes proposiciones, señale cuáles
cambios en el comportamiento de las personas. son verdaderas o falsas.
p : La Luna es un satélite de la Tierra.
Ejem plos q : Los gatos no son mamíferos.
Deténgase r : Dos más tres es igual a siete,
• ¡Silencio!
s : Todos los árboles son vegetales.
t : El delfín es un animal marino.
D esid erativ a s

Son aquellas que expresan deseos o anhelos. Resolución

Son proposiciones verdaderas: p, s, t.
Ejem plos Son proposiciones falsas: q, r.
• Com o quisiera ir de viaje.
• Ojalá llegue temprano a clases. C L A S E S DE PROPOSICIONES LÓGICAS

Examinaremos las siguientes proposiciones:

xf im m • El perro es un animal mamífero.
• El perro es un animal carnívoro.
P aradoja. Son expresiones que son i
• El perro tiene respiración pulmonar.
• verdaderas y falsas a la vez, por ello son
• El perro es un animal mamífero y carnívoro.
expresiones contradictorias. í
• El perro es un animal mamífero o carnívoro.
Ejemplo
• Si el perro es un animal mamífero, entonces,
| Si Dios lo puede todo, entonces, que cree una •
tiene respiración pulmonar.
E piedra tan grande que él mismo no la pueda
• El perro tendrá respiración pulmonar, si y
cargar.
solo si es un mamífero.

78
CA PÍT U LO II Lógica proposicional

Dado que las tres primeras tienen un P ro p o sició n co m p u e sta o m o le cu la r

solo significado y carecen de conjunciones
Son aquellas que tienen dos o más
gramaticales, se les denomina simples o
significados unidos por conjunciones gramati­
atómicas.
cales o, en todo caso, contienen el adverbio de
En cambio, a partir de la cuarta proposición
se observa que han sido compuestas con las tres negación NO.

primeras, utilizando las conjunciones gramaticales

y, o, si... entonces..., y si... y solo si... Ejemplos
Estos términos que nos permiten componer • Hoy día es martes y estudiaremos Aritmética.
o formar otras proposiciones a partir de • No es cierto que el perro ladre.
proposiciones simples, reciben el nombre de
conectivos (conectores) lógicos.
A toda proposición formada por una o más
proposiciones simples, mediante uno o más ■ En el estudio de la Lógica es conveniente
conectivos lógicos, se le llamará proposición utilizar expresiones uniformes con el fin de
evitar ambigüedades, ya que los términos
compuesta o molecular.
usados como conjunciones se pueden
expresar con distintas palabras.
P rop osició n sim p le o a tó m ica

Es aquella proposición con un solo Ejemplos

significado; carece de conjunciones gramaticales • Si Juan llega a las 3:00 p.m.,
y del adverbio de negación NO. estudiaremos Aritmética. ;
( • Si es que Juan llega a las 3:00 p. m.,
Ejemplos estudiaremos Aritmética.
• El acero es resistente a ser deformado. • Estudiaremos Aritmética siempre y
• 6 y 7 son números consecutivos. cuando Juan llegue a las 3:00 p. m.
• Estudiaremos Aritmética con tal que
Pueden ser a su vez:
Juan llegue a las 3:00 p. m. ■;
Proposiciones simples predicativas
Como vemos, el lenguaje común nos i
Son proposiciones simples en las que se f ofrece diversas formas de expresar un í
atribuye un predicado a un sujeto. * mismo enunciado. En el estudio de la
í Lógica conviene expresar estos enunciados i
Ejemplos
- mediante una misma estructura, la cual ;
• Rubén es ingeniero.
i puede ser: j
• La Biología es una ciencia.
* • Si Juan llega a las 3:00 p. m., entonces, *
Proposiciones simples relaciónales { estudiaremos Aritmética. *
Son proposiciones simples que indican una Entendemos ahora la necesidad de la Lógica
relación recíproca entre dos o más sujetos. I por establecer estructuras a partir de las :
cuales se pueda evaluar la coherencia del
Ejemplos f discurso y la validez de los razonamientos í
• Isabel es prima de Alicia. derivados de los enunciados expresados,
• Luis es compañero de José. i mediante palabras, en el lenguaje común. *
• Pedro y Ana estudian juntos.

79
Lumbreras Editores A ritm ética

CO N EC TIV O S LO G ICO S El número de combinaciones se obtiene

con la expresión 2n, en la que la base representa
Llamados también operadores o
al número constante de valores (verdad y
constantes, son palabras o términos que enlazan
falsedad) y el exponente representa el número
proposiciones simples o niegan una proposición,
de variables que tiene el esquema.
es decir, son símbolos que reemplazan a las
conjunciones gramaticales y al adverbio de Ejem plo
negación NO.

Los conectivos lógicos que más usaremos Cantidad de Número de

para componer proposiciones simples en proposiciones combinaciones

compuestas son los siguientes:

1 21=2
2 22=4

EXPRESIÓN SÍMBOLO
3 23= 8
NOMBRE DE LA
EN LENGUAJE
PROPOSICION
COMÚN Scholz Russel n 2n

No es el caso
~ ~ Negativa
que...

... y... A Conjuntiva 'O b s e rv a c ió n

... o... V V Disyuntiva débil : Es conveniente un mismo procedimiento
para anotar las combinaciones posibles, de
o...o... <-> S Disyuntiva fuerte
i acuerdo con el número de proposiciones
si... entonces... —> z> Condiciona! j simples componentes.

... si y solo s i... <-> = Bicondicional 1.° Cuando hay solo una proposición es
evidente que no caben más que dos
posibilidades: es verdadera o falsa. Así
TA B L A S DE VERD AD tenemos la tabla de alternativas para
los valores de una proposición p.
Son cuadros de doble entrada que nos
permiten determinar el valor de verdad de un
esquema molecular, considerando las posibles
V
combinaciones entre los valores de verdad de
las variables que lo componen y sobre la base
de la regla del conectivo correspondiente
Cuando se trata de dos proposiciones
Antes de realizar el estudio de las
simples, el procedimiento sería el
proposiciones compuestas básicas, veamos de
siguiente:
cuántas formas podemos combinar los valores
Elija dos columnas (una proposición),
de falso o verdadero de las proposiciones
en la primera de la derecha anote
simples. Al tratar simultáneamente observamos
primero una V y luego una F. Continúe
que son varias de ellas; dichas combinaciones se
así, de arriba abajo, hasta completar
presentan en una tabla, a la cual se le denomina la columna.
tabla de verdad.

80
C A P ÍT U LO II Lógica proposicional

A continuación veamos la tabla de verdad y

Una vez anotados los valores de qué es lo que contiene:
verdad de esta columna, entonces,
llenaremos la columna de la izquierda.
Variables Esquema lógico o
Empezaremos también con V y luego
proposicionales esquema molecular
F, pero ahora de dos en dos:

p 9 Combinaciones Valores de los conectivos

V V de V y/o F de las (Matrices)
V F variables
F V
F F
Margen Cuerpo
Se intercalan Se intercalan
¡ los V y F de los V y F de
j uno en uno. dos en dos.
ANÁLISIS DE LAS P R O PO SICIO N ES
| 3.° En cada columna siguiente de la C O M P U E S T A S BÁSICAS
| izquierda, los valores V y F se van
| duplicando; por ejemplo, en el caso de P rop osició n conjuntiva o conjunción (a )
tres proposiciones:
Son aquellas proposiciones que se
P «7 r relacionan mediante el conectivo lógico y, o
V V V expresiones equivalentes.
V V F
V F V Forma típica:
V F F
F V V ............................................ y ...........................................
F V F
F F V Ejem plo
F F F Darwin fue biólogo y Newton físico.

De manera práctica señalaremos que ;

Cuando el conectivo lógico y es empleado
como había que anotar ocho valores if
en la primera columna, de izquierda a J para enlazar dos proposiciones, tiene el
derecha, ponemos la mitad; es decir, j sentido de afirmar que son simultáneamente
cuatro valores V (uno a continuación ‘ verdaderas. Por ejemplo, al decir Darwin fue
de otro) seguidos de cuatro valores biólogo y Newton fue físico, el contenido y tiene
F, también uno a continuación del * la función de señalar que las dos proposiciones
otro. En la segunda columna, la {
conjuntas son igualmente verdaderas.
mitad de cuatro, esto es, dos valores f
Se simboliza la conjunción gramatical
de V seguidos de dos valores F ¡
hasta completar los ocho valores; y, mediante el signo a , el cual se coloca entre las

finalmente, en la última columna, la proposiciones conjuntadas de tal manera que si

mitad de dos, un valor V, un valor F, así p es la proposición Darwin fue biólogo y q es la
hasta completar los ocho. S proposición Newton fue físico, la conjunción de
ambas es representadap a q (que se lee: p y q).

81
Lumbreras Editores A ritm ética

Puesto que la conjunción de dos Proposición disyuntiva o disyunción

proposiciones cualesquiera indica la verdad
Son aquellas proposiciones que se
simultánea de ambas, la proposición compuesta
relacionan mediante el conectivo lógico o, u
resultante es verdadera si, efectivamente,
otras expresiones equivalentes.
estas son ambas verdaderas. En otros casos, la
proposición resultante será falsa.
Ejemplos
Los valores que pueda tomar (p a q ) con
• Hace frío o está lloviendo.
relación a los valores de sus componentes p y q
• 10 es par o múltiplo de 2.
están definidos en la siguiente tabla de verdad:
• José está despierto o está durmiendo.

p 9 pA q
En los dos primeros ejemplos, el conectivo o
V V V nos indica que al menos una de ellas es verdadera
(aunque también pueden ser ambas). Por el
V F F
contrario, en el tercero se excluye la ocurrencia
F V F simultánea de ambas proposiciones. Es así que
una proposición disyuntiva puede ser:
F F F

Inclusiva o débil (v )
Es aquella en la cual se consideran las
posibles ocurrencias simultáneas o individuales
Una proposición conjuntiva será verdadera de las proposiciones componentes.
solo si sus proposiciones componentes son
verdaderas: en otros casos, será falsa.
Forma típica:

............................ o .............................
A continuación, encontrará una relación
de palabras que se entienden igual que la letra Ejemplos
"y"; además hallará espacios en blanco para que • Luisa es deportista o cantante.
complete la proposición conjuntiva. • Jesús es cirujano u ortopedista.
• Tanto la física como la matemática son
ciencias. Aplicación 3
• El león es un felino así mismo un Carlos es matem ático o poeta. Analicemos los
mamífero. valores de verdad para esta proposición.
• José es estudiante pero trabaja.
• La manzana es rica ad em ás...................... Resolución
El conectivo o nos indica que al menos una de
• México es nacionalista, sin em bargo ........
las proposiciones es verdadera y se simboliza
• Cuba es potencia en deporte tam bién.......
con el signo v. Por ejemplo, si p es la proposición
• Arequipa es regionalista igualmente..........
Carlos es matemático y q es la proposición
• París es la ciudad luz, no obstante............ Carlos es poeta, la disyuntiva de ambas es p v q
• César es honesto, incluso......................... (que se lee p o q).

82
C A P ÍT U LO II Lógica proposicional

Puesto que la disyuntiva de dos proposiciones R esolución

cualesquiera indica la verdad de al menos una Dado que se excluye la ocurrencia simultánea
de ellas, la proposición compuesta resultante es de ambas proposiciones, la proposición
verdadera, si efectivamente, al menos una de resultante será verdadera solo en el caso de que
ellas es verdadera. una de las componentes sea verdadera y la otra
Esto lo podemos reducir en la siguiente tabla: componente sea falsa. Los valores que pueda
asumir p <-> q están definidos en la siguiente

pw q tabla de verdad:
p Q

V V V
P 9 p ^ q
V F V V V F
F V V V F V
F F F F V V

F F F

í Una proposición disyuntiva inclusiva es falsa

I, J
¡i solo si sus proposiciones componentes son ¡
falsas; en otros casos, es verdadera. Una proposición disyuntiva exclusiva es
verdadera si las proposiciones que la
confonnan tienen valores de verdad diferentes.
Exclusiva o fuerte (V>, v )
Esta disyuntiva excluye la posibilidad de
ocurrencia simultánea de ambas proposiciones P ro p o sició n C o n d icio n a l (-»)
componentes.
Son aquellas proposiciones que se
relacionan mediante el conectivo lógico
Forma típica:
Si... entonces..., o sus expresiones equivalentes.

O ..................................o .....................................
Forma típica:

Ejem plos
S i........................ en ton ces.................................
• O viajo por aire o viajo p or tierra.
• O bien 7 es par o bien 7 es impar.
Ejem plos
• Si estudias, entonces, ingresarás a la
A plicación 4
Universidad.
Si reemplazamos con p a la proposición simple
• Si pago la entrada, entonces, ingreso al
Estás despierto y con q la proposición simple
cine.
Estás durm iendo, la disyuntiva se simboliza
con el signo «-». Luego, (p <-> q ) será: O estas El conectivo SI... entonces..., se simboliza
despierto o estas durmiendo. Elabore su tabla mediante el signo —>, el cual se escribe
de verdad. entre las dos proposiciones relacionadas.

83
Lumbreras Editores A ritm ética

Del ejemplo anterior: si p es la proposición Ejemplos

simple pago la entrada y q es la proposición
Si te vas entonces > estare triste.
simple ingreso al cine, luego, la condicional se
antecedente consecuente
simboliza p o r p —>q.
La proposición condicional consta de dos
partes: el antecedente y el consecuente. A continuación encontrará una relación de
palabras que se entienden igual que la palabra
P -> q "entonces ', además, hallará espacios en blanco
Antecedente Consecuente para que complete la proposición condicional.

El sentido de este conectivo es señalar que • Hay lluvia, por consiguiente, hay humedad.
si la proposición antecedente es verdadera, Estudiaste de modo que ingresarás.
también lo es la proposición consecuente; es • ........................... de ahí q u e ........................
decir, basta o es suficiente que el antecedente
......................... por lo tanto.........................
sea verdadero para que el consecuente también
• ...................en consecuencia......................
sea verdadero. De aquí que una condicional
solo será falsa si el antecedente es verdadero y • .............................lu e g o ..............................
el consecuente es falso. La tabla de verdad de la • ...................... en conclusión........................
condicional es la siguiente:
Inversa

p -* q El consecuente y antecedente van en este

p 9
orden, respectivamente.
V V V

V F F Ejemplos

F V V Ingresarás ^ s iempre que estudies.

consecuente antecedente
F F V

A continuación encontrará una relación de

palabras que se entienden igual que las palabras
"siempre que".
La proposición condicional es falsa solo en
• Triunfó puesto que se esforzó.
caso de que el antecedente sea verdadero
y el consecuente .sea falso. • Es objetivo ya que es veraz.
• ................................s i ..................................
• ........................ dado q u e ............................
La proposición condicional puede ser:
• .......................... p o rq u e..............................
• ...................cada vez q u e ............................
Directa
El antecedente y consecuente van en este • ........................... solo s i ...............................
orden, respectivamente. • .............................cuando...........................

84
CA PÍT U LO II Lógica proposicional

P ro p o sició n B ic o n d ic io n a l (<-»)

Son aquellas proposiciones que se

La proposición bicondicional es verdadera
relacionan mediante el conectivo lógico si y
en caso de que las proposiciones que la
solo si o sus expresiones equivalentes.
: conforman tenga el mismo valor de verdad. ;

Forma típica:
.......................... si y solo s i ............................... A continuación encontrará una relación
de palabras que se entienden igual que las
Ejem plos palabras "si y solo si", además, hallará espacios
• Un ángulo es recto, si y solo si su medida es en blanco para que complete la proposición
90°. bicondicional.

El conectivo si y solo si se simboliza • La educación mejorará cuando y solo

mediante el signo <->, y que al relacionar dos cuando se tenga una sociedad justa.

proposiciones indica que el valor de verdad • ................ entonces y solo entonces

de ambas es el mismo, ya sea verdadero o

falso. Si p es la proposición un ángulo recto y q ...................si y solamente s i .......................

es la proposición la medida del ángulo es 90°,

luego se tiene p <^>q (que se lee: p si y solo si q). P ro p o sició n n egativa o n e g a ció n (~ )

En realidad, la bicondicional es la conjunción Son aquellas proposiciones que hacen uso

de dos proposiciones condicionales, es decir, del adverbio negativo NO o sus expresiones
la proposición p <r^q tiene el mismo sentido equivalentes.
que (p —> <7) a (c¡ —>p). En consecuencia, la
tabla de verdad de (p <-> q ) es la misma de Ejem plos
(p —> í?) a ((7 —»p ). El perro no ladra.
• No es el caso de que el perro ladre.

(p -> q ) A
• No es cierto que el perro ladre.
p 9
• Es falso que el perro ladre.
V V V V V
• No ocurre que el perro ladre.
V F F F V
En general, la negación puede reducirse
F V V F F a la palabra NO, la que simbolizaremos

F F V V V mediante ~. Por convención, se coloca siempre a

la izquierda de la proposición que niega. Por tanto,
ahí si representamos la proposición El perro ladra
mediante p, su negación se representaría com o
P 9 p<^q
~ p y su tabla de verdad resultaría la siguiente:
V V V

V F F P -P

F V F V F

F F V F V

85
Lumbreras Editores A ritm ética

A plicación 5 Aclaremos, por último, que si negamos la

Niegue las siguientes proposiciones y designe proposición "César Vallejo ha sido poeta", que
sus respectivos valores, está representada con ( ~ q ) , obtendríamos la
p : 3+7=6+4 proposición ~ ( ~ q ) . Nótese que:
q : César Vallejo no ha sido poeta. • q es falsa:
César Vallejo no ha sido poeta.
Resolución
• ~ q es verdadera:
En el caso de la proposición p
César Vallejo ha sido poeta.
p : 3+7=6+4 V
• ~ { ~ q ) es falsa:
~p : No es cierto que 3 + 7 = 6 + 4 F
César Vallejo no ha sido poeta.
~p : 3+7 es diferente a 6+4 F
O incluso
La tabla de verdad sería:
~ p :3 + 7 * 6 + 4 F
En el caso de la proposición q
p ~P ~ (~ P )
q : César Vallejo no ha sido poeta. F
~q : No es cierto que César Vallejo V F V
no ha sido poeta. V
F V F
~q : César Vallejo ha sido poeta. V

R esum en de la ta b la d e verdad de la s p ro p o sic io n e s seg ú n S ch o lz

P q ~P P A? pvq P ^ q p ^ q p ^ q

V V F V V F V V

V F F F V V F F

F V V F V V V F

F F V F F F V V

CIR CUITO S LÓ G ICO S complejos, mientras que la tecnología moderna

permite la construcción de circuitos integrados
Son, básicamente, un arreglo de interruptores
(IC's) que se componen de miles (o millones) de
conocidos como compuertas lógicas, en el que
compuertas lógicas. Veamos, a continuación, los
cada compuerta lógica tiene su tabla de verdad. Y
circuitos lógicos más simples:
si pudiéramos ver detalladamente su construcción,
veríamos que es un circuito formado por
C irc u ito en se rie
transistores, resistencias, diodos, etc., conectados
de manera que se obtienen salidas específicas Es aquel que está constituido por
para entradas que también lo son. interruptores dispuestos uno detrás del otro;
La utilización extendida de las compuertas este circuito representa la conjunción de dos o
lógicas simplifica el diseño y análisis de circuitos más proposiciones.

86
CA PÍT U LO II Lógica proposicional

Ejemplo ESQ UEM A M O L E C U LA R O FO R M U LA

PRO PO SICIO N AL
• p a q se representa: •------p ----- q ----- •
Llamaremos así a las proposiciones
compuestas no básicas, es decir es la
• p a q a r se representa: •— p — q — r — . combinación de variables proposicionales,
conectivos lógicos y signos de agrupación.
C irc u ito en p a ra le lo Si un esquema molecular no ofrece
ambigüedad en la función que tiene cada uno
Es aquel que está constituido por
de los conectivos lógicos, se dice que es una
interruptores dispuestos uno al frente de otro;
fórmula bien definida.
este circuito representa la disyunción débil de
Tenga en cuenta la importancia de los
dos o más proposiciones.
signos de colección, estos determinan el nivel
de jerarquía de los conectivos, sólo uno de los
Ejemplo
-P- conectivos es de mayor jerarquía, el cual dará el
• p v q se representa: .— nombre al esquema molecular.
- Q -

Ejemplos

-P-
^-► conectivo que predom ina
• p v q v r se representa:
~q- • p a {q <-> r), el esquema es conjuntivo.
-r ~
conectivo que predomina

• [p a (p —>q^ 1 —>p, el esquema es condicional.

-xj iH W M

' conecti vo que predomina

Hay otros circuitos lógicos que no
son simples, pero que representan a otros • —[p a (q —>p ) ], el esquema es negativo.

conectivos.
J e ra rq u ía del e sq u e m a m o le cu la r
• El circuito que representa a la condicional
>■ p —>g será: Dentro de la estructura de un esquema
molecular, sabemos que sólo uno de los
conectivos es de mayor jerarquía, pero también
habrán otros conectivos de menor jerarquía;
para ello se debe tener en cuenta el correcto uso
El circuito que representa a la bicondicional de los signos de colección entre las diferentes
p <^>q será: variables proposicionales.

— q Ejemplo
— ~p —

____p ____
©

— q —
©

©
©

{~ [p a (i;v r )]} -^ [(p v < / )< -> (p A r)]

87
Lumbreras Editores A ritm ética

La jerarquía es la siguiente: 3. Jerarquiza las constantes lógicas, para ello

1. Primera jerarquía (nombre del esquema debemos analizar los signos de agrupación
molecular: condicional). y el sentido de la expresión, siguiendo el
2. Segunda jerarquía. siguiente criterio:
3. Tercera jerarquía. [Link]ía. Pero, dos signos de puntuación
4. Cuarta jerarquía. [Link] jerarquía . Pero punto seguido
[Link] jerarquía ; Pero punto y coma
Fo rm a liza ció n de un en u n cia d o m ed ia n te [Link] jerarquía , pero coma
un e sq u e m a m o le cu la r [Link] jerarquía pero ningún signo de
puntuación
Consiste en la transformación de un
conjunto de proposiciones y conjunciones En la expresión que estamos simbolizando,
gramaticales expresadas en el lenguaje natural, la conjuntiva "pero" (a ) tiene una coma, la
en un lenguaje artificial llamado lenguaje bicondicional "si y sólo si" (<->) y el condicional
simbolizado o formalizado. "si entonces" ( —>) se encuentran sin ningún
signo de puntuación. Ahora, las negaciones
Ejemplo
(n o) afectan a una variable. En este sentido, la
Simboliza: Los estudiantes son aplicados si y sólo jerarquía sería de la siguiente manera:
si se dedican a estudiar, pero si no se dedican a
"pero" (a ) 1 .rajerarquía
estudiar entonces no son aplicados.
"si y sólo si” (<-V) y "si entonces" ( —>) 2 .da
Los pasos a seguir son: jerarquía.
no ( - ) [Link] jerarquía
1. Determina las proposiciones simples
Luego, el conectivo lógico de mayor
que se encuentran en toda la expresión
jerarquía debe estar afectado por menos signos
y reemplázalas con las variables
de agrupación, o en todo caso, debe estar libre
proposicionales, cada proposición con una
de signos de agrupación.
variable.
En tal sentido, la estructura formal sería:
p: los estudiantes son aplicados.
(p ^ q) a (~<7 - > ~ p )
q: se dedican a estudiar.
Ahora, la estructura formal sería:
£ si y sólo si q, pero si no q , entonces n o p . Eva lu a ció n de e sq u e m a s m o le cu la re s por
la ta b la de verdad

2 . Identifica las conjunciones gramaticales y los Consiste en obtener los valores del contenido
adverbios de negación para reemplazarlos
de mayor jerarquía a partir de los valores de cada
por sus respectivos símbolos.
una de las variables proposicionales.
Identificando:
Al evaluar un esquema molecular se pueden
"si y sólo si" bicondicional («)
presentar dos casos:
"pero" conjuntiva (a )

"si, entonces" condicional (-0 Caso I

"no" negación (~ ) Sideseamosevaluartodaslascombinaciones
posibles de valores verdaderos (V ) o falsos (F)
Ahora, la estructura formal sería:
de todas las variables diferentes de un esquema
p <-> <7 , a ~ q —> ~ p molecular.

88
C A P ÍTU LO II Lógica proposicional

Ejemplo Ejemplo
Evalúe el siguiente esquema molecular Evalúe [ (p >q ) v ~r ] < > ( q a r)
A: (p a ~q) v {q —> p ) si p es V, q es V y r es F
Para la evaluación, seguiremos los siguientes Para la evaluación seguiremos los siguientes
pasos: pasos:

1. Determinamos el conectivo de mayor 1. Como se conoce la tabla de verdad que

jerarquía corresponde a cada conectivo lógico, según
A: ( p a ~q) v (q^p) los valores de las variables proposicionales

(D ® jerarquía se tiene
A es un esquema disyuntivo B: [ (p ^(?) v r ] <-> (_q a r)
[ (V - ^ V ) v " V ] ^ ( V a F)

2. Se ubica el esquema molecular en una tabla T~V v V ] <->' F

de verdad y se completa. En el esquema V F
molecular, hay dos proposiciones simples
F
( p y q ) , luego se tendrá 22=4 combinaciones
de valores de verdad para p y q .
2. Se observa que el esquema molecular dado

conectivo predominante es F. Nótese además que si evaluamos

(resultado principal)-} la tabla de verdad, esta tendría ocho
combinaciones; pero, en este caso, sólo se
-S'

1
>

&

p q V q -» p
ha evaluado una, es decir
V V V F F V V V V Si p es V, q es V, r es F entonces B es F

V F V V V V F V V
Aplicación 6
F V F F F F V F F Evalúe

F F F F V V F V F ~ {[(p v q) a ~ p ] -><7}

_f t____ l l____ f t
I__________ M_________ I
Resolución
t
matriz principal
Note que este conectivo afecta a
p toda es esquem a molecular

3. En la tabla de verdad se observa que:

P q ~ {[p v q a ~p] -> q}
Si p es V y q es V entonces A es V
Si p es V y q es F entonces A es V V V F V F F V V
Si p es F y q es V entonces A es F
V F F V F F V F
Si p es F y q es F entonces A es V

F V F V V V V V
Caso II
Si deseamos evaluar el valor de verdad F F F F F V V F
de un esquema molecular conociendo los
matriz principal l_____________ M----
valores de verdad de cada una de las variables
resultado final
proposicionales. en las llaves

89
Lumbreras Editores A ritm ética

CLASIFICACIÓN DE LOS ESQUEM AS

P q [(p A ? ) v q\ a ~q
M OLECULARES
V V V V V F F
Según los valores obtenidos en la matriz
V F F F F F V
principal, los esquemas moleculares se clasifican
F V F V V F F
así:
F F F F F F V
T auto log ía (T)
Por lo tanto, el esquema es contradictorio.
Cuando los valores de verdad de la matriz

principal resultan ser todos verdaderos. C o n s is te n te co n tin g e n te (Q)

Cuando en la matriz principal hay por lo

E jem plo menos un valor verdadero y por lo menos un
valor falso.
Sea ( p v q ) < r -> (~ p q ),

Evaluamos mediante su tabla de verdad

E jem plo
Dado (p —» q ) v (p <-> q ).
p (p v q) <-> {~p -» q)
Evaluamos el esquema mediante su tabla de
V V V V F V V verdad.

P q (p-yq) v (p <->q )
V F V V F V F
V V V V V
F V V V V V V
V F F F F

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

_f t______________ i F F V V V

Por lo tanto, el esquema es tautológico. Por lo tanto, el esquema es consistente.

C o n tra d icto rio (1) R ELA CIO N ES EN TR E PRO POSICIO NES

Cuando los valores de la matriz principal Im p licació n ló g ica (=>)

resultan ser todos falsos. Si la condicional 04 —> B) es una tautología,

se dice que A implica lógicamente a B y lo

E jem plo denotaremos como

A^B
Sea [(p a q) v q\ a —q.

E jem plo
Evaluamos el esquema mediante su tabla de Dado A: ( ~ p v q ); B: ( ~ q —> ~ p )
verdad. Evaluamos la condicional A - > B

90
C A P ÍTU LO II Lógica proposicional

L E Y E S DE LA LÓG ICA PRO POSICIO NAL

p 9 (~ p v < jO -» (~qr ~>~p)
Una ley lógica es una equivalencia notable;
V V V V V
son las siguientes:
V F F V F Idem potencia

F V V V V • PAP=P

V • pvp=p
F F V V
C o nm utativa
Luego, A=$ B {A implica a B)
• p Aq =q Ap • p </> q =q p

E q u iv a le n cia ló g ica («=>) • pv<7 = <7vp • p o q =q p

Si la bicondicional A <-> B es una tautología, A so c ia tiv a

se dice que A es lógicamente equivalente a B y
• (p v q ) w r = p \/ (q v r)
lo denotaremos, com o • (p A q ) A r = p a ( q a r)
A <=>B
D istributiva
Ejem plo
• p v (q a r ) = (p v q ) a (p v r)
Dado A :p —><7; B: ~ (p a ~q)
p a (<7 v r) = (p a q ) v ( p a r)

Evaluamos la bicondicional (A o S), es decir, A Involutiva

es equivalente a f i y B e s equivalente a A.
• ~ ( ~ p ) = p

(p - » 9 ) <-» ~ (p ~q) De D'Morgan

p 9 a

V V V V V F ~ (p V q ) = ~ p A ~ q
~ (p a q) = ~p v ~ q
V F F V F V
De a b so rció n
F V V V V F
• p v (p a q ) = p
F F V V V F
p a (p v q) =p
• p V ( ~ p A (7) = p V Í 7
Luego, A<=>B (A es equivalente a B y B es
• p A ( ~ p v q ) = p Aq
equivalente a A).

De la co n d icio n a l
^ H m a n
• p~>q = ~ p v q
Se afirma que las proposiciones .4 y B son ; • p — > <7 = ~ q — > ~ p

lógicamente equivalentes si sus tablas de

De la b ico n d ic io n a l
' verdad son idénticas, siendo indistinto el uso j
f de uno de ellos por la otra. Si (A <=>B) entonces s p q = (p -> q ) A ( q -> p )

! se denotará como (.1 B) (ley de lógica). ¡ • p <-> <7 = ~ ( p </> fl)

• p <-> g = ~ p ~q

91
Lumbreras Editores Aritm ética

Del co m p lem e n to

• p v ~p = V (tautología)
Para demostrar las leyes de la lógica
• p a ~p = F (contradicción)
proposicional se debe recurrir a las tablas

De la identid ad de verdad, en las que los valores en sus

respectivas matrices principales deben ser
• p v V=V
idénticos.
• p aV=p

• p v F =p
Ejemplo
• p a F= F
1. (p ^ q ) = í ~ p v q )

Aplicación 7
Usando las leyes de la lógica proposicional, 0 C~pvq)
p q ~P ÍP ^ 9 )
simplifique la siguiente proposición:
V V F V V V
ÍI(P - > q) v ~ p ] a ( ~ q -> p ) } <-» { [ ( ~ p a (7)
V F F F V F
(r a ~ r)] a ( —£7) }
F V V V V V
Resolución
F F V V V V
Reduciendo por partes
A: {[(p -> <7) v ~ p ] a ( ~ q - > p ) }
Vemos que
{ [ ( ~ p v q ) v ~ p ] a ( q v p )} ley de la
(p —»<7) o (~ p v q) es una tautología
condicional
.-. i p - > q ) = (~ p v g )
{[q v ~p] a ( q v p ) } ley de la idempotencia
{ q v (~ p A p )} ley distributiva
í <7 v F} ley del complemento 2. pv~p =V

(7 ley de la identidad

P ~P p v-p
B: [(~ p a (7) -> (r a ~ r )] a (~q)
V F V
[ ( —p a q) —» F] a ( ~ q ) ley del complemento

l(~ (~ P a q) v F] a ( ~ q ) ley de la condicional F V V

[(p v ~ q ) v F] a ( ~ q ) ley de Morgan

(p v ~ q ) a ~ q ley de la identidad Notamos que

~q ley de absorción p v ~ p es una tautología

.'. p v ~ p = V
Finalmente, la proposición simplificada es
q ~q = F

92
 roblemas Resueltos

Problema 1 En primer lugar, simbolicemos:

I. Es necesario que Juan no vaya al cine para
Represente simbólicamente:
que termine su tarea.
Iremos a nadar a menos que el cielo no esté
Equivale a decir que:
despejado, ya que no hemos traído carpa.
Halle la expresión equivalente. I. Si Juan termina su tarea, entonces Juan no fue al cine.
q -> ~p
A) ~p —> (r v <7) B )(~ p v r )A í7
C) p a q a r =q ~ p = ~ qv ~ p
D) (p v r) —» q E) p v (q a r)
II. No es cierto que Juan termine su tarea y vaya al cine.

Resolución (q a p)
p: iremos a nadar = ~ (q A p ) = ~ q v ~ p
q: el cielo está despejado.
r: hemos traído carpa. III. Juan no terminará su tarea y no irá al cine.
Según el enunciado, simbolizamos de la ~q ~p
siguiente manera:
= ~ q /\ ~ p
~ r ( ~ q -^>p) = (r v q v p )
= p v (r v q )
Son equivalentes I y II.
= ~ p ^ (r v <7)

clave A Otra forma de ver si son equivalentes sería

mediante tablas de verdad, para lo cual las
matrices principales deben ser idénticas.
Problema 2
De las siguientes proposiciones, ¿cuáles son
clave A
equivalentes entre sí?
I. Es necesario que Juan no vaya al cine para
que termine su tarea. Problema 3
II. No es cierto que Juan termine su tarea y
vaya al cine. Simplifique
III. Juan no termina su tarea y no va al cine. ~ { [ [ ( p A (p v r ) ) A (7 ] V ~ ( ~ p ^ > q ) ] A
[ ( ~ p v ? ) Ar]} -> [~<7<h. ~ p ]
A ) 1y II B) II y III C) I y III
D) I, II y III E) ninguna A ) ( ~ p <-> ~ q ) -> r
B) (p v q ) a ( ~ q v r)
Resolución
C) p < - > q
Sean las proposiciones
D) (p £7) a ( ~ q - » p )
p : Juan va al cine.
q : Juan termina su tarea. E) ~ q ^ ~ p

93
Lumbreras Editores A ritm ética

Resolución Problema 4
Sea
Se define el operador i mediante la siguiente
T: ~ { [ [ ( p a (p v r ) ) a<7 Í v ~(~p^>q)\ a
tabla de verdad:
A B
K - p v g O A r ]} -> [~q^~p\ p iq
p <7

V V F

A:pA(pvr)=p B : ( ~ p ~^>q) = p v q V F F
(absorción) (ley del condicional)
F V V

F F F
Reemplazamos en T

~ {[(p A < 7 )v ~ -(p v < 7 )]A [(~ p v c 7 ) A r]}-> [~ í7 < -> ~ p ] Halle [ ( p l q ) l p \ —> (p l q).

~ {1 (p a q ) V (~ p A ~<7) ] A [ (~ p V i? ) Ar] }-> [ ~ q <->~ p ]

A) p B) ~ q a p C)~q
C E D
D) ~ p E) p v ~ <7
Observemos lo siguiente:

~ q^~p Resolución
( —<7 —> ~ p ) A ( ~ p —» ~t/) Ley del bicondicional Hallamos la resultante del esquema molecular

V ~ p ) A (p v -~cf) Ley del bicondicional

por tabla.

[ { q v ~ p ) /\p ] v [(<7 v — p ) a — í/] Ley distributiva

(p A<7) v ( ~ q A ~ p )

Luego
~ q .<-> ~ p = (p a<7) v C~<7 a ~ p )
C=D

En el problema
F :~ {C a £ } ^ C
Luego, com o sabemos que
Simplificando
P ~p
/: { C a £( v C Ley del condicional

V F
Por absorción queda C, pero
V F
T : C = {p Aq ) v ( ~ p a q) F V
F V
es decir, ~q<->~p

o también p <-> <7 Se concluye

T = p^q .-. { \ { p i q ) i q \ -> i p i q ) } = ~p.

C A P ÍTU LO II Lógica proposicional

Problema 5 ~ (p a <7) a ~ q
Morgan
Si X es un conectivo lógico definido mediante
p X q = ( p v q) a { ~ (p <^>q)v (p ^> q ) } (~ p v ~ 17) A ~ q
entonces, al simplificar la siguiente fórmula lógica: conmutativa
{ [ Cp V £7) ( p Aq ) ] X ~ q } a (g a ( p v q ) ) se obtiene
[ ~ q v ~p) A ~ q
A) p A q. B) p y q . C) p.
D) q. E) p -> q. conmutativa

Resolución ~qA (~qv~p) =~q

PX q = (p v q) A {- (p <-> q) v (p <-» q ) }
absorción
v
Entonces CLAVE D
pXq=Pvq
Luego, en la fórmula lógica:
Problema 7
{ [ ( P v<7) X (P a < 7 )1 X ~ q} a (q a ( p v q )).

= {\(pv q) v (p a q)\v ~ q} a q Se definen los operadores lógicos * y G mediante:

= {[(p v (q v (p Aq))} v q} a q p*q = ~p^>~q

p Oq = ~p a q
q
Entonces, al simplificar la fórmula lógica
= {{p v q ) V ~ q} A q
= {p v ( q v ~ t?)} a q K(~ q) O p) * ((- p) O (<7))]
se obtiene
V

= {p vV } A q = V a(/
A ) p. B) q. C) p a q.
=q D) p v q . E) V.
CLAVE D

Problema 6 Resolución
p * q ^ ~ p ^ ~ q = q - > p
Halle la expresión equivalente que representa al
p Q q = ~ p A q
circuito.
------ (p Ai/ ) Simplificamos la fórmula lógica
■------- ( p a q O — ( ( ~ (?) O p ) * (( ~ p ) O <7)
---------r------
= [ ~ í ~ q ) A p ] * [ ~ (~ p )a < 7 ]

A) p B) ~ p C) (7 = ( q a p ) * ( p A q ) = ( p A q ) ( q Ap)
D) ~ q E) (p a q) = ~ { p a q ) w ( q a p ) = ( ~ p y ~ q ) v ( q Ap)
Resolución = ~ p v { ~ q v ( q A p ) ] = ~ p w [ ( ~ q - v q ) ] A ( ~ q v p ) }

El circuito del problema se puede expresar V

•------ (p v q ) — [~ (p a c?) v r ] ------- q — • = ~ p v [ ~ £ 7 v p ] = ~ p v ( p v ~ < 7)
De ahí que la expresión proposicional resultante = (~ p v p) v ~ q =V v ~ q =V
será
V
{ ~ ( p A C 7 ) A [ ~ ( p A < 7 ) v f - ] } A ~ C 7
CLAVE E
absorción

95
Lumbreras Editores Aritm ética

Problema 8 Resolución
I. p->~<7 = ~ (p V ~ q )
Usando las leyes lógicas, simplifique la siguiente
~ p v~ q = (p a q~)
fórmula lógica: = ~p v ~q (V)
{[(p a ^ ) v p ] a [(p e q ) v (p « q)\} v

\{p v ~ q ) a { p y q ) }
II. ~ ( p V <7) v (p t (7) =p~^q
~{p / \ ~ q ) w { ~ p v q ) = p ^ > q
A) p B) q C) p a q
í~pvq) v í~pvq)
D) p v q E) ~ p
~P v q =p^q (V)
Resolución

{[ (pA(/)vp] a[ (p<—
>q)y(p<^q) ] }v[(pv~q)A,(pvq) ]

= {[p ]A [(p e ? )v (p H í;)]}v [p v (~ (? A (j)] II. ~pT<7 = ~ ( ~ p V í 7 )

[p V F ] p vq = ~(~p A~q)
pvq=pvq (V)
P
= { P ^ { ( P < r ^ q ) y ( p < r ^ <7)]} V P = P
pues ( m a n) v m = m. CLAVE E
Nótese también que
(p q ) v (p <->q ) es una tautología. Problema 10

Establezca el circuito para

clave A ~ { ~ { ( p v q ) Ar ] v ~ q }
en la versión simplificada.
Problema 9

Se definen
A) •------p -------------------------- q ------- r---------- •
pVq=pA~q

pXq=~pwq
P— |
Halle el valor de verdad de las siguientes
q— '
proposiciones:

I. p ^ ~ q = ~(pW ~q) C) •---- q----- r---- •

II. ~(pVq)v{pXq)=p^q

III. ~p1q = ~(~pVq) D) •------- p ---------- r-------- •

A) VFV B) W F C) FVF

D) FFV E) V W

96
C A P ÍTU LO II Lógica proposicional

Resolución De ahí tendremos la siguiente expresión lógica

Empezaremos simplificando la expresión con la
[(p a ~ q) v p Aq)] v p a ~ q)
finalidad de darle una forma más abreviada y,
[(p a ~ q )v (~ p a ~<7)]v [(~ p a ~ q )v (~ p Aq)]
luego, hallaremos su circuito equivalente.
[~ q a ( p v - p ) ] v [ —p a {q v ~ q ) \
~ { ~ [(p v q ) a r] v ~ q } = [(p v q) a r] a q
V V
[(p A r )v (c ¡ A .r )]A q = [(p A r ) A q ] v \ ( q A r ) a <7]
~q v P
[p a (q a r)] v ( q a r) = q a r (absorción)
■qv~p=~pv~q
El circuito será
CLAVE D

Problema 12
clave C La historia es apolítica o no es ciencia, además
no es ciencia, pero la Historia es una ciencia;
Problema 11 p or consiguiente la Historia es apolítica. Sin
Determine el esquema molecular embargo, la Historia no es apolítica. Respecto de
correspondiente al simplificar el siguiente este esquema molecular podemos afirmar que
circuito:

— p ------ q — A) es contingente y se reduce a un

esquema condicional.
— P — Q—
B) se reduce a un esquema conjuntivo.
- ~ p — ~ q -----
C) es contradictorio.
D) es verdadero si la Historia es una
A) p a q B) p v q C) ~ p a ~ q ciencia.
D) ~ p v ~ q E) ~ p a q E) es verdadero si la Historia es política.

Resolución
Resolución
Del circuito inicial podemos formar lo siguiente
p: La Historia es apolítica.
reduciendo
q: La Historia es ciencia.
p a q
{ { [ ( p v ~ q) a ~q] a c / }—»p > A ~ p
~pAq — ](~q Aq) ^>p] a ~ p
-pA~q
[F ~^p] a p
Luego V a — p = —p

( p A ~ q ) w ( ~ p Aq ) .•. ~ p : La Historia es política

-----~p A ~q ----- CLAVE E

97
Problemas Propuestos

1. S\paq = ~ p / \ q 5. Si se cumple que p * q = ~ p /\q

reduzca [ { p a ~ p ) \ —> { { p n q ) n q } . pVq=pvq
reduzca
A) F B) V C) p {q V [(p v (r * s )) A p ]} - > [ (~ p * ~ q ) V —¿7]

D) q E) ~ p
A) p B )p v q C )~ p
2. Dados los siguientes esquemas tautológicos: D)<? E) ~ q

(p A (? )H ( p - » t)
~ (q^~q) 6. Simplifique

Calcule los valores veritativos de p; q y /. ~ { [p a {q v - r v s v p) ] - » [p v (p a r) ]} -> (r a s a ~ /).

A) V W B) VFF C) FVF A) V B) F Q pvq

D) F W E) FFF D) p ^ > q E) ( r A s ) v - í

3. Si se sabe que p A q = F y q —>r = F, dé 7. Indique cuáles de las siguientes

el valor de verdad de: proposiciones son tautológicas:

I. [ { p - * r ) A q ] ^ > { r v q ) I. (p A q ) v [(~ p v ~ q ) v (~ q A r a s )]

II. (p ^ <7) a (q > ~í?) II. ( p ^ > q ) ^ ( p ^ > q )

III. [ ( p a r) v q] (p ^ q) III. (p -> q) v ~ (p * * q)

A) W F B) FVF C) VW A) I y II B) solo II C) solo III

D) FFV E) VFV D) II y III E) todos

4. Reduzca la siguiente proposición: 8. Esquematice la siguiente proposición

No es cierto que Luis sea una persona utilizando el lenguaje lógico.

tranquila y un doctor, entonces Luis es Si James no trabajara podría estudiar; para

maestro o no es una persona tranquila; que ello le suceda, su hermano Ronald debe

además Luis es maestro. trabajar, por ende, dejaría de estudiar.

A ) Luis es tranquilo. A ) ~ ( r v ~ s ) —» ( p v q )
B) Luis es doctor. B) (p v q ) —> (r —» ~ s )
C) Luis es tranquilo y doctor. C) ( r —>s) —> ( ~ p —> q)
D) Luis es maestro. D) ~ (r —> ~ s ) v {p a <7)
E) Luis es doctor y maestro. E) (r —> ~ s ) —> ( ~ p —> q)

98
CA PÍT U LO II Lógica proposicional

9 . No aprenderé Matemática a menos que Simplifique la siguiente expresión

aprenda Lógica, ya que aprendo Matemática l(p^> q )® (~ q ^ > p)]<-»[(< 7 A r )v » ~ ( r A q ) ] .
o Lógica. De lo anterior se concluye que

A)pAq B) q A ~ q C)p-»<7
A ) no aprendo Matemática ni Lógica. D) p E) p A f
B) aprendo Matemática y Lógica.
C) aprendo Matemática o Lógica. .
14 Si el valor de la siguiente proposición
D) no es cierto que aprenda Lógica, pero no
molecular
Matemática.
[{p A ~ q ) A ( r ^ q ) \ a [ { ~ p v q ) ^ > q Ap]
E) no es cierto que aprenda Matemática,
es verdadero, determine los valores de
pero no Lógica.
verdad de p, q y r (en ese orden).

10. Si p * q = (q —> ~ p )
A ) VFF B) VFV C )V W
además, p#q = ~p*~q
D )F W E) FFV
reduzca E = [ ( p # ~ q ) # { ~ p * p ) ] * p.

15. Simplifique el circuito mostrado e indique la

A) p B) ~ p C) q
proposición más simple que lo represente.
D)~q E) p v q

11. Si la expresión
{(p A q ) v ~ r } —>q A) p B )p v q C) p v s
es falsa, las siguientes proposiciones son D) s E) ~ r
I. [( ~ p v r ) A p ] ~q
16. Simplifique el siguiente circuito.
II. { (r > t) >p } a q
III. { ( ~ r v p ) <-> ~ q } A q A) p
B) q
A) V W B) VFV C) FFV C) p v q
D )r A q
D )F W E) FVF
E) p A q — TH—
.
12 Simplifique 17. De las siguientes proposiciones, halle cuáles
R = p v [ { [ (p Aq)vr] a t } a { [ (pvqvr)A (pvq) ] vr} ]. son equivalentes.
I. Es necesario que Sofía no vaya al cine
A) p v r B) p v q C) q v r para que termine su tarea.
D) q v ~ r E) q a ~ r II. No es cierto que Sofía termine su tarea
y vaya al cine.

.
13 Se definen las operaciones
III. Sofía no terminará su tarea y no irá al cine.

p® q = ~(pAq) y A) I y III B) I y II C) II y III

p ^> q = ~ ( ~ p - * q ) D) todas E) n in g u n a

99
Lumbreras Editores Aritm ética

.
18 Dada la tabla de verdad, consideremos A) (p A r )v (- s )

V = l; F=0. Calcule el resultado al expresar B) ( p v r ) a ( ~ s )

en base 10 la matriz principal de p * ( q © r) C) p v ~ s
Si se sabe que: D) r v —s
E) p v s
p*q © r

F F V
22. Al simplificar
F F F
\ { ~ q -> ~ p ) a ~ (~ p -> —<?)] v [p -> ~ q ]
V V V
V F F se obtiene
V V V
V F F A )q vp . B) ~ q v p . Qp/\q.
V V V
D) ~ p v q . E) ~ ( p a q).
V F F

A ) 128 B) 126 C) 129 23. Simplifique el siguiente circuito lógico y dé

D) 120 E) 127 el equivalente.

.
19 Si se define p * q = (p a ~ q ) v (q a ~ p ),
simplifique — [Cp * —<7) —> —<7 ].

A) ~ q Ap B )p v <7 C)<7
D) ~ p E) <7 A p

20. Si sabemos que (p a q ) es falso y (<7 > r)

también es falso, ¿cuáles de las siguientes A) p B) q C) r
proposiciones son verdaderas?
D) ~ q E) p ~ p
I. (~ p v r )v s
II. ~ [p a (~<7 v ~ p )]
24. Simplifique y dé el equivalente del siguiente
III. [p v (í/ A ~ í)]H [(r - > (/ )v ~ ((;A !)]
circuito lógico:
A ) I y II B) II y III C) I y III
D) I, II y I E) ninguna -----P ---- <7—

.
21 Halle la forma más simple que represente al -P — p -q -
siguiente circuito:

— P—

o ---- q —
---- P ------

A ) p A ~<7 B )p v t7 C) ~ p
D) ~ p v ~ q E) F

100
C A PÍT U LO II Lógica proposicional

25. Determine la proposición correspondiente y

simplifique el siguiente circuito.

P-------q

A )(p v< / )-)r

B) (qvr)^>p
C) (p a q) -> r
A) p v q B) p A q C) ~ p v ~ q
D) (p v q ) a ~r
D) ~ p a ~q E ) p -><7
E) (p v q) a r

.
26 Simplifique 30. Indique la simbolización correcta del
[~ (p a ~ q ) - > (~ p v r )| a ~ \~q -> ~p] , siguiente circuito lógico.

A ) í ~ q v r) B) [p a ~ q )v r C) ~ p A q
D) ~ q a p E) p v ~q ---- Q'-----
_ ------ p —

.
27 De la falsedad de
------ P —
— %— H -i
(p —> ~ (7) v ( ~ r —» ~ s)
halle el valor de los siguientes esquemas:
I. ~(~qv~s)^~p
II. ~ (~ r A s )H (~ p ^ ~ < / )
A ) [ ( p ¡ v p 2) ( q ¡ v q 2) ] a (p 3^> q 3)
III. p —> — [í? —> — C-s —>r) ]
B) [(p, v p 2) - K t 7, v < 7 2) ] v ( p 3 -»< 73)
C) [(</, a<72) - > ( p , v p 2)] a(< 73 - > p 3)
A ) VFF B) F W C) FFF
D) ÍÍPi A p 2) —» (<7i a <72) ] a (p 3 v g 3)
D) VFV E) FVF E) [(p, a p 2) -*(<?, v <72) ] a ( p 3- ^ ^ 3)

.
28 Simplifique el esquema molecular 31. Al simplificar
{[ ~ ( q - » p) -> ~ (p - » q) ] a (p -> ~ q ) } v ~ q.
— [ — Cp —> <7) ~>p] —» q se obtiene

A) p B )~ p C) p w ~ q A ) ~ p Aq.
D) ~ q E) q B) ~ p v - 17.
C) ~ p A ~ q .
.
29 Indique la alternativa correcta que D) p v q .
represente al siguiente circuito. E) una tautología.

101
Lumbreras Editores A ritm ética

32. Reduzca la siguiente expresión: P—

D)
[(~ í 7 - > ~ p ) -» (~ p -> ~ « 7)] a ~ (p a q) <7----- r-
q ----- r-
E)
A) ~ ( p v q ) B) ~ p a q Q p v~ q — P ------
D) ~p E) ~ q
36. Si las siguientes proposiciones:
(pv~q) y (p v r )
33. Simplifique
son falsa y verdadera, respectivamente,
(pvqvr)A(pvtv~q)A(pv~tvr).
determine los valores de verdad de:
I. (p - » r) a ( q ^ ~ r)
A ) p v [r a (í v ~ <7) ]
II. ( ~ p a ~ ¿7 ) « ( p A ~p)
B) p a [r a (/ v ~ <7) ]
III. ( ~ p A í ) - > ~ ( ( í - > ~ r )
C ) p v [rv (í a —<7)]
D )p v [ ~ r a ( ~ í v ~< 7)] A ) VFF B) W F C) F W
E) p a [r v ( - / a - < 7)] D) V W E) FFV

34. Determine el esquema más simple de la 37. Se sabe que el costo de cada llave en la
proposición instalación del circuito:

~ [~ ( p a í 7) -> ~ q ] vp . --- p q- -a— p - — p—

<7 -
A) p v q B) p a q C )p - »< 7 — q— - — p ^ --- q —

D) ~ p v ~ í 7 E) ~ p a ~ í7
- p — q-

es de S/.30. Determine en cuánto se reducirá

35. Si el costo de la instalación si se reemplaza este

circuito por su equivalente más simple.
A = [(p A r) v ( p A «7)1 A [(p A ~ s ) V (p a s ))

' q— q- A ) S/.210 B) S/.240 C) S/.270

' P— ’— q- D) S/.300 E) S/.180

calcule el circuito simplificado de

~D^~A. 38. Si A = ( ~ p v q) —> (~<7 v p )
D = ~p
--- p— U = ~q
A) ■
'<7-----r - simplifique el siguiente circuito:

-D-
— P ------
B)
-<7---- r- U

- P ---- <7- A) p B) ~ p C) q
C)
V)~q E) p a ~c7

102
C A P ÍT U LO II Lógica proposicional

39. Simplifique y dé el equivalente del siguiente 42. Si la siguiente proposición es falsa:

circuito lógico. {(p -> q ) v (~í? -> f ) } v (<7 ~ s )}
determine el valor de verdad de las siguientes

r O O proposiciones.
I. (p s) a (p <7)
II. { (í a r) a (p s)
- Q---- Q-
III. (/ p) a (p -> q )

A)~q/\p B) p v ~ <7 Q —p ^ q A ) VFV B) FVF C) FFV

D) q E) ~ p D) F W E) VFF

40. Halle el circuito simplificado de ~ A - > ~B, 43. Reduzca la siguiente fórmula proposicional:
si:
~ (p -» ~ s) a {[( r v ¿7) ^p ] a (p >s )}
B: [ C<7 a t) v (q a p )] a [(<7 a ~ r ) v ( q Ar)]
A) ~ s B) p v s C) ~ p v s
p p— — p—
D) p a s E) p
A:
L q p— — p —
.
44 ¿Cuáles de los siguientes esquemas
proposicionales son equivalentes?
-p ------- 1-
I. ~ (_q~ p ) <r-> (q a p)
-q - II. ~(p<-»~<7)<->(p<-><7)
III. { [ ~ p a -£/) v -< 7 } ~ [(p v q) a q]
IV. (p q) o [(p v -<7) a <7 ]
- r -------- t -
O-
-------p — A ) I y II B) I, II y III C) II, III y IV
D) II y III E) I y III
-s ------- p-

« -C Z I3 - .
45 Dadas las siguientes proposiciones:

« o
p: Ulises se levanta temprano
<7 : Ulises compra pan
r. Ulises va al colegio
41. Se cumple que Simbolice
~ { ~ (f -> s) a ~ [(~ p a q ) - » (r <-> p ) } = F. Si Ulises no se levanta temprano y no compra
Indique el valor de verdad de las siguientes pan, es condición necesaria y suficiente para
proposiciones. que no vaya al colegio.
• [(p - > ~ < 7 ) a s ]->(<7<^p )
A) ~ (p a q ) -> r
• [(íX) A t~) —>U)\ —> (t s)
B) ~ (p a q) r
• [(p - > ~<7) A ( í <r> ~ s ) ] - » (qmp)
C) ~ r - > (p v<7)
A) VFF B) V W C) W F D) ( p v ~ q )< -> r
D) FVF E) VFV E) ~ ( p v ? ) H ~ r

103
Lumbreras Editores A ritm ética

46. Definimos los operadores lógicos: Halle la tabla de verdad de

p * q=p A ~ q y p ® q = p v ~q lp @ (p //q) ] // ( q @ p ) .
Reduzca a su mínima expresión el siguiente Indique los valores de verdad de su matriz
esquema: principal.
[Cp -> q ) * r] © [(p * q) -> r]
A) FFW B) F V W C) V W F
A )p -> < 7 D) W F F E) VFVF
B) p A r
C) r v ~ r 49. En la tabla definimos el operador
D) { p ^ > q ) v r
E) q —>r
P q p®q

47. Se tiene que V V F

V F F

F V F
p q p#q pOq
F F V
V V F F
V F V F
Simplifique
F V V V
[(p ©<?) ©<?] ffi [(p ffip) © ~q\.
F F V V

A) ~ q B) ~ p C)~(pAq)
Simplifique
O)p a ~q E) q
E = { q O [ ( ~ p # q ) O (~<7 # p ) ] } O
{ r # ( p O ( p O ( p O ( p # p ))))}
50. Formalice el siguiente enunciado: Si Juan
es músico, entonces Juan es cantante; pero
A) ~ q B )p C)pv~q
Juan no es músico, por lo tanto es cantante.
D) ~ p E) q
Igualmente Juan es compositor, además si
Juan no hubiera sido compositor, entonces
48. Se sabe que
sería cantante. Indique su expresión
equivalente más simple.
P q P@ q püq

V V F V A ) Juan es músico y cantante.

B) Juan es cantante y compositor.
V F V F
C) Juan es músico y compositor.
F V F F
D) Juan es cantante o músico.
F F V V
E) Juan es compositor o cantante.

104
 17 B

10 B 18 E

11 B 19 E

12 20 A

___ y _____ F i a 21 A

14 n 22 E

.... 1 L _ ......V ~A 23

.... 1.6....... F e 24

25 f ~F
f Ís l© § É i! i

26 34 42

27 35 43

28 36 44 B

29 37 45

30 38 46

31 39 47

32 40 48

33 41 B 49 B

50 B