TUP Plan 2024 - Matemática Lic.

Giudice Vilma

Unidad IV - Lógica

Módulo 4 – Lógica
Introducción
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que
estudia los principios de la demostración y la inferencia1 válida2, las falacias3, las paradojas4 y la noción
de verdad. La lógica se divide en varias categorías según su campo de estudio:

• La lógica filosófica estudia el concepto y la definición, la enunciación o proposición y la

argumentación utilizando los métodos y resultados de la lógica moderna para el estudio de problemas
filosóficos.
• La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional,
la lógica de primer orden y la lógica modal.
• La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias.
• La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación.

Las Proposiciones Lógicas

El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje
determinado (oral, escrito, etc.) por medio de frases u oraciones. Esas frases pueden ser interrogaciones,
órdenes, saludos o bien declaraciones que afirman o niegan algo. Asimismo, estas declaraciones que
pueden tener diferentes contenidos, pero siempre admiten ser verdaderas o falsas, son las que
denominaremos "proposiciones". Lo importante es el hecho de que, a partir de proposiciones simples o
"atómicas" es posible asociar un conjunto de éstas mediante ciertos "conectivos lógicos" y podemos
llegar a elaborar razonamientos que nos permitan obtener a una conclusión o inferencia, cuya validez o
invalidez es posible comprobar. Hoy en día, la lógica proposicional tiene una importancia singular dada
su aplicación en los llamados "circuitos lógicos" de uso en la electrónica y la informática.
Cada vez que se trata de resolver un problema se realizan acciones mentales llamadas razonamientos
lógicos, los cuales se expresan en enunciados declarativos que, como hemos dicho, se conocen como
proposiciones que pueden considerarse como verdaderas o falsas, esta característica de poder ser
clasificadas como proposiciones verdaderas o proposiciones falsas hace que se diferencien de las
preguntas, órdenes o exclamaciones. Resumiendo, una proposición es un conjunto de símbolos
expresados en un determinado lenguaje, es una afirmación que tiene la particularidad que puede ser
verdadera o falsa. La proposición es el significado de una idea, enunciado, conjunto de palabras o letras
a las que se les puede asignar uno y sólo uno de los valores de verdad.

Una proposición lógica es una oración que admite dos posibilidades: ser verdadera o ser falsa.

Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir,
p, q, r, s, t, ... etc. Así, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad:

p: 15 + 5 = 21 (F) q: Santa Fe es una provincia de Argentina (V)

r: 15 es divisible por 3 (V) s: El perro es un ave (F)

1
se denomina inferencia al proceso mediante el cual se obtienen conclusiones determinadas a partir de un conjunto específico
de premisas. Es decir, cuando una conclusión deriva lógicamente de lo planteado en sus premisas, se dice que ésta se infiere de
aquellas.
2
La validez de una inferencia no radica en la verdad o falsedad de sus premisas, sino en la validez del razonamiento que conecta
premisas y conclusiones. Así, es posible obtener conclusiones verdaderas o falsas a través de un procedimiento válido de
inferencia.
3
Una falacia (o error) es un argumento que parece válido, pero no lo es.
4
Una paradoja es una proposición en apariencia falsa, pero que no conlleva una contradicción lógica.
1
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Por ejemplo, la proposición p = "Llueve", puede ser falsa en este momento, pero hace unos días pudo
haber sido verdadera. Entonces esta proposición es variable, es decir, es una variable lógica. Los valores
que puede tomar una variable lógica son mutuamente excluyentes, no pueden ocurrir ambos
simultáneamente, y son complementarios, no existe otra posibilidad que la ocurrencia de alguno de
ellos.

Expresiones no Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los
exclamativos, interrogativos o imperativos. Así tenemos, por ejemplo:

¿Cómo te llamas? Prohibido Borra el pizarrón

Enunciados Abiertos
Si en la proposición: "cinco es mayor que tres" (en símbolos: 5 > 3) reemplazamos al número 5 por la letra
x, se obtiene la expresión "x es mayor que tres" (x > 3), y si convenimos que x no represente
necesariamente al número 5, sino a un número cualquiera, entonces al enunciado x > 3 se le denomina
enunciado abierto.

Clasificación de las Proposiciones

Aquellas proposiciones que constan o se les puede representar por una sola variable, se llaman
proposiciones simples o atómicas. Por ejemplo, sea la proposición p : 3 + 6 = 9 es una proposición simple
o atómica. Otro ejemplo de proposición atómica es q : “Los libros son divertidos”.

Cuando una proposición consta de dos o más enunciados simples, se la llama proposición compuesta o
molecular. Así, por ejemplo, s: “Pitágoras era griego y era geómetra”. En la proposición s vemos que se
encuentran dos proposiciones ligadas por un conector: p y q. Encontramos entonces dos enunciados, el
primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede
operar con proposiciones, y para ello se utilizan ciertos símbolos llamados conectivos o conectores
lógicos.

Símbolo Operación asociada Significado

~ Negación no p o no es cierto que p
 Conjunción o producto lógico pyq
 Disyunción o suma lógica p o q (en sentido incluyente)
 Condicional o Implicación p implica q, o si p entonces q
 Bicondicional o Doble implicación p si y sólo si q
 Diferencia simétrica p o q (en sentido excluyente)

En nuestro lenguaje los conectores pueden tener varios significados. Por ejemplo, la Conjunción puede
significar tanto “y”, como “pero”, o “aunque”, o “sin embargo”. La Disyunción normalmente es : “o”, u “o
bien”, o “a menos que”. La Negación significa “no”, pero puede ser “no es cierto que”, o “es falso que”, y
también podría ser “ni”. El condicional o la Implicación es “si…..entonces…..”, o “sólo si,…….”, o “implica”.
El Bicondicional es “… si y sólo si …”, o “…es condición necesaria y suficiente…”.

La Lógica y Las Ciencias

Para referirnos a la lógica como una ciencia, debemos tener presente dos puntos:
a) Que la ciencia descansa en un principio: la búsqueda de la verdad o dicho de una manera más precisa
la afirmación de la certeza de algo.

2
TUP Plan 2024 - Matemática Lic. Giudice Vilma

b) Que la lógica como ciencia se ocupa de la implicación entre proposiciones, es decir, analiza cuáles
son las condiciones en las cuales una proposición deriva necesariamente de otra u otras y, por lo
tanto, es deducible de ellas, sin tener en cuenta si éstas son, de hecho, verdaderas o no, lo que será
a su vez corroborado por la ciencia en particular de la que se trate.

Hay ciencias formales, como pueden ser las matemáticas y la Lógica Formal. Estas tratan sus
proposiciones y conocimientos a través de las deducciones y demostraciones. Mientras que las ciencias
fácticas, como ser las ciencias naturales y las ciencias sociales tratan sus proposiciones y conocimientos
a través de las observaciones y experiencias.

La Lógica es una ciencia formal que estudia las técnicas, procedimientos, reglas, métodos y los principios
o leyes usados para distinguir la inferencia correcta de la incorrecta y para discriminar la inferencia válida
de la no válida. Además, es la ciencia formal que atiende sólo al aspecto estructural de las inferencias
sin considerar el contenido significativo de sus proposiciones componentes.

No existe una sola lógica, una lógica que podamos decir que sea universal, existen diferentes sistemas
lógicos. Cada sistema lógico se encarga de analizar un tipo especial o particular de razonamientos, como
ser la lógica proposicional que se ocupa de la validez o invalidez de los razonamientos constituidos por
expresiones llamadas proposiciones.

¿Más Exitosos?
Los profesionales que aplican adecuadamente el razonamiento lógico tienen mayores posibilidades de
éxito, tanto en lo profesional como en lo personal, ya que analizar, saber buscar posibilidades, demostrar
o refutar afirmaciones diversas, le permite a quien tiene ese conocimiento y manejo ser mejor persona y
por consiguiente un profesional con mayores y mejores aptitudes y actitudes para vivir en una sociedad
como la actual, necesitada de ecuanimidad, raciocinio y capacidad de análisis para solucionar sus cada
vez más complejos problemas.

Tengamos en cuenta que para ser profesionales exitosos debemos aprender a analizar,
a buscar posibilidades, a demostrar y a refutar afirmaciones distintas, a lograr sacar
nuestras propias conclusiones de hipótesis y premisas. De esta forma, sobresaldremos
del resto de los profesionales.

Un Poco de Historia
En su inicio lo encontramos a Aristóteles (filósofo griego que vivió en el Siglo IV A.C.), a quien se le
reconoce el mérito de haber sido el sistematizador y estudioso de las reglas de la deducción desarrollado
en su obra, “Órganon”, un estudio sistemático y explícito de la lógica como asimismo el inicio del
procedimiento simbólico.
Para Aristóteles la lógica tenía un lugar de privilegio en el conocimiento tanto para la ciencia como para
la filosofía porque era la herramienta necesaria para acceder al estudio de estas, en tanto proveía de las
herramientas teóricas y metodológicas necesarias para el análisis. A punto tal, que los desarrollos
posteriores de la lógica siguen reconociéndole las marcas que supo dejarle el célebre filósofo griego.
Merece también destacarse que por más de dieciocho siglos la lógica ha mantenido la hegemonía
planteada por Aristóteles.
La lógica, ha sufrido innovaciones desde Aristóteles con muchos pensadores del Medioevo, pero recién
en la edad moderna, por las características de la época, se realizó la primera revisión de la obra
aristotélica y vino de la mano de Gottfried Leibniz, precursor de lo que hoy conocemos como lógica
simbólica o matemática.
3
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Leibniz introdujo en la lógica un punto de vista inédito, no sólo por la importancia en la lógica formal y
sistemática, sino que intentó dotar a la lógica de un nivel de abstracción y formalización similar al de la
matemática y así, poner cierto orden a las discusiones filosóficas y metafísicas del momento. Asimismo,
trató de minimizar el proceso inferencial a través del uso de signos matemáticos para operar formalmente
y le dio, por primera vez, el nombre de lógica matemática o logística. Debido a esto puede ser considerado
o presentado, como el fundador de la lógica matemática.
Descartes, contemporáneo de Leibniz pensaba que la lógica era un simple instrumento accesorio de
otras ciencias.
Recién en el siglo XIX George Boole (1815-1864) construyó el primer sistema algebraico simbólico
artificial, este hecho se debió a una serie de desarrollos de la investigación matemática, que influyeron
directamente sobre las estructuras de las teorías lógicas.
Los hechos históricos no son fortuitos, sino productos de cada época, de su cultura, etc. Así en el siglo
XX se desarrolla en la matemática el álgebra, considerada como una teoría de las ecuaciones y, asimismo,
se descubren las geometrías no euclidianas.
A mediados del Siglo XIX cuando el álgebra había avanzado, Willian Hamilton (1805- 1865) y Tomás De
Morgan (1866- 1945), tras examinar las formas usuales de los silogismos5 montaron sobre ellos cálculos
algebraicos mediante ecuaciones, en el cual además de la aplicación de un instrumento técnico de las
matemáticas se sustituyó la lógica de términos por la lógica de clases6.
Después de la obra de Boole, hubo un camino transitado por otros autores, entre los que se destaca el
lógico y semiólogo Charles Peirce (1839-1914), que puso en práctica la definición de suma de clases
propuesta por De Morgan. Además, introdujo en la lógica proposicional dos consideraciones
fundamentales:
1) la idea de la axiomatización a través de los diversos conectores entre proposiciones que no
son absolutamente independientes entre sí, sino que pueden definirse unos a partir de otros
2) el método de las matrices o tablas de verdad, es decir un procedimiento de carácter
puramente combinatorio y mecánico, mediante el cual se determina si ciertas conexiones
entre proposiciones son siempre verdaderas o no, independientemente de cada una de ellas.

Gottlob Frege (1848-1925), a quien muchos historiadores de la lógica le reconocen una talla similar a la
de Aristóteles, formuló las características distintivas de la lógica simbólica, por eso se le considera como
el refundador de la lógica matemática. Distingue de manera clara: variable y constante, como el concepto
de función lógica, de cuantificador, la diferencia entre ley y regla, y entre lenguaje y metalenguaje.

La obra de Frege, fue retomada por Giuseppe Peano (1858-1932) y Betrand Russell (1872-1970). Éste
último comenzó a esbozar la obra “Principia Mathemática” aparecida en 1903 y publicada en los años
1910 a 1913 junto a Alfred Whitehead (1861- 1947), es un tratado original, minucioso y exacto de la lógica
matemática, cuyo gran aporte fue el simbolismo usado por la mayoría de los lógicos contemporáneos.

Otro aporte importante que recibe la lógica es de Ludwig Wittgenstein (1889-1951) con su obra el
“Tractatus Logico- Fhilosophicus”, donde dará lugar a sistemas lógicos considerados por fuera de la
lógica clásica.

De este modo se desprende que, desde Aristóteles hasta mediados del Siglo XIX, la característica
fundamental de la lógica es la bivalencia: las proposiciones pueden ser verdaderas o falsas y no cabe una

5
Argumentos que consta de tres proposiciones, la última de las cuales se deduce necesariamente de las otras dos.
6
La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo
clasificado por poseer una determinada propiedad.1 Sobre esta lógica se formaliza como modelo científico la teoría matemática
de conjuntos.
4
TUP Plan 2024 - Matemática Lic. Giudice Vilma

tercera posibilidad. A partir de los cambios paradigmáticos que se dan en la ciencia durante los siguientes
períodos, se ve resentido el principio de contradicción, clave de la bivalencia y surgen nuevas propuestas
donde se incorpora el concepto de posibilidad. Así aparecen las lógicas no-clásicas, aquellas que buscan
incorporar en los razonamientos nociones como probabilidad, necesidad, posibilidad. El desarrollo
teórico es tan amplio que aparecen lógicas como la modal, difusa, intuicionista, sólo para nombrar
algunas de ellas.

Pero ¿qué es la lógica y para qué nos sirve?

Existe una clasificación muy difundida del quehacer científico en dos grandes troncos: las ciencias
formales y las ciencias empíricas. Entre las últimas se cuentan todas aquellas disciplinas cuyo criterio
de éxito lo constituye una suerte de acuerdos entre la teoría y la experiencia matizados por otros valores
epistémicos como la simplicidad.
El caso de las ciencias formales es distinto, pues la verdad o falsedad de sus afirmaciones se puede
conocer a priori aplicando exclusivamente la razón sin que ésta esté ayudada por la observación, y sus
conclusiones tienen carácter necesario: es imposible que sean falsas. En esta categoría entran, por
ejemplo, las matemáticas. Pero hay otra ciencia formal menos utilizada en general que es la Lógica.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica. Sin embargo, el ámbito
de la lógica (interpretada en sentido amplio) incluye:

• La clasificación de los argumentos.

• El análisis sistemático de las formas lógicas.
• El estudio sistemático de la validez de las inferencias deductivas.
• La fuerza de las inferencias inductivas.
• El estudio de los argumentos defectuosos, como las falacias.
• El estudio de las paradojas lógicas.
• El estudio de la sintaxis y la semántica de los lenguajes formales.
• El estudio de los conceptos de sentido, denotación y verdad.

Esta ciencia se puede entender como un sistema de proposiciones o conocimientos establecidos

metódicamente y a la vez comprobados, conectados por relaciones de fundamentación y referentes a un
dominio particular de objetos; la verdad de sus proposiciones se establece vía demostrativa o deductiva
o bien a través de la experiencia.

Ciencias Formales y Ciencias Fácticas

Aquellas ciencias que establecen la verdad de sus proposiciones mediante deducciones o
demostraciones se denominan formales, abstractas o estructurales. Son las que tratan de los objetos
abstractos, ideales o puramente intelectuales, tales como los números. La lógica formal y la matemática
pura son ejemplos de estas ciencias.

Aquellas otras que se establecen a través de la experiencia (observación, medición y experimentación)

se llaman ciencias fácticas, factuales, reales o empíricas. Estas últimas, de las que son ejemplo las
ciencias naturales y las ciencias sociales, tratan acerca de los objetos reales, es decir, de entidades que
se dan en la realidad espaciotemporal, entre las que se incluyen aquellos procesos, fenómenos o hechos
sociales que el hombre encuentra en su experiencia del mundo real (sea la dilatación de los cuerpos con
el calor en la física o, la variación de la moda en la sociología o, la devaluación monetaria en economía).

Las ciencias formales están constituidas por un conjunto de proposiciones denominadas analíticas: su
verdad o falsedad se establece lógicamente. Po ejemplo:

a) El triángulo tiene tres lados.

5
TUP Plan 2024 - Matemática Lic. Giudice Vilma

b) b) 2 + 3 = 5
c) La suma de los ángulos internos del triángulo es de 180º.

Las ciencias fácticas están constituidas por un conjunto de proposiciones que se llaman sintéticas: su
verdad o falsedad se establece empíricamente. Por ejemplo:

a) La clorofila es verde.
b) Los felinos son carnívoros.
c) El calor dilata los cuerpos.

La lógica es una ciencia formal que estudia las técnicas, procedimientos, reglas, métodos y los principios
o leyes usados para distinguir la inferencia correcta de la incorrecta; para discriminar la inferencia válida
de la no válida. Es ciencia formal porque ella atiende sólo al aspecto estructural de las inferencias sin
considerar el contenido significativo de sus proposiciones componentes.

Naturalmente, esta definición no pretende afirmar que sólo es posible razonar o inferir correctamente si
se ha estudiado lógica. Sostener esto sería tan erróneo como pretender que sólo es posible correr bien si
se ha estudiado la física y la fisiología necesarias para la descripción de esta actividad. Pero, el estudio
de la lógica desarrolla una agudeza intelectual dando mayor posibilidad de razonar o inferir
correctamente.

Ante todo, un estudio adecuado de la lógica la enfocará como un arte tanto como una ciencia, y aquí
como en todo, la práctica ayuda a perfeccionarse. En segundo lugar, una parte tradicional del estudio de
la lógica consiste en el examen y el análisis de las falacias o sofismas, es decir, de ciertos tipos de
razonamientos incorrectos que se cometen con la intención de engañar. El conocimiento de estas
trampas nos ayuda positivamente a evitarlas.

Finalmente, el estudio de la lógica suministra ciertas técnicas, reglas y métodos de fácil aplicación para
determinar la validez o invalidez de todas las inferencias, incluso las propias. El valor de este
conocimiento reside en que, cuando es posible localizar o identificar los errores, es menor la posibilidad
de que se cometan.

La Simbolización
Recordemos que las proposiciones lógicas son agrupación de términos de la que se puede afirmar si su
contenido es falso o verdadero. Pueden ser atómicas o moleculares. Las Proposición son atómica cuando
no puede descomponerse en partes que sean a su vez proposiciones. Las proposiciones atómicas se
simbolizan por letras minúsculas comenzando por la p, q, r, s, t, u, v, …. En cambio, las proposiciones son
moleculares o complejas cuando está formada por una o varias proposiciones atómicas enlazadas por
conectores proposicionales usados para modificar o enlazar proposiciones. Pudiéndose estas
proposiciones ser atómicas o moleculares.

A los conectores los podemos dividir en conectores monádicos y conectores diádicos. Los conectores
monádicos se aplican a una sola proposición, por ejemplo, la negación. Los conectores diádicos se
aplican a dos proposiciones como ser: conjunción, disyunción, disyunción exclusiva, condicional,
bicondicional. Veamos un ejemplo:

Si los pacientes del pabellón 4 son trasladados al pabellón 2, aumentará el riesgo de contagio
de gripe en esa sala y no se reducirá el uso de antihistamínicos.

p: Los pacientes del pabellón 4 son trasladados al pabellón 2.

q: En el pabellón 2 aumentará el riesgo de contagio.
r: Se reducirá el uso de antihistamínicos.

6
TUP Plan 2024 - Matemática Lic. Giudice Vilma

p(qr)

Como puede observarse en esta proposición compuesta aparecieron tres conectores: un conector
monádico el no y dos conectores diádicos el si-entonces y el y. Una variable proposicional es el símbolo
que sustituye a una proposición atómica.

A su vez en la simbolización de la proposición vemos que aparecen los paréntesis. Los paréntesis se los
pueden utilizar, como así también a los corchetes y a las llaves, para indicar: qué se está ligando con qué,
marcan cuáles son las proposiciones que se han conectado y de qué forman lo hacen. A su vez, si una
proposición está compuesta por varias proposiciones, muestra cómo está formada. Aun cuando los
conectores tienen jerarquías, como las operaciones matemáticas, muchas veces se usan para expresar
una diferente jerarquía de la natural, evitando ambigüedades de significado. Por ejemplo, las siguientes
proposiciones no significan lo mismo

p  p (p)  p (p  p)

Veamos cuáles son las jerarquías de los conectores u orden de jerarquía de acuerdo con su
consideración y resolución: 1° La negación, 2° La conjunción, 3° La disyunción, 4° La Implicación o
Condicional, 5° La equivalencia o Bicondicional
Operador Nivel
 1°
 2°
  3°
 4°
 5°

Tablas de Verdad
Las tablas de verdad son la representación de todas las combinaciones posibles de falsedad o veracidad
de una proposición atómica y/o molecular. Contiene 2n filas, siendo n la cantidad de variables de la
proposición molecular. Las tablas de verdad son una herramienta que nos ayuda a determinar cuáles son
las condiciones necesarias para que sea verdadero o válido un enunciado propuesto. Estas se usan como
respaldo para tomar decisiones a partir de un resultado dado.

Tabla de Verdad de Negación

Esta tabla es la más simple, porque es la tabla de un conector monádico y por lo tanto utiliza sólo una
proposición. La forma en la que esta funciona es devolviendo el valor opuesto de la proposición
considerada, es decir; si una afirmación es verdadera, la negación de ésta va a hacer falsa o viceversa: si
se tiene que la condición es falsa al negarse se va a tener un resultado verdadero. La forma en que se
niega una proposición p es anteponiéndole el símbolo p, o el símbolo p.

p p
V F

F V

Tabla de Verdad de Conjunción

La conjunción se puede ver como si dos valores tienen que darse juntos. Una conjunción de
proposiciones es verdadera cuando ambas partes involucradas son verdaderas y si las proposiciones son
diferentes el resultado es falso.

7
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la proposición p  q

(se lee "p y q"), cuya tabla de verdad es:

p q pq
V V V

V F F

F V F

F F F

La tabla que define esta operación establece que la conjunción es verdadera sólo si lo son las dos
proposiciones componentes, en todo otro caso es falsa. Por ejemplo:

p: 5 es un número impar
q: 6 es un número par

Por ser ambas verdaderas proposiciones, la conjunción de ellas (que no es sino una proposición
compuesta) es verdadera. Veamos otro ejemplo:

p: hoy es el día 3 de noviembre

q: mañana es el día de 5 de noviembre

Esta conjunción es falsa, ya que no pueden ser simultáneamente verdaderas ambas proposiciones.

Tabla de Verdad de Disyunción

En la disyunción, la proposición molecular será verdadera cuando por lo menos una de las proposiciones
que une sea verdadera, de lo contrario será falsa. Dadas dos proposiciones p y q, la disyunción de las
proposiciones “p o q” es la proposición p  q cuya tabla de valor de verdad es:

p q pq
V V V

V F V

F V V

F F F

8
TUP Plan 2024 - Matemática Lic. Giudice Vilma

La disyunción o comúnmente no es utilizada en sentido excluyente, ya que la verdad de la disyunción se

da en el caso de que al menos una de las proposiciones sea verdadera. En el lenguaje ordinario la palabra
o es utilizada en sentido incluyente o excluyente indistintamente. Para agotar toda posibilidad de
ambigüedades, en matemática se utiliza la disyunción definida por la tabla precedente, que nos muestra
que la disyunción sólo es falsa cuando ambas proposiciones son falsas. Por ejemplo:
p: tiro las cosas viejas
q: tiro las cosas que no me sirven

El sentido de la disyunción compuesta por p o q (p: tiro las cosas viejas, q: tiro las cosas que no me
sirven) es incluyente, ya que puede ser que tire algo viejo y que además no sirve.

Tabla de Verdad de Condicional

La Implicación o condicional de las proposiciones p y q es la proposición p  q (si p entonces q) cuya
tabla de valores de verdad es:

p q p q
V V V

V F F

F V V

F F V

La proposición p se llama antecedente, y la proposición q se llama consecuente de la implicación o

condicional. La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el
consecuente es falso. Por ejemplo, supongamos la siguiente implicación:

La implicación está compuesta de las proposiciones:

p: apruebo
q: te presto el libro
La verdad o falsedad de la implicación es una relación de la verdad o falsedad de las proposiciones
involucradas, p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y podemos
asociar su verdad al cumplimiento del compromiso. Es evidente que, si p es F, es decir si no apruebo el
examen, quedo liberado del compromiso y preste o no el apunte la implicación es verdadera.

Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple y la

proposición es falsa. Si p y q son verdaderas, entonces la proposición es verdadera pues el compromiso
se cumple.

9
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Tabla de Verdad de Bicondicional

Una Doble implicación o un bicondicional de las proposiciones p y q es la proposición p  q (se lee "p si
y sólo si q") cuya tabla de valores de verdad es

p q pq
V V V

V F F

F V F

F F V

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de
verdad. La doble implicación puede definirse como la conjunción de una implicación y su recíproca. O
sea, la tabla de valores de verdad de p  q puede obtenerse mediante la tabla de (p q)  (q  p), como
vemos:

p q p q qp (p q)  (q  p)
V V V V V

V F F V F

F V V F F

F F V V V

Tabla de Verdad de Disyunción Excluyente

La diferencia simétrica o disyunción excluyente de las proposiciones p y q es la proposición p  q (se lee
"p o q en sentido excluyente") cuya tabla de valores de verdad es:

p q pq
V V F

V F V

F V V

F F F

La verdad de p  q está caracterizada por la verdad de una y sólo una de las proposiciones componentes.
Por ejemplo, sea las siguientes proposiciones:
p: vamos a Córdoba
q: vamos a Mendoza

Queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno. Es decir que el enunciado es
verdadero sólo si vamos a una de las dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el
enunciado es Falso.

10
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Leyes de De Morgan
En lógica proposicional y en el álgebra de Boole, las leyes de De Morgan7 son un par de reglas de
transformación que son ambas reglas de inferencia válidas.

Estas normas permiten la expresión de las conjunciones y disyunciones puramente en términos de la

negación. La negación de la conjunción es la disyunción de las negaciones y la negación de la disyunción
es la conjunción de las negaciones. Informalmente podríamos decir que: "no (A y B)" es lo mismo que "(no
A) o (no B)" y también que "no (A o B)" es lo mismo que "(no A) y (no B)".

Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones p y q, de la siguiente forma:

p  q =  ( p  q)

p  q =  ( p  q)

Equivalencias – Proposiciones Equivalentes

Realmente podría haber muchos más conectores lógicos. La razón por la que suelen verse sólo estos seis
presentados es porque son más comprensibles. También podrían usarse menos conectores ya que está
la posibilidad de anidar unas expresiones dentro de otros y combinarlas para obtener proposiciones
equivalentes.

Otra forma de construir expresiones equivalentes es haciendo uso de las propiedades de ciertos
operadores. La disyunción y la conjunción respetan las propiedades: conmutativa, asociativa y
distributiva. Dos proposiciones son equivalentes si y sólo si sus tablas de verdad coinciden exactamente:

7
Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871)1 fue un matemático y lógico británico
nacido en la India. Profesor de matemáticas en el University College de Londres entre 1828 y 1866; y primer presidente de la
Sociedad Matemática de Londres. Conocido por formular las llamadas leyes de De Morgan, en su memoria, y establecer un
concepto riguroso del procedimiento, inducción matemática.
11
TUP Plan 2024 - Matemática Lic. Giudice Vilma

Ejercicios

1. Decida si cada una de las siguientes oraciones es o no una proposición lógica:

a) 5 + 7 = 12
b) Tenga un feliz día.
c) Santiago es la capital de Chile.
d) ¿Habla Usted inglés?
e) x es mayor que y.
f) 15 es un número primo.

2. Formular verbalmente las expresiones simbólicas siendo p: está lloviendo, q: el sol está brillando r:
hay nubes en el cielo
a) p  q  r
b) ~ p  (q  r )
c) ~( r  q)  p

3. Traducir en un lenguaje simbólico (proposiciones atómicas y conectivos) las siguientes afirmaciones:

a) Juan es estudiante y Pedro es futbolista.
b) Estudio o voy al cine.
c) Camino y no me canso.
d) Si camino, me canso.
e) Me voy a mi pieza, pero no hago la tarea.
f) Voy a navegar en Internet, si estoy desocupado.
g) Si Pérez recibió el telegrama, entonces o tomo el avión o prefirió ignorar nuestro pedido.
h) Si Pablo recibió el mensaje, entonces asistirá a la reunión y no presentará su renuncia.
i) Si se presentan los síntomas ordinarios de un resfrío y el paciente tiene alta temperatura,
entonces, si tiene pequeñas manchas en la piel, está con sarampión.

4. Dadas las proposiciones p: Juan es médico q: Juan es odontólogo, expresa en el lenguaje simbólico
las proposiciones que a continuación se presentan en el lenguaje coloquial:
a) Juan no es médico.
b) No es verdad que Juan no es odontólogo.
c) Juan no es médico, pero es odontólogo.
d) Si Juan no es odontólogo, entonces es médico.
e) No es verdad que Juan es odontólogo y médico
f) No es verdad que Juan es odontólogo, pero sí es médico

5. Confeccione la tabla de verdad de las siguientes proposiciones compuestas

a) ( p  q)  (q  − p) g) ( p  q)  (− p  −q)

b) ( p  −q)  (− p  q) h) ( p  q)  (−q  p)

c) ( p  q)  (− p  q) i) [ p  (q  − p)]  −q

d) (p  q )  (p  q ) j) − ( p  q)  ( p  −q)

12
TUP Plan 2024 - Matemática Lic. Giudice Vilma

6. Niegue y transforme usando leyes lógicas las siguientes proposiciones compuestas:

a) ( p  q)  −r b) ( p  q)  r

c) p  −(q  r ) d) − p  (q  r )

7. Siendo la proposición p = “ella tiene ojos azules” y q = “él tiene 45 años”. Traduzca cada proposición a
lenguaje coloquial usual.

a) ~ p b) ~ p  q c) ~ ( p ⇒ ~ q)
d) ~ q e) p  ~ q f) p ⇐ ~ q
g) p  q h) ~ p  q i) p ⇔ q
j) pq k) ~ p  q l) ~ ( ~ p ⇔ ~ q )

8. Sea p y q proposiciones, tales que 𝑝 ∧ 𝑞 es una proposición Verdadera. Determine el valor de verdad
de la proposición: (𝑝 ⇒ 𝑞) ⇔ (𝑝 ∨ 𝑞)

9. Utilizando definiciones y propiedades de lógica matemática, demuestre que las siguientes

proposiciones son equivalencias:

a) ( p  q ) ⇒r  p ⇒ ( q ⇒ r )
b)  ~ p ⇔ ~ q   p ⇔ q
c) ( p ⇒ r )  ( q ⇒r )   ( p  q ) ⇒ r
d)  q ⇒ ( r  p )   p ⇒ (~ r  q )    ~ p ⇔ (q ⇒ r)

10. Determinar el valor de verdad de las proposiciones solicitadas. En todos los casos justifique su
respuesta

a) Si 𝑝 ⇒ 𝑞 es verdadero ¿cuál es el valor de verdad de − p  ( p  q) ?

b) Si p q p es falso ¿cuál es el valor de verdad de q ?

c) Si p  −q es verdadero ¿cuál es el valor de verdad de ( p  q)  ( p  q) ?

d) Si − p  −q es verdadero ¿cuál es el valor de verdad de ( p  q)  ( p  q) ?

13