«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

Lic. Perdomo

Compendio de
lógica matemática
UNAH- VS

1
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

LÓGICA DE PROPOSICIONES

2
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Idea de lógica de proposiciones

La lógica de proposiciones es la parte más elemental de la lógica moderna o matemática. En esta

primera parte de la lógica, las inferencias se construyen sin tomar en cuenta la estructura interna
de las proposiciones. Sólo se examinan las relaciones lógicas existentes entre proposiciones
consideradas como un todo, y de ellas sólo se toma en cuenta su propiedad de ser verdaderas o
falsas.

Por esta razón emplea sólo variables proposicionales. La lógica de proposiciones estudia las
relaciones formales extraproposicionales, es decir, aquellas relaciones existentes entre
proposiciones y no las que se dan dentro de ellas. Se la denomina, también, lógica de las
proposiciones sin analizar. Dispone de medios de análisis formal de las inferencias (lenguaje
simbólico y métodos específicos), y la validez de éstas se determina por las relaciones
entre proposiciones consideradas como un todo, sin penetrar en su estructura interna.

Concepto de proposición

El lenguaje, en sentido estricto, es un sistema convencional de signos, es decir, un conjunto de

sonidos y grafías con sentido, sujeto a una determinada articulación interna. Sirve para afirmar o
negar (oraciones aseverativas o declarativas); expresar deseos (oraciones desiderativas); formular
preguntas (oraciones interrogativas); expresar sorpresa o admiración (oraciones exclamativas o
admirativas) e indicar exhortación, mandato o prohibición (oraciones exhortativas o imperativas).
De todas estas clases de oraciones la lógica sólo toma en cuenta las declarativas o aseverativas, las
únicas que pueden constituir proposiciones, según cumplan o no determinados requisitos.
La proposición es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa.

Ejemplos:

a) Dolly fue la primera oveja clonada.

b) El átomo es una molécula.

‘a)’ y ‘b)’ son ejemplos de proposiciones, porque tiene sentido decir que ‘a)’ es verdadera y que ‘b)’
es falsa. En consecuencia, la verdad y la falsedad son sus propiedades, es decir, sólo las
proposiciones pueden ser verdaderas o falsas.

Expresiones lingüísticas que no son proposiciones

Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones. En efecto, las
oraciones interrogativas, las exhortativas o imperativas, las desiderativas y las exclamativas o
admirativas no son proposiciones porque ninguna de ellas afirma o niega algo y, por lo tanto, no
son verdaderas ni falsas. Asimismo, las oraciones dubitativas, así como los juicios de valor —no
obstante afirmar algo— no constituyen ejemplos de proposiciones, pues su verdad o falsedad no
puede ser establecida.

Ejemplos:

c) El cuadrilátero es un polígono de cuatro lados.

d) ¿Qué es la lógica?
e) Debemos honrar a nuestros héroes.
f) Sea en hora buena.
g) ¡Por Júpiter! ¡Casi me saco la lotería!
h) Quizá llueva mañana.

3
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
i) Valentín es bueno.

‘c)’ es proposición porque es una oración aseverativa verdadera; ‘d)’ no es proposición porque es
una oración interrogativa; ‘e)’ no es proposición porque es una oración imperativa o exhortativa; ‘f)’
tampoco es proposición porque es una oración desiderativa, ‘g)’ no es proposición porque es una
oración exclamativa o admirativa, ‘h)’ no es proposición porque es una oración dubitativa, y
finalmente, ‘i)’ no es proposición porque constituye un juicio de valor. Finalmente, toda proposición
es una oración aseverativa, pero no toda oración aseverativa es una proposición.
Ejemplos:

j) El triángulo es inteligente.
k) Eduardo es un número racional.
l) x + 3 = 5
m) a es la capital del Honduras.

‘j)’, ‘k)’, ‘l)’ y ‘m)’ son ejemplos de oraciones aseverativas, mas no de proposiciones. ‘j)’ e ‘k)’ son
expresiones lingüísticas que tienen apariencia de proposiciones, pero que realmente no lo son
porque no tiene sentido decir de ellas que son verdaderas o falsas. Son pseudoproposiciones, es
decir, falsas proposiciones. ‘l)’ y ‘m)’ son también ejemplos de oraciones aseverativas, pero no de
proposiciones; no son verdaderas ni falsas porque en ellas figura una o más letras sin interpretar,
son ejemplos de funciones proposicionales.

n) El principal sospechoso de los atentados del 11 de setiembre de 2001 en los Estados Unidos.

o) El actual presidente de la República del Perú.

‘n)’ y ‘o)’ no son proposiciones; son descripciones definidas, es decir, frases especiales que pueden
ser reemplazadas por nombres propios. ‘n)’ puede ser sustituida por Osama bin Laden y ‘o)’
por Alejandro Toledo.
p) ‘La realidad es duración’ (Bergson).
q) ‘La materia se mueve en un ciclo eterno’ (Engels).
r) ‘Las condiciones de posibilidad de la experiencia en general son al mismo tiempo las de la
posibilidad de los objetos de la experiencia’ (Kant).
s) ‘Considera bien quién eres. Ante todo, un hombre, es decir, un ser para el que nada existe más
importante que su propia capacidad de opción’ (Epicteto).
t) ‘Filosofar (...) es el extraordinario preguntar por lo extra-ordinario’ (Heidegger).
u) ‘Nunca filósofo alguno ha demostrado algo. Toda pretensión es espuria. Lo que tengo que decir
es simplemente esto: los argumentos filosóficos no son deductivos, por lo tanto no son rigurosos,
por lo que nada prueban; sin embargo, tienen fuerza’ (F. Waismann).
v) La ciencia y la religión son, ambas, vías respetables para adquirir creencias respetables, no
obstante tratarse de creencias que son buenas para propósitos muy diferentes (R. Rorty).

‘p)’, ‘q)’, ‘r)’, ‘s)‘, ‘t)’, ‘u)’ y ‘v)’ no son proposiciones, sino filosofemas, es decir, enunciados
filosóficos. Ninguna de ellos puede calificarse de verdadero o falso. Su verdad o falsedad no puede
ser establecida lógica o empíricamente. En filosofía no hay verdades, pues los enunciados
filosóficos o filosofemas sólo expresan opiniones racionalmente fundamentadas.

En conclusión:

Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:

1) Ser oración.

4
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
2) Ser oración aseverativa, y
3) Ser o bien verdadera o bien falsa.
Por esto, no son ejemplos de proposiciones:

1) Las oraciones interrogativas, imperativas o exhortativas, desiderativas, exclamativas o

admirativas y las dubitativas.

2) Los juicios de valor.

3) Las pseudoproposiciones.
4) Las funciones proposicionales.
5) Las descripciones definidas, y
6) Los filosofemas.

Proposición, oración y enunciado

Es necesario distinguir una proposición (objeto conceptual o constructo) de las oraciones (objetos
lingüísticos) que la designan, expresan o formulan, así como es preciso distinguir una oración
de sus diversas enunciaciones (acto psicofísico) orales, escritas, o por ademanes. En efecto, cuando
enuncio, o escucho, o escribo, o leo una oración, por ejemplo, ‘Tres es mayor que dos’, ejecuto un
acto psicofísico.
En consecuencia, la enunciación y la percepción de una oración son procesos y, como tales, objetos
físicos en sentido lato. No así la oración misma: ésta puede considerarse como una clase de
enunciaciones concretas en circunstancias particulares. Una misma oración podrá ser pronunciada
por diversos sujetos, en distintas circunstancias y con diferentes tonos de voz. Cámbiese el sujeto,
o las circunstancias, o el tono de voz, y se tendrán enunciaciones diferentes de la misma oración.
Piénsese en la oración ‘3 > 2’ dicha en lenguaje interior, susurrada, gritada, o escrita en diversos
lenguajes.
Asimismo, ciertas oraciones designan o expresan proposiciones.
Por ejemplo, las oraciones ‘3 > 2‘, ‘III > II’, ‘Three is greater than two’ y ‘Tres es mayor que dos’
expresan o designan una misma proposición. Pero si bien toda proposición es expresable por
una o más oraciones, la recíproca no es cierta. En efecto, hay oraciones gramaticales que no
formulan proposición alguna, como por ejemplo ‘El número cinco aleteó’ y ‘La raíz cuadrada de
una melodía es igual a un sueño’.

En resumen, tenemos tres clases de objetos y dos relaciones entre ellos:

Clases de proposiciones

Éstas pueden ser de dos clases: atómicas y mole-culares.

5
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Las proposiciones atómicas (simples o elementales) carecen de conjunciones gramaticales típicas o
conectivas (‘y’, ‘o’, ‘si... entonces’, ‘si y sólo si’) o del adverbio de negación ‘no’.

Ejemplos:

a) San Marcos es la universidad más antigua de América.

b) La lógica es distinta a la matemática.

Las proposiciones atómicas de acuerdo a sus elementos constitutivos pueden clasificarse en

predicativas y relacionales.

Las proposiciones predicativas constan de sujeto y predicado.

Ejemplos:

c) El número 2 es par.
d) El espacio es relativo.

Las proposiciones relacionales constan de dos o más sujetos vinculados entre sí.

Ejemplos:

e) Silvia es hermana de Angélica.

f) 5 es mayor que 3.

Las proposiciones moleculares (compuestas o coligativas) contienen alguna conjunción gramatical

típica o conectiva o el adverbio negativo ‘no’.

Ejemplos:

g) La lógica y la matemática son ciencias formales.

h) El tiempo es absoluto o es relativo.
i) Si dos ángulos adyacentes forman un par lineal, entonces son suplementarios.
j) Este número es par si y sólo si es divisible por dos.
k) El Inca Garcilaso de la Vega no es un cronista puneño.

Clasificación de las proposiciones moleculares

Las proposiciones moleculares, según el tipo de conjunción que llevan, se clasifican en conjuntivas,
disyuntivas, condicionales y bicondicionales; si llevan el adverbio de negación ‘no’ se llaman
negativas.

• Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o sus expresiones equivalentes
como ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni‘, ‘sin embargo’, ‘además’,
etc.

Ejemplos:

a) ‘El’ es un artículo y ‘de’ es una preposición.

b) El número dos es par, pero el número tres es impar.
c) Silvia es inteligente, sin embargo es floja.
d) Tanto el padre como el hijo son melómanos.

6
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
e) Manuel e Ismael son universitarios.
f) La materia ni se crea ni se destruye.
g) Iré a verte aunque llueva.
h) Ingresaré a la universidad aun cuando no apruebe el examen de admisión.

En las proposiciones conjuntivas no es necesario que sus proposiciones componentes estén

relacionadas en cuanto al contenido; es suficiente la presencia de la conjuncion ‘y’.
Una proposición conjuntiva es conmutativa, es decir, se puede permutar el orden de sus
proposiciones componentes sin alterar la conjunción. Esto es posible en la lógica, pero no en el
lenguaje natural. En efecto, la proposición ‘Angélica se casó y tuvo diez hijos’ no significa lo mismo
que ‘Angélica tuvo diez hijos y se casó’. En el lenguaje natural, la primera sugiere una relación
de causalidad, en cambio la segunda no. Sin embargo, desde el punto de vista lógico, las dos
proposiciones conjuntivas son equivalentes.

Las pseudoproposiciones conjuntivas son proposiciones que se presentan como si fuesen

proposiciones conjuntivas, pero que en realidad son proposiciones atómicas relacionales. La ‘y’, de
los ejemplos, tiene carácter de término relacional y no propiamente de conjunción copulativa o
conectiva.

Ejemplos:

a) Sansón y Dalila son hermanos.

b) Sansón y Dalila son primos.
c) Sansón y Dalila son vecinos.
d) Sansón y Dalila son compadres.
e) Sansón y Dalila son contemporáneos.
f) Sansón y Dalila son condiscípulos.
g) Sansón y Dalila son paisanos.
h) Sansón y Dalila son colegas.
i) Sansón y Dalila son cuñados.
j) Sansón y Dalila son enamorados.
k) Sansón y Dalila son novios.
l) Sansón y Dalila son esposos.
m)Sansón y Dalila son amantes.
n) Sansón y Dalila son mellizos.
o) Sansón y Dalila son siameses.
p) Sansón y Dalila comparten sus ganancias.
q) Sansón y Dalila obsequian una bicicleta a su sobrina Cleopatra.

• Las proposiciones disyuntivas llevan la conjunción disyuntiva ‘o’, o sus expresiones equivalentes
como ‘u’, ‘ya... ya’, ‘bien... bien’, ‘ora... ora’, ‘sea... sea’, ‘y/o’, etc.

En español la disyunción 'o' tiene dos sentidos: uno inclusivo o débil y otro exclusivo o fuerte. La
proposición disyuntiva inclusiva admite que las dos alternativas se den conjuntamente.
La proposición disyuntiva exclusiva no admite que las dos alternativas se den conjuntamente.

Ejemplos:

a) Pedro es tío o es sobrino.

b) Elena está viva o está muerta.
c) Roberto es profesor o es estudiante.
d) Silvia es soltera o es casada.

7
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
‘a)’ y ‘c)’ son proposiciones disyuntivas inclusivas o débiles porque en ellas no se excluye la
posibilidad de que Pedro pueda ser al mismo tiempo tío y sobrino o de que Roberto sea profesor y
estudiante a la vez; en cambio ‘b)’ y ‘d)’ son proposiciones disyuntivas exclusivas o fuertes porque
en ellas se excluye la posibilidad de que Elena pueda estar viva y muerta al mismo tiempo
y que Silvia sea soltera y casada a la vez.

En español no existe un signo especial para la disyunción inclusiva y otro para la exclusiva, es
decir, en ambos casos se usa la misma partícula ‘o’; mientras que en lógica sí existen signos
especiales para distinguirlas, como veremos más adelante.

• Las proposiciones condicionales llevan la conjunción condicional compuesta ‘si... entonces...’, o

sus expresiones equivalentes como ‘si’, ‘siempre que’, ‘con tal que’, ‘puesto que’, ‘ya que’, ‘porque’,
‘cuando’, ‘de’, ‘a menos que’, ‘a no ser que’, ‘salvo que’, ‘sólo si‘, ‘solamente si’.

Ejemplos:

a) Si es joven, entonces es rebelde.

b) Es herbívoro si se alimenta de plantas.
c) El número cuatro es par puesto que es divisible por dos.
d) Se llama isósceles siempre que el triángulo tenga dos lados iguales.
e) Cuando venga Raúl jugaremos ajedrez.
f) De salir el sol iremos a la playa.
g) La física relativista fue posible porque existió la mecánica clásica.
h) Nuestra moneda se devalúa solamente si su valor disminuye.

Toda proposición condicional consta de dos elementos: antecedente y consecuente. La proposición

que sigue a la palabra ‘si’ se llama antecedente y la que sigue a la palabra ‘entonces’ se denomina
consecuente.

Toda proposición implicativa es condicional, pero no toda proposición condicional es implicativa.

En efecto, sólo las proposiciones condicionales que son tautologías son implicativas.

Para que una proposición condicional sea lógicamente correcta no es necesario que haya relación de
atingencia entre el antecedente y el consecuente, es decir, que la verdad en una proposición
condicional es independiente de las relaciones que puedan existir o no entre los significados del
antecedente y el consecuente. Por ejemplo, la proposición “Si la tierra gira alrededor del sol,
entonces Lima es capital del Perú” es verdadera no obstante no existir relación alguna entre los
significados de sus proposiciones componentes. Finalmente, en toda proposición condicional el
consecuente es condición necesaria del antecedente y el antecedente es condición suficiente del
consecuente. Por ejemplo, en la proposición condicional ‘si los cuerpos se calientan, entonces se
dilatan’, el consecuente ‘se dilatan’ es condición necesaria del antecedente ‘se calientan’ y el
antecedente ‘se calientan’ es condición suficiente del consecuente ‘se dilatan’.

• Las proposiciones bicondicionales llevan la conjunción compuesta ‘... sí y sólo si...’, o sus
expresiones equivalentes como ‘cuando y sólo cuando’, ‘si..., entonces y sólo entonces...’, etc.

Ejemplos:

a) Es fundamentalista si y sólo si es talibán.

b) Habrá cosecha cuando y sólo cuando llueva.
c) Si apruebo el examen de admisión, entonces y sólo entonces ingresaré a la universidad.

8
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Las proposiciones bicondicionales se caracterizan porque establecen dos condicionales, pero de
sentido inverso. Por ejemplo, la proposición bicondicional ‘el triángulo es equilátero si y sólo si
tiene tres lados iguales’ establece dos condicionales de sentido inverso: ‘si es triángulo equilátero,
entonces tiene tres lados iguales’ y ‘si el triángulo tiene tres lados iguales, entonces es equilátero’.
En toda proposición bicondicional el antecedente es condición necesaria y suficiente del
consecuente y el consecuente es condición necesaria y suficiente del antecedente.

• Las proposiciones negativas llevan el adverbio de negación ‘no’, o sus expresiones equivalentes
como ‘nunca’, ‘jamás’, ‘tampoco’, ‘no es verdad que‘, ‘no es cierto que’, ‘es falso que’, ‘le falta’,
‘carece de’, ‘sin’, etc.

Ejemplos:

a) Nunca he oído esa música.

b) Jamás he visto al vecino.
c) Es imposible que el átomo sea molécula.
d) Es falso que el juez sea fiscal.
e) Al papá de Nelly le falta carácter.

Actividad 1

EJERCICOS DEL 1 AL 4

9
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
EL LENGUAJE FORMALIZADO DE LA LÓGICA PROPOSICIONAL

El lenguaje natural y el lenguaje formalizado

Existen dos tipos fundamentales de lenguajes: el natural y el formalizado.

El lenguaje natural es el lenguaje usado en la vida familiar, en la vida cotidiana. Tiene una amplia
gama expresiva, es decir, sirve para comunicar informaciones, formular órdenes, expresar
deseos, sentimientos, etc. Pertenecen a este lenguaje, por ejemplo, el español, el inglés, el francés, el
alemán, entre otros. El lenguaje formalizado es el lenguaje usado en la actividad científica.
Sólo sirve para formular conocimientos. Es un lenguaje especializado.
Pertenecen a este lenguaje, por ejemplo, el lenguaje lógico y el matemático.

Variables proposicionales y operadores lógicos

El lenguaje lógico se denomina formalizado porque su propiedad más importante es la de revelar la

forma o estructura de las proposiciones e inferencias. El lenguaje formalizado de la lógica de
proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores
lógicos.
Las variables proposicionales representan a cualquier proposición atómica. Son letras minúsculas
del alfabeto castellano ‘p’, ‘q’, ‘r’, ‘s’, etc. Los operadores lógicos además de enlazar o conectar
proposiciones establecen determinadas operaciones entre ellas.

Son de dos clases: diádicos y el monádico. Los operadores diádicos tienen un doble alcance: hacia la
izquierda y hacia la derecha, es decir, afectan a dos variables. Y son los siguientes:
El conjuntivo: representa a la conjunción ‘y’. Su símbolo es ‘’.

El disyuntivo: representa a la conjunción ‘o’. Puede ser inclusivo y exclusivo.

El símbolo del inclusivo es ‘’; el del exclusivo es ‘∆ ’.

El condicional: representa a la conjunción compuesta ‘si... entonces’.

Su símbolo es ‘’.

El bicondicional : representa a la conjunción compuesta ‘si y sólo si’. Su símbolo es ‘↔ ’.

Negación conjunta: representa a las partículas ‘ni...ni‘. Su símbolo es ‘’.

Negación alterna : representa a la expresión ‘no o no’. Su símbolo es ‘’.

El Negativo: Es el operador monádico y tiene un solo alcance: hacia la derecha, es decir, afecta a
una sola variable. Es el operador de la negación. Representa al adverbio negativo ‘no’. Su símbolo
es ‘~’.

Principales notaciones simbólicas

Existen diferentes notaciones simbólicas, pero pueden reducirse a tres: la de Scholz, la de Peano-
Russell y la de Lukasiewicz. Las tablas siguientes muestran las correspondencias entre las
principales notaciones simbólicas:

10
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

Sistemas de Scholz y Peano-Russell

Las características de las notaciones simbólicas de Scholz y Peano- Russell son:

a) Los operadores diádicos se escriben entre las variables que enlazan, pero la negación va delante.
b) Los operadores son signos especiales.
c) Se usa puntos auxiliares o signos de agrupación para determinar jerarquía entre los operadores.

Sistema de Lukasiewicz

La notación simbólica de Lukasiewicz presenta las siguientes características:

a) Los operadores se escriben delante de las variables que conectan.

b) Los operadores son letras mayúsculas del alfabeto castellano.
c) No se usa signos de agrupación ni puntos auxiliares para establecer la jerarquía entre los
operadores. El operador de mayor jerarquía va a la cabeza.

Nosotros hemos preferido usar la notación simbólica de Scholz porque es la que con mayor
frecuencia se emplea en los libros de lógica que circulan en nuestro medio.

Reglas de formación de fórmulas lógicas

Una fórmula lógica, es decir, una fórmula bien formada (FBF) es una cadena de símbolos construida
según reglas establecidas por la sintaxis lógica. Puede ser de dos tipos: atómica y molecular.

Una fórmula atómica es aquella que no contiene entre sus símbolos ningún operador y puede ser
representada por una variable proposicional, mientras que una fórmula molecular contiene entre
sus signos, al menos, un operador.

La sintaxis lógica es una disciplina metalógica que estudia el lenguaje de la lógica desde el punto de
vista formal, es decir, sin interesarse más que por las relaciones entre los símbolos. Ella permite
la construcción de fórmulas bien formadas estableciendo, con tal objeto, reglas para usar y
combinar símbolos.

Las siguientes son reglas de la sintaxis lógica que posibilitan la construcción de fórmulas bien
formadas:

11
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Regla 1. Toda variable proposicional (‘p’, ‘q’, ‘r’, ‘s’) es una FBF.
Regla 2. Si ‘p’ es una FBF, entonces ‘~ p’ es también una FBF.
Regla 3. Si ‘p’ y ‘q’ son FBF, entonces ‘p q’, ‘p q’, ‘p∆ q’, ‘p q’, ‘p ↔q’ ‘p q’ y ‘pq’ son
igualmente FBF.
Regla 4. Una cadena de símbolos es una FBF si y sólo si se sigue de la aplicación de R.1, R.2 y R.3.
Regla 5. Una fórmula lógica está bien formada si y sólo si existe una jerarquía claramente
establecida entre sus operadores; en caso contrario, la fórmula carece de sentido.
Regla 6. Una FBF tiene un nombre y éste depende de su operador de mayor jerarquía.
Regla 7. El operador de mayor jerarquía es aquel que está libre de los signos de agrupación:
‘( )’, ‘[ ]’, ‘{ }’.
Regla 8. Los signos de agrupación se usan sólo cuando su omisión hace ambigua una fórmula, es
decir, cuando una fórmula es susceptible de una doble interpretación.
Regla 9. Los operadores diádicos tienen mayor jerarquía que el operador monádico.
Regla 10. El operador negativo se escribe antes y no después de una fórmula.
Regla 11. El operador negativo no se escribe entre dos fórmulas, sino inmediatamente a la derecha
de un operador diádico.
Regla 12. Si un operador negativo antecede a otro operador igualmente negativo, entonces el de la
izquierda tiene mayor jerarquía.

SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y operadores asi como, darles jerarquía. Son los
siguientes:
* Paréntesis ( )
* Corchetes [ ]
* Llaves { }
* Barras | |

JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección,
llamados también de agrupación.

Para jerarquizar hay que tener en cuenta los siguientes requisitos:

* Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.).
* Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación
del texto a jerarquizar, en cuanto ellos indican la ubicación de los signos de colección.
* En el texto, el punto seguido tiene mayor jerarquía, le sigue en 2do. lugar el punto y coma, y
en 3er. lugar la coma.

REGLAS PARA JERARQUIZAR

1. Donde esté ubicado el signo de puntuación más importante del texto, ahí se encuentra
ubicado el conectivo principal.
2. Donde se encuentre un signo de puntuación ahí se abre o cierra un signo de colección
(paréntesis, corchete o llave)
3. El conectivo que se encuentre fuera o en la parte más externa de los signos de colección es el
que tiene mayor jerarquía.
4. Si encontramos un texto donde se presente una sucesión de idénticos signos de puntuación,
será mayor el que presente como conectivo entonces, luego o cualquiera de sus sinónimos.

12
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
5. La negación antecede a la variable (~p), no enlaza proposiciones, pues no es conectivo: (p ~
q).

Ejemplos de aplicación de las reglas de formación de fórmulas lógicas:

a) p (p r)
Es una FBF en virtud de R.5. Y se llama condicional por R.6 y
R.7.

b) p q r
Es una fórmula mal formada (FMF) por atentar contra la R.8.
La ambigüedad de ‘b)’ se elimina utilizando adecuadamente los paréntesis.

Ejemplos:

• p (q r) Es ya una FBF por R.5. Y se llama disyuntiva inclusiva por R.6 y R.7.

• (p q) r Es también una FBF por R.5. Y se llama conjuntiva por R.6 y R.7.

c) ~ (p q) ∆ ~ (r t)

Es una FBF por R.5. Se trata de una disyuntiva exclusiva por

R.6, R.7 y R.9.

d) p ~

Es una FMF por atentar contra R.10, pero ‘~ p’ es ya una FBF por R. 10

e) [p (~ q ~ r)] ~

Es una FMF por atentar contra R.10, pero ‘~ [p (~ q ~ r)]’
es ya una FBF por R.5. Se llama negativa por R.6 y R. 7

f) p ~ q

Es una FMF por atentar contra R.11, pero ‘p ↔ ~ q’ es ya

una FBF por R.5. Se llama bicondicional por R.6, R.7, y R.9.

g) (~ p ~ q) ~ (~ r ~ q)

Es una FMF por atentar contra R.11, pero ‘(~ p → ~ q) 

~ (~ r ~ q)’ es ya una FBF por R.5. Y se llama conjuntiva por R.6, R.7 y R.9.

Formalización de proposiciones

Formalizar una proposición significa abstraer su forma lógica, es decir, revelar su estructura
sintáctica a través del lenguaje formalizado de la lógica. En términos más sencillos, formalizar una
proposición equivale a representarla simbólicamente.

Toda proposición tiene su forma lógica y su fórmula. La forma lógica de una proposición es otra
proposición equivalente a la primera con la diferencia de que en ella toda su estructura

13
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
sintáctica está completamente explicitada. A partir de aquí, su fórmula no es otra cosa que la que
resulta de sustituir a toda proposición atómica distinta por una variable proposicional también
distinta, a toda conjunción gramatical por el operador lógico correspondiente y el adverbio ‘no’ por
el operador negativo. La técnica de formalización de proposiciones comprende los siguientes pasos:

a) Se explicita su forma lógica empleando las conjunciones ‘y’, ‘o’, ‘si..., entonces’, ‘si y sólo si’ y el
adverbio ‘no’ en sustitución de sus expresiones equivalentes.

b) Se halla su fórmula reemplazando cada proposición atómica por una variable proposicional, las
conjunciones gramaticales por sus operadores lógicos correspondientes y el adverbio ‘no’ por el
operador negativo.

c) Los signos de agrupación se usan para establecer la jerarquía entre los operadores de una
fórmula lógica, pero sólo cuando su omisión la hace ambigua.

Ejemplos de formalización de proposiciones:

a) Kant es filósofo, pero Frege es lógico

Forma lógica:
Kant es filósofo y Frege es lógico

Fórmula:
p: Kant es filósofo.
q: Frege es lógico.

p q

b) No iremos al teatro a menos que venga Raúl.

Forma lógica:

Si Raúl viene, entonces iremos al teatro.

Fórmula:
p: Raúl viene.
q: iremos al teatro.

p q

c) Einstein no es filósofo, sino físico.

Forma lógica:
Einstein es físico y Einstein no es filósofo.

Fórmula:

p: Einstein es físico.
q: Einstein es filósofo.

p ~ q

d) Euclides no es médico ni físico.

Forma lógica:

14
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Euclides no es médico y Euclides no es físico.

Fórmula:
p: Euclides es médico.
q: Euclides es físico

~ p ~ q o p q
e) Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.

Forma lógica:

Vilma no ingresó a la universidad y Silvia no ingresó a la universidad y Angélica no ingresó a la

universidad.

Fórmula:
p: Vilma ingresó a la universidad.
q: Silvia ingresó a la universidad.
r: Angélica ingresó a la universidad.

~ p ~ q ~ r

f) Sin carbono, oxígeno, nitrógeno e hidrógeno, no hay vida.

Forma lógica:

Si no hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno, entonces no hay vida.
Fórmula:

p: hay carbono.
q: hay oxígeno.
r: hay hidrógeno.
s: hay nitrógeno.
t: hay vida.

(~ p ~ q ~ r ~ s) ~ t

g) Tanto Waldir Sáenz como “Chemo” Del Solar son atletas porque son futbolistas.

Forma lógica:

Si Waldir Sáenz es futbolista y “Chemo” Del Solar es futbolista, entonces Waldir Sáenz es atleta y
“Chemo” Del Solar es atleta.

Fórmula:

p: Waldir Sáenz es futbolista.

q: “Chemo” Del Solar es futbolista.
r: Waldir Sáenz es atleta.
s: “Chemo” Del Solar es atleta.

( p q )( r s)

15
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
h) César es profesor o es alumno, pero no puede ser ambas cosas a la vez.

Forma lógica:
César es profesor o César es alumno y es falso que César sea profesor y César sea alumno.

Fórmula:

p: César es profesor.
q: César es alumno.

( p q ) ~ ( p q )

i) Las Fuerzas Armadas y las Fuerzas Policiales participan en el desarrollo económico y

social del país, pero no son deliberantes.

Forma lógica:

Las Fuerzas Armadas participan en el desarrollo económico del país y las Fuerzas Armadas
participan en el desarrollo social del país y las Fuerzas Policiales participan en el desarrollo
económico del país y las Fuerzas Policiales participan en el desarrollo social del país y las Fuerzas
Armadas no son deliberantes y las Fuerzas Policiales no son deliberantes.

Fórmula:

p: las Fuerzas Armadas participan en el desarrollo económico del país.

q: las Fuerzas Armadas participan en el desarrollo social del país.
r: las Fuerzas Policiales participan en el desarrollo económico del país.
s: Las Fuerzas Policiales participan en el desarrollo social del país.
t: las Fuerzas Armadas son deliberantes.
w: las Fuerzas Policiales son deliberantes.

( p q r s) ( ~ t ~ w)

Actividad 2

EJERCICIOS DEL 5 AL 8

16
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
FUNCIONES VERITATIVAS Y TABLAS DE LA VERDAD

Definición tabular de los operadores lógicos

De la conjunción

Una fórmula conjuntiva ‘p q’ es verdadera si y sólo si ‘p’ es verdadera y ‘q’ también es verdadera.
En los demás casos la fórmula ‘p q’ es falsa.

Tomemos, por ejemplo, las dos proposiciones atómicas siguientes:

a) La lógica es una ciencia formal.

b) La física es una ciencia factual.

Enlazando ‘a)’ y ‘b)’ mediante la conjunción ‘y’ obtenemos una nueva:

c) La lógica es una ciencia formal y la física es una ciencia factual.

Esta nueva proposición se denomina proposición molecular conjuntiva.

Y ‘c)’ es verdadera porque ‘a)’ es verdadera y ‘b)’ también es verdadera.

Justamente, el hecho de que el valor de verdad de ‘c)’ esté determinado por el de ‘a)’ y ‘b)’, hace que
‘c)’ sea una función de verdad de ‘a)’ y ‘b)’.

Fórmula de ‘c)’: p q

Para explicitar la definición del operador conjuntivo vamos a recurrir al método de la tabla de
verdad, usado por el filósofo y lógico austriaco L. Wittgenstein en su obra más importante el
Tractatus Logico-Philosophicus. Este método ha de permitir mostrar en orden todas las combinaciones
posibles de los valores de las variables ‘p’ y ‘q’ y luego establecer la verdad de la fórmula
conjuntiva ‘p q’.

El proceso de construcción de la Tabla de Verdad de una fórmula conjuntiva se realiza observando

fielmente los siguientes:

pasos:
Paso 1. Se dibuja una cruz con el brazo derecho más largo que el izquierdo. La parte de la izquierda
se llama margen (M) y la parte de la derecha se denomina cuerpo (C):

17
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Paso 2. Se escribe en la parte superior del margen (MS) las variables ‘p’ y ‘q’ y en la parte superior
del cuerpo (CS) la fórmula
conjuntiva ‘p ^ q’ que se ha de tabular:

Paso 3. Se escribe en la parte inferior del margen (MI), y en columna, todas las combinaciones o
arreglos posibles de los valores de las variables, empleando para el valor verdadero la abreviatura
V y para el valor falso la abreviatura F.

Paso 4. Se calcula el número de arreglos posibles de los valores de las variables aplicando la
fórmula 2n. En donde ‘n’ es una variable numérica cuyo valor depende del número de variables
proposicionales que tenga la fórmula que se ha de tabular y ‘2’ una constante que hace referencia a
los dos valores V y F que puede asumir cualquier proposición atómica. En este caso específico
el número de variables es 2. Luego, el número de arreglos será:

Paso 5. Se escribe en la primera columna de valores la mitad de valores verdaderos y la mitad de

valores falsos. En la segunda columna, también la mitad de valores verdaderos y la mitad de
valores falsos, pero en relación con los valores verdaderos y falsos de la primera columna, hasta
completar los cuatro arreglos:

Paso 6. Se escribe, en la parte inferior del cuerpo (CI) y debajo del operador conjuntivo, los valores
que asume la fórmula conjuntiva. La nueva columna de valores obtenida se llama matriz de la
conjunción, cuya tabla es la siguiente:

18
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

NOTA: otros símbolos para la conjunción “ · “ , “x”

De la disyunción inclusiva

Una fórmula disyuntiva inclusiva ‘p q’ es falsa si y sólo si ‘p’ es falsa y ‘q’ también es falsa. En los
demás casos la fórmula ‘p q’ es verdadera.

Ejemplo:

a) Eduardo es profesor.
b) Eduardo es alumno.

Enlazando ‘a)’ y ‘b)’ mediante la conjunción disyuntiva ‘o’ obtenemos una nueva:

a) Eduardo es profesor o Eduardo es alumno.

Esta nueva proposición se llama proposición molecular disyuntiva inclusiva. Y ‘c)’ es verdadera
siempre que una de las proposiciones componentes o bien ambas sean verdaderas. Y es falsa
cuando ambas son falsas.

Fórmula de ‘c)’: p q

Para construir la tabla de verdad de la disyunción inclusiva es necesario proceder exactamente de la

misma manera como procedimos en el caso de la conjunción, hasta el paso 5. Luego, aplicando
la definición del operador disyuntivo inclusivo, en armonía con lo estipulado en el paso 6,
obtenemos la matriz de la disyunción inclusiva:

Nota: otros símbolos para la disyunción débil “+”

De la disyunción exclusiva

Una fórmula disyuntiva exclusiva ‘p ∆ q’ es verdadera si y sólo si las variables ‘p’ y ‘q’ no tienen el
mismo valor. En los demás casos es falsa.

Ejemplo:

19
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
a) Jorge está vivo.
b) Jorge está muerto.

Enlazando ‘a)’ y ‘b)’ mediante la conjunción disyuntiva 'o' obtenemos una nueva:

b) Jorge está vivo o Jorge está muerto.

Esta nueva proposición se llama proposición disyuntiva exclusiva. Y ‘c)’ es verdadera siempre que
ambas proposiciones componentes no sean verdaderas o falsas al mismo tiempo. La verdad
de una de las proposiciones componentes excluye la verdad de la otra, es decir, no pueden ser
ambas verdaderas.

Fórmula de ‘c)’: p ∆ q

Aplicando la definición del operador disyuntivo exclusivo, en consonancia con lo establecido en el

paso 6 obtenemos la matriz de la disyunción exclusiva:

Nota: otros conectores para la disyunción excluyente “ ∆” , “ ≠” .

Del condicional

Una fórmula condicional ‘p q’ es falsa si su antecedente ‘p’ es verdadero y su consecuente ‘q’ es
falso. En los demás casos es verdadera.

Ejemplo:

a) El polinomio tiene tres términos.

b) El polinomio se llama trinomio.

Enlazando ‘a)’ y ‘b)’ mediante la conjunción condicional compuesta 'si..., entonces' obtenemos una
nueva:

c) Si el polinomio tiene tres términos, entonces se llama trinomio.

Esta nueva proposición se llama proposición condicional. Y ‘c)’ es verdadera en cualquier caso,
excepto cuando la proposición que desempeña el papel de antecedente es verdadera y la
proposición que hace las veces de consecuente es falsa: No es posible que el antecedente sea
verdadero y el consecuente falso.

20
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
La verdad de una proposición condicional no depende de las relaciones que puedan existir o no
entre los significados del antecedente y del consecuente. En efecto, hay ejemplos de proposiciones
condicionales verdaderas en que entre el antecedente y el consecuente no existe ninguna relación de
atingencia, es decir, lo que dice el antecedente es diferente a lo que dice el consecuente.
Ejemplo de una proposición condicional verdadera, no obstante que entre el antecedente y el
consecuente no existe ninguna relación de atingencia, sería el siguiente:

d) Si Galileo descubrió que los cuerpos caen con aceleración constante, entonces la Óptica es la
parte de la Física que estudia la luz.

Fórmula de ‘c)’: p q

Aplicando la definición del operador condicional, en correspondencia con lo estipulado en el paso 6

obtenemos la matriz del condicional:

Nota: signo equivalente o igual al condicional “ Ↄ”

Del bicondicional

Una fórmula bicondicional ‘p ↔ q’ es verdadera si y sólo si las variables ‘p’ y ‘q’ tienen el mismo
valor. En los demás casos es falsa.

Ejemplo:

a) Enrique ingresará a la universidad.

b) Enrique aprueba el examen de admisión.

Enlazando ‘a)’ y ‘b)‘ mediante la conjunción bicondicional compuesta ‘si y sólo si’ obtenemos una
nueva:

c) Enrique ingresará a la universidad si y sólo si aprueba el examen de admisión.

Esta nueva proposición se llama proposición bicondicional. Y se llama así porque establece dos
condicionales, es decir, está constituida por dos proposiciones condicionales de sentido inverso:

d) ‘Si Enrique ingresó a la universidad, entonces aprobó el examen de admisión’ y ‘si Enrique
aprobó el examen de admisión, entonces ingresó a la universidad’.

La proposición bicondicional establece que si el antecedente es verdadero entonces el consecuente

tiene que ser verdadero. Igualmente, si el consecuente es verdadero, entonces el antecedente tiene

21
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
que ser verdadero. Lo que significa que la verdad o falsedad de una proposición exige
necesariamente la verdad o la falsedad de la otra:

Fórmula de ‘c)’: p ↔ q

Aplicando la definición del operador bicondicional, en armonía con lo establecido en el Paso 6

obtenemos la matriz del bicondicional:

Nota: signo que puede usarse para el bicondicional, “≡”

De la negación

Una fórmula negativa ‘~ p’ es verdadera si y sólo si la variable ‘p’ es falsa y ‘~ p‘ es falsa si y sólo si
‘p’ es verdadera. Justamente debido a que el operador negativo tiene como función transformar
el valor verdadero en falso y viceversa se llama operador inversor.

Ejemplo:

a) El ciclotrón sirve para acelerar electrones.

Introduciendo el adverbio negativo ‘no’ en ‘f1)’ obtenemos una nueva:

b) El ciclotrón no sirve para acelerar electrones.

Esta nueva proposición se llama proposición negativa.

Fórmula de ‘b)’: ~ p

Aplicando la definición del operador negativo, en correspondencia con lo prescrito en los pasos 4, 5
y 6, obtenemos la matriz de la negación:

22
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
De la negación conjunta

Una fórmula negativa conjunta ‘p q’ es verdadera si y sólo si ‘p’ es falsa y ‘q’ también es falsa. En
todos los demás casos es falsa.

Ejemplo:

a) Arequipa es un puerto
b) Puno es un desierto

Enlazando ‘a)’ y ‘b)’ mediante la partícula ‘ni... ni’ obtenemos una nueva:

c) Ni Arequipa es un puerto ni Puno es un desierto.

Esta nueva proposición se llama proposición negativa conjunta.

Y ‘c)’ es verdadera siempre que sus dos componentes sean falsas; y es falsa en los demás casos.

Fórmula de ‘c)’: p q

Aplicando la definición del operador de la negación conjunta y en consonancia con lo establecido

en el paso 6 obtenemos la matriz de la negación conjunta:

De la negación alterna

Una fórmula negativa alterna ‘p | q’ es falsa si y sólo si ‘p’ es verdadera y ‘q’ también es verdadera.
En todos los demás casos es verdadera.

Ejemplo:

a) Mario Vargas Llosa es argentino.

b) Gabriel García Márquez es peruano

Enlazando ‘a)’ y ‘b)’ mediante la expresión ‘no o no’ obtenemos una nueva:

c) Mario Vargas Llosa no es argentino o Gabriel García Márquez no es peruano.

Esta nueva proposición se llama proposición negativa alterna.

Y ‘c)’ es falsa siempre que sus dos componentes sean verdaderos; en los demás casos es verdadera.

Fórmula de ‘c)’: p | q

23
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Aplicando la definición del operador de la negación alterna y en consonancia con lo establecido en
el paso 6 obtenemos la matriz de la negación alterna:

Definición tabular de fórmulas moleculares complejas

Las fórmulas moleculares definidas anteriormente a través de la tabla de la verdad son elementales
en la medida en que contienen un solo operador y dos variables. En adelante trabajaremos con
fórmulas moleculares complejas, es decir, fórmulas que contienen dos o más operadores distintos o
dos o más veces el mismo operador.

Para definir tabularmente fórmulas moleculares complejas se deben observar los siguientes pasos:
Paso 1. Dada la fórmula molecular compleja se establece la jerarquía entre sus operadores a través
de los signos de agrupación:

~ [ ( p q ) ( ~ q ~ p ) ]

Paso 2. Se construye las matrices secundarias que corresponden a las de los operadores de menor
jerarquía aplicando sus respectivas definiciones:

Paso 3. Se construye, finalmente, la matriz principal que corresponde a la del operador de mayor
jerarquía aplicando la definición correspondiente a las matrices de los operadores que la siguen en
jerarquía:

24
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

La matriz principal, como podrá observarse, se ha obtenido aplicando la definición del operador
negativo a los valores de la matriz 2. La matriz 2 se obtuvo aplicando la definición del operador
conjuntivo a los valores de las matrices 3. La matriz 3 del lado izquierdo se ha obtenido aplicando la
definición del operador disyuntivo inclusivo a los valores de ‘p’ y ‘q’. La matriz 3 del lado derecho
se ha obtenido aplicando la definición del operador condicional a los valores de las matrices 4. La
matriz 4 del lado izquierdo se ha obtenido aplicando la definición del operador negativo a los
valores de ‘q’ y la matriz 4 del lado derecho, aplicando la definición del operador negativo a los
valores de ‘p’.

Otro ejemplo:

Definir tubularmente la fórmula: [(pq) (q r)] (p r)

Clasificación de las fórmulas moleculares por su matriz principal

Las tablas de verdad nos permiten clasificar a las fórmulas moleculares, atendiendo a su matriz
principal, en tautológicas, consistentes y contradictorias.

Las fórmulas moleculares tautológicas (FMT), llamadas también leyes lógicas, son aquellas en que
los valores de su matriz principal son todos verdaderos.

Ejemplo:

25
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

Fórmulas moleculares consistentes (FMC), son aquellas en que algunos de los valores de su matriz
principal son verdaderos y algunos son falsos.

Ejemplo:

Fórmulas moleculares contradictorias (FM, denominadas también fórmulas inconsistentes, son

aquellas en que los valores de su matriz principal son todos falsos.

Ejemplos:

26
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.
Implicación y equivalencia de fórmulas

Implicación de fórmulas

Una fórmula ‘A’ implica a ‘B’ si y sólo si unidas en forma condicional, ‘A’ como antecedente y ‘B’
como consecuente, su matriz resulta tautológica; si su matriz es consistente o contradictoria, se
dice que ‘A’ no implica a ‘B’.

Notación:

A B: se lee ‘A’ implica a ‘B’

A B: se lee ‘A’ no implica a ‘B’

Ejemplos:

Si las matrices de las siguientes fórmulas son:

A: VVFF
B. VVVF
C: FFVV
D: FFFV

Determine, mediante la tabla de verdad, si:

1) “La conjunción de las negaciones de A y C implica a la negación de la negación conjunta de

B y D”.

Procedimiento:

a) Se expresa simbólicamente el enunciado.

b) Se evalúa la fórmula mediante la tabla de verdad.
c) Si su matriz es tautológica se dice que ‘A’ implica a ‘B’; si es consistente o contradictoria, se dice
que ‘A’ no implica a ‘B’.

2) “El bicondicional de la negación de A y la disyunción débil de C y D implica a la negación

de la disyunción débil de B y la negación de A”

27
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

Equivalencia de fórmulas

Dos fórmulas ‘A’ y ‘B’ son equivalentes si y sólo si sus matrices son iguales; si sus matrices son
diferentes, se dice que ‘A’ y ‘B’ no son equivalentes.

Notación:

A ≡ B: se lee ‘A’ es equivalente a ‘B’

A B: se lee ‘A’ no es equivalente a ‘B’

Ejemplos:

a) “La negación de la negación alterna de las negaciones de A y D es equivalente al

condicional de B y la negación de C”

b) “La negación de la conjunción de las negaciones de C y D es equivalente a la negación

conjunta del condicional de A y B y la disyunción débil de C y B”

28
«Es un verdadero fugitivo el que huye de la razón». Marco Aurelio.

Actividad 3

Bibliografía

1. Introducción a la lógica. Oscar Augusto García

2. Introducción a la lógica. Karl J. Smith
3. Introducción a la lógica formal. Alfredo Deaño

29