¿Qué es la Lógica?

La lógica es una disciplina filosófica y matemática que se ocupa del estudio de los principios
del razonamiento válido, la inferencia y la argumentación. En términos generales, la lógica
se centra en identificar y analizar la estructura del razonamiento para determinar su validez
y coherencia.

La lógica se utiliza para estudiar y comprender cómo las personas razonan, cómo se
derivan conclusiones a partir de premisas, y cómo se pueden evaluar los argumentos para
determinar si son válidos o no. Se basa en reglas y principios formales que permiten la
representación y manipulación de proposiciones y argumentos de manera sistemática y
precisa.

La lógica se divide en varias ramas, incluyendo la lógica proposicional, la lógica de

predicados, entre otras. Cada una de estas ramas aborda diferentes aspectos del
razonamiento y tiene sus propias técnicas y herramientas de análisis.

Importancia de la Lógica en ciencias de la computación

El estudio de la lógica es fundamental para las ciencias de la computación por varias

razones:

Fundamentos de Programación:

● La lógica proporciona las bases para el diseño y la implementación de algoritmos y

programas informáticos.
● Permite a los programadores comprender y crear estructuras lógicas dentro del
código.

Razonamiento Formal:

● La lógica estudia el razonamiento, lo que es crucial para la resolución de problemas

en computación.
● Ayuda a los desarrolladores a construir sistemas de software que sean correctos y
fiables mediante la aplicación de principios lógicos.

Optimización de Algoritmos:

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 2
 ● El análisis lógico es crucial para optimizar algoritmos y mejorar su eficiencia y
rendimiento.
● Permite a los informáticos evaluar la complejidad de los algoritmos y tomar
decisiones en base a ese análisis.

Verificación y Validación de Software:

● La lógica se utiliza en técnicas de verificación y validación de software para

garantizar que los sistemas informáticos cumplan con ciertos requisitos y
especificaciones.
● Ayuda a detectar errores y garantizar la corrección y fiabilidad del software.

El estudio de la lógica es esencial para las ciencias de la computación porque proporciona

los fundamentos teóricos y las herramientas prácticas necesarias para el diseño, desarrollo
y análisis de sistemas informáticos eficientes, seguros y confiables.

Lógica proposicional

La lógica proposicional, es una rama de la lógica que se ocupa del estudio y análisis de las
proposiciones y las formas de razonamiento basadas en ellas. En la lógica proposicional,
las proposiciones se consideran como unidades atómicas de significado, es decir,
afirmaciones que pueden ser verdaderas o falsas.

En la lógica proposicional, se utilizan conectivos lógicos para combinar proposiciones

simples y formar proposiciones compuestas más complejas. Algunos de los conectivos
lógicos más comunes son la negación (¬), la conjunción (∧), la disyunción (∨), la
implicación (→) y la bicondicional (↔).

Esta lógica no interviene en el significado ordinario de esa expresión del lenguaje. Mejor
dicho, reduce esa expresión a un significado bivalente: verdadero o falso.

Por ejemplo:

● El rover Perseverance de la NASA aterrizó con éxito en Marte el 18 de febrero de

2021.

● La Organización Mundial de la Salud (OMS) declaró oficialmente la erradicación del

virus de la polio en África el 25 de agosto de 2020.

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 3
Ambas expresiones, son noticias mundiales difundidas por los respectivos organismos.
Desde el lenguaje ordinario, la diferencia semántica entre ambas proposiciones es obvia, y
ésta diferencia nos permite identificarlas como dos sentencias diferentes. En el caso de la
lógica proposicional, ambas proposiciones no tienen diferencia semántica, ya que ambas
son verdaderas. Para identificarlas como proposiciones diferentes usaremos letras p y q
respectivamente. De esta manera las identificamos como proposiciones diferentes que
tienen el mismo valor de verdad. Por lo tanto, la reducción semántica en la lógica
proposicional es evidente

La lógica proposicional es fundamental en diversos campos, como la informática, las

matemáticas, la filosofía, la lingüística y la inteligencia artificial. En informática, por ejemplo,
se utiliza para el diseño y la verificación de circuitos lógicos, la programación de
computadoras y la formalización de algoritmos.

El estudio de la lógica proposicional incluye temas como la construcción y evaluación de

tablas de verdad, la demostración de teoremas utilizando reglas de inferencia, la
simplificación de expresiones lógicas y la aplicación de leyes lógicas para el razonamiento
válido.

Principio de bivalencia

En la lógica clásica, tanto de enunciados como de predicados, se asume que cada

expresión lógica es verdadera o falsa. No hay lugar para ninguna vaguedad o imprecisión,
lo cual no se condice con la realidad en que vivimos; por consiguiente, esta lógica es
reduccionista.

Concepto de Proposición

Una proposición tiene un aspecto denotativo de la realidad del que podemos afirmar o
negar, estar de acuerdo o en desacuerdo, creer o no creer, dar una razón a favor o en
contra.Las proposiciones pueden ser simples o compuestas.

Proposiciones atómicas

Una proposición atómica, también conocida como proposición simple, es una afirmación o
enunciado que no puede dividirse en partes más pequeñas que tengan un valor de verdad
independiente. Es una proposición que no contiene ninguna otra proposición como parte de
ella y, por lo tanto, se considera una unidad básica de significado en la lógica.

Las proposiciones atómicas son las unidades fundamentales sobre las cuales se construyen
proposiciones más complejas mediante la combinación de conectivos lógicos. Estas pueden

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 4
ser expresiones que describen hechos simples, estados de cosas o relaciones directas
entre objetos o conceptos.

Conectivos

Usamos conectivos para combinar o unir diferentes proposiciones indivisibles o atómicas,

para así formar nuevas proposiciones más complejas.
Ejemplos:
- No es el caso que haga frió en Tucumán.
- Los peces no vuelan, pero nadan.
- Tendré frío o hambre, a menos que coma bien y me abrigue.

Conjunción

Usamos la conjunción en el lenguaje ordinario cuando queremos expresar que dos hechos
son verdaderos al mismo tiempo. En el lenguaje ordinario español usualmente empleamos
la palabra ‘y’ para esto.
Por ejemplo:

1- Pedro y Pablo son altos.

2- Está lloviendo y tengo paraguas.
3- Las bananas y las paltas son nutritivas.

La proposición 1 no es tan directa en el sentido que la propiedad de ser alto está compartida
por Pedro y Pablo, entonces las proposiciones atómicas que intervienen son “Pedro es alto”
y “Pablo es alto”. Vemos el mismo caso en 3. La proposición 2 es más directa.
En el lenguaje formal lógico-proposicional, usaremos el símbolo ∧ para expresar la
conjunción. Para las proposiciones p y q, la conjunción lógica de ambas es la proposición
compuesta “p ∧ q”.

La palabra ‘y’ también tiene otros significados en el lenguaje ordinario.

Por ejemplo:
4- Pedro y Pablo son primos.
5- Un paso en falso y disparo.

Aunque la proposición 4 sea parecida a la proposición 1, son casos totalmente distintos. Ser
primo denota una relación, por lo tanto la proposición 4 no es una conjunción. En la
proposición 5, podemos ver que el significado es claramente una condición más que una
conjunción, ya que la acción de disparar está condicionada por la acción de dar un paso en
falso. Por lo tanto, si se da un paso en falso, entonces se dispara. Desde esta perspectiva,

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 5
la frase tiene más el significado de una condición causal que de una simple conjunción de
dos eventos independientes.

En cuanto a las palabras claves, es importante destacar que las conjunciones en nuestro
lenguaje no siempre se expresan explícitamente con la letra "y". A menudo, encontraremos
diversas palabras que, en el contexto del lenguaje lógico, cumplen la función de conjunción.

Palabras claves: … y , además de, también, así como, a la vez, pero, sin embargo, a
pesar de, tanto …. como, aunque.

Disyunción

En el lenguaje ordinario, cuando queremos expresar opciones o alternativas, usamos la

palabra ‘o’.

Por ejemplo:
1- El bono extra es para desempleados o enfermos.
2- Me mojaré o tendré suerte.
3- Este curso es de primer o segundo año.

Una disyunción inclusiva es verdadera cuando uno o ambos casos son verdaderos.
Usaremos ∨ para la disyunción inclusiva. Para las proposiciones p y q, la disyunción
inclusiva de ambas es la proposición compuesta “p v q”.

Por otro lado, existe la disyunción exclusiva cuando ambos casos no pueden ser
verdaderos al mismo tiempo. En español usamos la misma ‘o’ para los dos tipos de
disyunciones, lo cual muchas veces deviene en una ambigüedad. Nuestro sistema lógico
proposicional debe diferenciar ambos casos. Usaremos ⊻ para la disyunción exclusiva.
Para las proposiciones p y q, la disyunción exclusiva es: p ⊻ q.

Por ejemplo
● Los alumnos no irán a clases, a menos que el paro de colectivos se levante.

Este ejemplo plantea dos alternativas con el conectivo a menos que: “Los alumnos van a
clase, o el paro de colectivo se levanta”. En todos los casos, vamos a optar por la
disyunción inclusiva, a menos que se remarque lo contrario.

Palabras claves: O, O bien, o…… o ambas, Al menos, Como mínimo.

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 6
Negación

Para formar una proposición contradictoria a otra ya existente, en español comúnmente

agregamos la palabra ‘no’ en la sentencia. Por ejemplo:

● No es bueno dormir en clases.

Para la proposición p, la negación lógica de ésta es la proposición ¬p.

Palabras claves:No, Nunca, Jamás, Ni, Es falso, No es cierto

Condicional

En nuestro lenguaje ordinario, muchas veces nos referimos a hechos como ciertos de
manera hipotética, o sea, bajo alguna condición. Por ejemplo:

● Si el departamento de matemáticas obtiene $40,000 adicionales, entonces

contratará un nuevo académico.

Esta es una proposición compuesta por las proposiciones atómicas “el departamento de
matemáticas obtiene $40,000 adicionales” y “contratará un nuevo académico”. Llamamos
antecedente a la primera y consecuente a la segunda proposición. Esta proposición no
afirma que “el departamento de matemáticas obtiene $40,000 adicionales”, ni que “se
contratará un nuevo académico”, si fuese así, estaríamos ante una conjunción. Esta
proposición simplemente afirma que "Si el departamento de matemáticas obtiene $40,000
adicionales, entonces contratará un nuevo académico.". El antecedente y consecuente
determinan una relación de implicancia.

En el lenguaje formal lógico-proposicional, usaremos el símbolo → para expresar el

condicional. Para las proposiciones p y q, la condición material de la proposición
compuesta es p → q

Palabras claves: Si…entonces, Se sigue, Por tanto, Implica, …..solo si…., …luego…,
...necesario para…, …suficiente para…

Bicondicional

Cuando usamos el lenguaje ordinario, a veces expresamos equivalencias en forma de doble

condicional:

● Puedo ir al parque si y sólo si hace buen tiempo.

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 7
Esta expresión establece una relación de equivalencia entre dos proposiciones: "Puedo ir al
parque" y "Hace buen tiempo". Indica que la posibilidad de ir al parque está condicionada a
la condición de que haga buen tiempo, y viceversa

En el lenguaje formal lógico-proposicional, usaremos el símbolo ↔ para expresar el

bicondicional. Para las proposiciones p y q, la equivalencia material de la proposición
compuesta es p ↔ q
Palabras claves: …si y sólo si…, Entonces y sólo entonces, Es equivalente a…

Tablas de verdad

Las tablas de verdad son útiles para examinar el significado de las fórmulas de la lógica.
Todos los conectivos vistos determinan una función de verdad que aceptan valores de
verdad como entrada por medio de los operandos, y producen otros valores de verdad
como resultado.

La tabla de verdad de una proposición compuesta muestra todas las combinaciones

posibles de valores de verdad de las proposiciones atómicas. Para cada combinación se
muestra un resultado.

El tamaño de una tabla de verdad de una proposición compuesta crecerá exponencialmente

según la cantidad de proposiciones atómicas que intervienen en la misma.

● Existen 2n combinaciones posibles, donde n indica el número de variables

proposicionales que aparecen en una expresión

Conjunción: La proposición compuesta “A y B” es verdadera, Si ambas son verdaderas

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 8
Disyunción inclusiva: La proposición compuesta “A o B” es verdadera, si por lo menos una
de ellas es verdadera

Disyunción exclusiva: La proposición compuesta “A o B” es verdadera, si una y sólo una de

ellas es verdadera

Negación: La proposición compuesta “no A” es verdadera, si A es falsa

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 9
Condicional: La proposición compuesta “si A, entonces B” es falsa, si A es verdadera y B es
falsa.

Bicondicional: La proposición compuesta “A si y sólo si B” es verdadera, si A y B tienen el

mismo valor de verdad.

Jerarquía de conectivos

La jerarquía de conectivos es un concepto fundamental en lógica proposicional que

establece el orden en el que se evalúan las operaciones lógicas dentro de una expresión
compuesta. Esto incluye el alcance de los conectivos, la precedencia entre ellos y la
identificación del conectivo principal.

➢ Alcance de los conectivos

En cuanto al alcance o ambiente de los conectivos, tenemos dos tipos: conectivos

binarios (∧, ∨) y unarios (¬). Los conectivos binarios se hallan en el medio de dos
proposiciones (P, Q, …) que afectan. En el caso de la negación, este operador se
encuentra inmediatamente a la izquierda de la proposición que afecta.

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 10
➢ Precedencia de los conectivos

La precedencia de los conectivos determina el orden en el que se evalúan las

operaciones lógicas dentro de una expresión compuesta. Por ejemplo, en la mayoría de
las convenciones lógicas, la negación tiene la mayor precedencia, seguida de la
conjunción, la disyunción, el condicional y, finalmente, el bicondicional. Esto significa
que las operaciones con mayor precedencia se evalúan antes que las de menor
precedencia, a menos que se utilicen paréntesis para alterar el orden de evaluación.

➢ Conectivo principal

El conectivo principal de una expresión lógica compuesta es el conectivo que tiene el

mayor alcance y determina la estructura básica de la expresión. Por ejemplo, en la
expresión "p ∧ (q → r)", el conectivo principal es la conjunción (∧), ya que es el
conectivo que enmarca las dos proposiciones "p" y "(q → r)".

Clasificación de fórmulas

La clasificación de fórmulas lógicas se refiere a la categorización de las expresiones en

lógica proposicional según su significado y características estructurales. Estas
clasificaciones son útiles para comprender y analizar las propiedades de las expresiones
lógicas.

1. Contingencia: Por lo general, los hechos de nuestra realidad representados como

sentencias proposicionales encajan en formas proposicionales que determinan
contingencias. Es decir, tienen estructuras lógicas que cuando son sustituidas por
proposiciones específicas, el valor de verdad va a depender de cada sentencia o
proposición que usemos. Por ejemplo:

“Si la economía del país no es

buena, entonces los precios aumentan y los
salarios disminuyen”

Puede ser formalizada como: ¬p → (q ∧ r)

cuya forma proposicional puede ser
estudiada en la siguiente tabla

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 11
 2. Tautologías: Una tautología es una fórmula lógica que es verdadera en todas las
interpretaciones posibles. En otras palabras, es una afirmación que siempre es
verdadera, independientemente de los valores de verdad asignados a las variables
proposicionales que contiene. Por ejemplo:

“Cuando aumentan los precios o disminuyen los salarios, pero no disminuyen los
salarios, entonces aumentan los precios.”

Puede ser formalizada como:

[(q v r) ∧ ¬r] → q cuya forma
proposicional puede ser estudiada en la
siguiente tabla

3. Contradicción: Una contradicción es una proposición que depende sólo por su

forma proposicional y no por su contenido. Este tipo de enunciados proposicionales
no hace ninguna declaración acerca del mundo, no proveen información acerca del
mundo, o sea, como se dijo, no necesitamos una prueba empírica para determinar
su valor de verdad, es una verdad puramente analítica. Por ejemplo:

“Los precios aumentan o disminuyen los salarios, sin embargo no disminuyen los
salarios ni aumentan los precios.”

Puede ser formalizada como:

[(q v r) ∧ (¬r ∧ ¬q)] cuya forma
proposicional puede ser estudiada en
la siguiente tabla

Tanto la tautología como la contradicción, son expresiones proposicionales que sin bien no
describen la realidad como las contingencias, son extremadamente útiles para la
consistencia, consecuencia y equivalencia de enunciados y razonamientos.

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 12
Relación entre proposiciones

Las relaciones entre formas proposicionales son necesarias tanto para el reemplazo de una
fórmula por otra como para determinar la validez de un razonamiento.

Equivalencia lógica

Dados P y Q proposiciones compuestas se dice que son lógicamente equivalentes (P ≡ Q)

siempre que para todos los valores de verdad de P, Q son ambas verdaderas o ambas
falsas. A fines prácticos decimos que P es lógicamente equivalente a Q si P ⇔ Q es una
tautología.

Usamos el símbolo ↔ para la equivalencia material (bicondicional) y usamos ⇔ para la

Equivalencia lógica.

Cuando el bicondicional (o equivalencia material) entre dos proposiciones es una tautología,

puedo expresar esto diciendo que hay una equivalencia lógica entre ambas proposiciones
de la siguiente manera: P ⇔ Q o P ≡ Q

Cuando queremos expresar que no hay una equivalencia lógica entre dos proposiciones, lo
hacemos tachando el símbolo de equivalencia lógica. Por ejemplo: P ⇔ Q o P ≡ Q

Implicancia lógica

Una forma proposicional A implica lógicamente otra forma proposicional B (A ⇒ B), si y sólo
si la proposición compuesta (A → B) es una tautología.

Usamos el símbolo → para la condición material y usamos ⇒ para la Implicancia lógica.

Cuando el condicional (o implicancia material) entre dos proposiciones es una tautología,

puedo expresar esto diciendo que la primera proposición implica lógicamente la segunda
proposición. En este caso, de la siguiente manera: A ⇒ B.

Cuando queremos expresar que no hay una implicancia lógica entre dos proposiciones, lo
hacemos tachando el símbolo de implicancia lógica. Por ejemplo: A ⇒ B

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 13
Condicional, recíproca y contrarrecíproca

➢ Condicional: son proposiciones de la forma Si p entonces q , que denotamos: p→q

➢ Recíproca: La recíproca de una implicación es una nueva implicación que se obtiene

intercambiando las posiciones de la proposición antecedente y la proposición
consecuente de la implicación original. En otras palabras, si tenemos una
implicación p→q, entonces la recíproca sería q→p. Por ejemplo, si la afirmación
original es:
"Si llueve, entonces el suelo se moja", la recíproca sería "Si el suelo se moja,
entonces llueve".

➢ Contrarrecíproca: La contrarrecíproca de una implicación es una nueva implicación

que se obtiene intercambiando las posiciones de las proposiciones originales y
negando ambas proposiciones. Es decir, si tenemos una implicación p→q, entonces
la contrarrecíproca sería ¬q→¬p. Por ejemplo, si la afirmación original es:

"Si llueve, entonces el suelo se moja", la contrarrecíproca sería "Si el suelo no se

moja, entonces no llueve".

Es importante destacar que las expresiones p→q (condicional) y ¬q→¬p

(contrarrecíproca) son equivalentes, por lo tanto se comprueba que:
(p→q) ↔ (¬q→¬p ) es una tautología.

Equivalencias de condicionales y bicondicionales

El tratamiento simbólico de condicionales y bicondicionales suele ser complicado de

manejar, es por esto que se busca eliminar estos conectivos de la expresión.

Para eliminar el condición material de una proposición compuesta, se utiliza la siguiente

equivalencia lógica: P → Q ≡ ¬P v Q

Por otro lado, existen dos modos de expresar la bicondicional:

P↔Q ≡ (P Q)∧(Q P)
P ↔ Q ≡ ( P ∧ Q ) v (¬P ∧ ¬Q )

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 14
Leyes lógicas

Las leyes son equivalencias importantes que nos permiten simplificar una expresión o
manipular expresiones lógicas. Todas ellas pueden ser demostradas mediante el método
de la tabla de verdad.

Bibliografía:

● Elementos de Computación y Lógica - Notas de clases - Mag. Héctor A. Valdecantos

● Matemáticas discretas - Richard Johnsonbaugh - Editorial Iberoamérica- (1988)

_________________________________________________________________________
Apunte de Elementos de Computación y Lógica 15