Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda.

Norjelis Gutiérrez
UNEFA 2020-2

LOGICA

La lógica es la ciencia que expone las leyes, modos y formas del conocimiento científico. Se
trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas
válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios utilizados
para distinguir el razonamiento correcto del incorrecto.
La etimología muestra que el concepto de lógica deriva del latín logĭca, que a su vez proviene del
término griego logikós (de logos, “razón” o “estudio”).
Aristóteles está considerado como el padre de la lógica formal. Por otro lado, la lógica
informal es el estudio metódico de los argumentos probables desde la retórica, la oratoria y la
filosofía, entre otras ciencias.
La lógica natural es la disposición natural para discurrir con acierto sin el auxilio de la ciencia.
La lógica borrosa o difusa, en cambio, es la que admite una cierta incertidumbre entre la verdad
o falsedad de sus proposiciones, a semejanza del raciocinio humano.
La lógica es un lenguaje artificial, pero formal, es decir le interesa la forma, no sólo los
contenidos. Es un lenguaje abstracto que quiere analizar los razonamientos. Ahora bien, si por
"lenguaje" se entiende un "sistema de signos", hay muchos tipos de lenguajes (no verbales, el
arte etc.).

LÓGICA MATEMÁTICA
La lógica matemática es aquella que opera utilizando un lenguaje simbólico artificial y realizando
una abstracción de los contenidos.
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio
matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La
lógica matemática tiene estrechas conexiones con la ciencia de la computación y la lógica
filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican
nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y
computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la
demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática
ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

En el algebra actual tiene importancia y muy especialmente en el cálculo que se efectúa con
procesadores electrónicos, el análisis del lenguaje desde un punto de vista lógico. Las
expresiones de este lenguaje pueden tomar formas complicadas, pero el análisis de sus partes
ofrece la alternativa de descubrir la esencia de la lógica de las formas expresivas más complejas.

Proposición
En filosofía y lógica, el término proposición se usa para referirse a:
- Las entidades portadoras de los valores de verdad.
- El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».

Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto

procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente
"verdadero" o "falso")

Tipos de proposiciones
De ahora en adelante las proposiciones lógicas, simplemente como PROPOSICIONES.

Las proposiciones se clasifican en dos tipos: Simples y Compuestas, dependiendo de cómo están
conformadas.

Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre
oraciones.

Proposiciones Compuestas
Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o
términos de enlace entre oraciones.

Definiciones en el cálculo lógico

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se hacen en función del fin que se pretenda al construir el sistema que haga posible
la formalización de argumentos:
 Como razonamientos deductivos lógico-lingüísticos.
 Como construcción de un sistema matemático puro.
 Como una aplicación lógica en un Circuito de conmutación.

Los operadores fundamentales se definen de la siguiente manera:

Negación: es un operador que opera sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

Conjunción: es un operador que opera sobre dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso.

Disyunción: La disyunción es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.

Implicación o Condicional: es un operador que opera sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo
cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro
caso.

Bicondicional o doble implicación: es un operador que funciona sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus
valores de verdad son diferentes.

Nota: Las tablas manifiestan los posibles valores de verdad de cualquier proposición
molecular, así como el análisis de la misma en función de las proposiciones que la integran,
encontrando con los siguientes casos:
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

Verdad Indeterminada o Contingencia: Se entiende por verdad contingente, o verdad de

hecho, aquella proposición que puede ser verdadera o falsa, según los valores de las
proposiciones que la integran.

Contradicción: Se entiende por proposición contradictoria, o contradicción, aquella

proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho
de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que están establecidas las relaciones de unas con otras.

Tautologías: Se entiende por proposición tautológica, o tautología, aquella proposición que

en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su
valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma
en que están establecidas las relaciones sintácticas de unas con otras.

REGLAS DE INFERENCIA

MODUS PONENDO PONENS (PP)

p→q “Si llueve, entonces las calles se mojan” (premisa)

p “Llueve” (premisa)
__________________________________________________

q “Luego, las calles se mojan” (conclusión)

El condicional o implicación es aquella operación que establece entre dos enunciados una
relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un
condicional establece, que si el antecedente (primer término, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo término, en este caso q).

MODUS TOLLENDO TOLLENS (TT)

‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los
condicionales, a los que nos referíamos en primer lugar.

p→q “Si llueve, entonces las calles se mojan”

¬q “Las calles no se mojan”
__________________________________________________
¬p “Luego, no llueve”

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

Esto permite formular una regla combinada de las ambas anteriores, consecuencia ambas de
una misma propiedad de la implicación; la regla ponendo ponens sólo nos permite afirmar si está
afirmado el antecedente (el primer término de la implicación), y la regla tollendo tollens sólo nos
permite negar a partir del consecuente (segundo término de la implicación); ambas
consecuencias se derivan de que la implicación es una flecha que apunta en un único sentido, lo
que hace que sólo se pueda afirmar a partir del antecedente y negar sólo a partir del
consecuente.

DOBLE NEGACIÓN (DN)

¬¬p ↔ p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una

inferencia por pasos, la representaríamos así:

¬¬p “No ocurre que Rodrigo no es un estudiante”

_____________________________________________________
p “Rodrigo es una estudiante”

La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente

negado, equivaldría al enunciado afirmado.

ADJUNCIÓN Y SIMPLIFICACIÓN

Adjunción (A): Si se disponen de dos enunciados afirmados como dos premisas separadas,
mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ
(conjunción).

p “Julio es Flaco”
q “Amaype es Alta”
___________________________________
p Λ q “Julio es Flaco y Amaype es Alta”

Simplificación (S): obviamente, es la operación inversa. Si se dispone de un enunciado formado

por dos miembros unidos por una conjunción, se puede hacer de los dos miembros dos
enunciados afirmados por separado.

pΛq “Daniel tiene una bicicleta y Luis tiene una moto”

____________________________________________
p “Daniel tiene una bicicleta”
q “Luis tiene una moto”
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

MODUS TOLLENDO PONENS (TP)

La disyunción, que se simboliza con el operador V, representa una elección entre dos
enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no
pueden ser falsos.

A partir de lo anterior, se deduce la siguiente regla, denominada Tollendo Ponens (negando

afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda
automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado.

pVq “Marianlys ha ido a la playa o Stephany va al río”

¬q “Stephany no va al río”
__________________________________________________________
p “Por tanto, Marianlys ha ido a la playa”

LEY DE LA ADICIÓN (LA)

Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción)

acompañado por cualquier otro enunciado.

a “La profesora dicta la asignatura Lógica Matemáticas”

______________________________________________________________
aVb “La profesora dicta la asignatura Lógica Matemáticas o va al cine”

SILOGISMO HIPOTÉTICO (SH)

Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la
otra (el mismo enunciado), podemos construir una nueva implicación cuyo antecedente sea el de
aquella implicación cuya consecuencia sea el antecedente de la otra implicación, y cuyo
consecuente sea el de ésta última, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y ésta consecuencia es a
su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de
esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola
blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola
negra. Expresado en forma de inferencia lógica:
p→q “Si la bola roja golpea a la bola blanca, la bola blanca se mueve”
q→r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”
______________________________________________________________________
p→r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”

SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos miembros
sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma
de disyunción, cuyos miembros serían los consecuentes de las dos implicaciones. Lógicamente,
Unidad 1. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA Prof. Lcda. Norjelis Gutiérrez
UNEFA 2020-2

si se plantea una elección entre dos causas, se puede plantear una elección igualmente entre sus
dos posibles efectos, que es el sentido de esta regla.

p→q “Si llueve, entonces las calles se mojan”

r→ s “Si la tierra tiembla, los edificios se caen”
pV r “Llueve o la tierra tiembla”
____________________________________________________
qV s “Las calles se mojan o los edificios se caen”

SIMPLIFICACIÓN DISYUNTIVA (SD)

Si se tienen de dos premisas que corresponden a dos implicaciones con el mismo
consecuente, y sus antecedentes se corresponden con los dos miembros de una disyunción,
podemos concluir con el consecuente de ambas implicaciones.

pVq “Clase de Lógica Matemáticas o Clase de Teoría de Grafos”

p→r “Si estás en la Clase de Lógica Matemáticas, entonces eres estudiante”
q→r “Si estás en la Clase de Teoría de Grafos, entonces eres estudiante”
___________________________________________________
r Luego, eres estudiante

LEY CONMUTATIVA

Esta ley, no es válida para la implicación, pero sí para conjunción y para la disyunción. Una
conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no
cambia este hecho. Igualmente, una disyunción es presentar una elección entre dos cosas, sin
importar en qué orden se presente esta elección. Así pues,

pΛq↔qΛp “«p y q» equivale a «q y p»”

pVq↔qVp “«p ó q» equivale a «q ó p»

LEYES DE MORGAN (DM)

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una
conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de
afirmación y negación de los términos de la disyunción/conjunción así como de la propia
operación en conjunto, como podemos observar aquí:

pΛq pVq
___________ ____________
¬(¬p V ¬q) ¬(¬p Λ ¬q)