1

- Lógica Matemática:
www.fca.unam.mx/docs/...matematicas/36.%20Logica%20Matematica.pptx

 LOGICA MATEMATICA

En las matemáticas para demostrar teoremas e inferir resultados matemáticos

que puedan ser aplicados en investigaciones. En la computación para revisar
programas. En general la lógica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de
compras al supermercado un ama de casa tiene que realizar cierto procedimiento
lógico que permita realizar dicha tarea. Si una persona desea pintar una pared,
este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó
la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo
si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a
izquierda según el caso, todo esto es la aplicación de la lógica.

 LÓGICA PROPOSICIONAL

Clases de proposiciones: Hay dos clases de proposiciones: Dadas dos proposiciones

𝒑 𝒚 𝒒:

PROPOSICIÓN CARACTERÍSTICA EJEMPLO

También denominadas atómicas.

Proposiciones
Son aquellas proposiciones que El cielo es azul. (Verdadero)
Simples
no se pueden dividir.

- Fui al banco, pero el banco

También denominadas
moleculares. Son aquellas que
Proposiciones
están formadas por dos o más
Compuestas
proposiciones simples unidas por
los operadores lógicos.
estaba cerrado.
- Los lectores de este libro
son jóvenes o universitarios.
- Si el miércoles próximo me
saco la lotería entonces te
regalaré un auto.

 CONECTIVOS LÓGICOS

Definición: Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposición molecular.
 2

Conectivos lógicos más empleados son:

CONECTIVO Y REGLA CARACTERÍSTICA EJEMPLO

a. NEGACIÓN Es un elemento lógico que 𝑆𝑒𝑎 𝒑: 𝑳𝒊𝒏𝒂 𝒗𝒆 𝒕𝒆𝒍𝒆𝒗𝒊𝒔𝒊ó𝒏

actúa independientemente
Regla: La negación de de la proposición. Se Su negación sería:
una proposición denota:
verdadera es falsa. La ~𝒑: 𝑳𝒊𝒏𝒂 𝒏𝒐 𝒗𝒆 𝒕𝒆𝒍𝒆𝒗𝒊𝒔𝒊ó𝒏
negación de una
proposición falsa es
~𝒑 𝒔𝒆 𝒍𝒆𝒆 𝒏𝒐 𝒑
verdadera.
Es un elemento lógico que
actúa independientemente
de la proposición.

b. CONJUNCIÓN Es la unión de dos o más Ejemplo:

proposiciones mediante
REGLA.- Es verdadera la
proposición conjuntiva
el conectivo lógico: ∧ 𝒑: La casa está sucia.
únicamente cuando las
dos proposiciones son se lee: “ y”, 𝒒: La empleada la limpia
verdaderas (p y q), en mañana
cualquier otro caso es “pero”,
falsa.
“también”,
𝒑 ∧ 𝒒: La casa esta sucia y
la empleada la limpia mañana
“sin embargo”,
“además”,

𝒑𝒚𝒒
Entre otros.

c. DISYUNCIÓN Une proposiciones mediante

REGLA.- Una proposición

el conectivo lógico ⋁ :𝑶 𝒑: 𝑵𝒆𝒍𝒔𝒐𝒏 𝒆𝒔𝒕á 𝒄𝒂𝒎𝒊𝒏𝒂𝒏𝒅𝒐
disyuntiva es verdadera
cuando por lo menos se lee: 𝒑𝑶𝒒 𝒒: 𝑳𝒊𝒏𝒂 𝒋𝒖𝒆𝒈𝒂 𝒂𝒋𝒆𝒅𝒓𝒆𝒛
uno de sus
componentes es
verdadero. Es falsa sólo
cuando todos sus
 3

componentes son falsos 𝒑 ⋁ 𝒒: 𝑵𝑒𝑙𝑠𝑜𝑛 𝑒𝑠𝑡á

𝒑𝑶𝒒 𝑐𝑎𝑚𝑖𝑛𝑎𝑛𝑑𝑜 𝒐
𝐿𝑖𝑛𝑎 𝑗𝑢𝑒𝑔𝑎 𝑎𝑗𝑒𝑑𝑟𝑒𝑧

Disyunción Exclusiva Es la unión de dos o más Escribe dos ejemplos que ilustren
proposiciones mediante el este conectivo.
REGLA.- Es verdadera la
proposición cuando la
conectivo lógico ⋁ :𝑶
primera proposición es
verdadera y la segunda es Se lee 𝑶 𝒑 𝑶 𝒒, pero
falsa o cuando la primera no ambos.
proposición es falsa y la
segunda verdadera.

CONDICIONAL Viene a ser la

combinación de dos
𝒑: Si me gano la lotería
REGLA. Una proposición proposiciones mediante
condicional es falsa el conectivo: 𝒒: Compro un carro
cuando la primera
proposición es “si… entonces”,
verdadera y la segunda representado por:
es falsa. 𝒑 → 𝒒: Si me gano la

Es verdadera en → lotería entonces Compro un

carro.
cualquiera de las otras
formas. Se lee:

𝒑 →𝒒
𝑠𝑖 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒

BICONDICIONAL Es la unión de dos

proposiciones mediante
𝒑: Simón Bolívar vive.
REGLA. Una proposición el conectivo:
bicondicional es 𝒒: Montalvo está muerto.
verdadera cuando, o sus “sí y sólo si”,
dos componentes son
verdaderos o sus dos Representado por:
𝒑 ↔ 𝒒: Simón Bolívar vive
componentes son falsos. 𝑠í 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 Montalvo está
↔ muerto.
 4

Esto es, es verdadera Se lee:

cuando las proposiciones
tienen el mismo valor de
verdad (o son
𝒑 ↔𝒒
verdaderos o son falsos)
𝒑 𝑠í 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝒒

En Resumen, los conectivos lógicos se pueden determinar de la siguiente forma:

OPERACIÓN SÍMBOLO DEL REPRESENTACIÓN LECTURA

LÓGICA CONECTOR
LÓGICO

Negación ~ ~𝒑 𝒏𝒐 𝒑

Conjunción ∧ 𝒑∧𝒒 𝒑𝒚𝒒

Disyunción ⋁ 𝒑⋁𝒒 𝒑𝒐𝒒

Disyunción ⋁ ⋁𝒑⋁𝒒 𝒐𝒑𝒐𝒒

Exclusiva

Condicional → 𝒑→𝒒 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒

(Implicación)

Bicondicional ↔ 𝒑↔𝒒 𝒑 𝒔í 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊 𝒒

Valores de verdad para cada uno de los Operadores Lógicos:

NEGACIÓN

𝒑 ~𝒑

𝑽 𝑭

𝑭 𝑽
 5

Las proposiciones tienen valores contrarios.

________________________________________________________________________

CONJUNCIÓN

𝒑 𝒒 𝒑∧𝒒

*𝑽 𝑽 𝑽

𝑽 𝑭 𝑭

𝑭 𝑽 𝑭

𝑭 𝑭 𝑭

Es Verdadera** cuando las proposiciones son Verdaderas, en los demás casos es Falsa.

_______________________________________________________________________

DISYUNCIÓN

𝒑 𝒒 𝒑⋁𝒒

𝑽 𝑽 𝑽

𝑽 𝑭 𝑽

𝑭 𝑽 𝑽

∗∗ 𝑭 𝑭 𝑭

Es Falsa** cuando las proposiciones son Falsas, en los demás casos es Verdadera.

________________________________________________________________________

DISYUNCIÓN EXCLUSIVA
 6

𝒑 𝒒 ⋁𝒑⋁𝒒

𝑽 𝑽 𝑭

*** 𝑽 𝑭 𝑽

∗∗∗ 𝑭 𝑽 𝑽

𝑭 𝑭 𝑭

Es ***Verdadera cuando las proposiciones tienen valores contrarios, cuando tienen el

mismo valor es Falsa.

________________________________________________________________________

CONDICIONAL

𝒑 𝒒 𝒑→𝒒

𝑽 𝑽 𝑽

∗∗∗∗ 𝑽 𝑭 𝑭

𝑭 𝑽 𝑽

𝑭 𝑭 𝑽

Es ****Falsa cuando la primera proposición es verdadera y la segunda es

Falsa, en los demás casos es verdadera.

________________________________________________________________________

BICONDICIONAL
 7

𝒑 𝒒 𝒑↔𝒒

∗∗∗∗∗ 𝑽 𝑽 𝑉

𝑽 𝑭 𝐹

𝑭 𝑽 𝐹

∗∗∗∗∗ 𝑭 𝑭 𝑉

Es *****Verdadera cuando las proposiciones tienen el mismo valor, cuando tienen

diferente valor es Falsa.

________________________________________________________________________

 TABLAS DE VERDAD

Estas tablas pueden construirse haciendo una interpretación de los signos

lógicos:

~ (𝑛𝑜)

∧ (𝑦)

⋁(𝑜)

→ (𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠)

↔ (𝑠í 𝑦 𝑠ó𝑙𝑜 𝑠𝑖)

 8

La interpretación corresponde al sentido que estas operaciones tienen dentro del

razonamiento.

Puede establecerse una correspondencia entre los resultados de estas tablas y

la deducción lógico matemática. En consecuencia, las tablas de verdad
constituyen un método de decisión para chequear si una proposición es o no
un teorema.

Al solucionar una tabla de valores se encontrará como solución una de las

siguientes alternativas:

ALTERNATIVA DE CARACTERÍSTICA
SOLUCIÓN

Tautología Cuando los valores de verdad del operador

principal son todos verdaderos

Contradicción (Falacia) Cuando los valores de verdad del operador

principal son todos Falsos.

Sintética o Indeterminada o Cuando en los valores de verdad del

Contingencia operador principal

Cuando los valores de verdad del operador

principal hay por lo menos una verdad o
una falsedad.

Ejemplo:

1. 𝐷𝑎𝑑𝑜 𝑒𝑙 𝑠𝑖𝑔𝑢𝑖𝑒𝑛𝑡𝑒 𝑝𝑜𝑙𝑖𝑛𝑜𝑚𝑖𝑜, 𝑑𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑟 𝑠𝑢 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑:

∼ (𝒑 ∧ 𝒒) ↔ ∼ 𝒑 ⋁ ∼ 𝒒
Nota: para asignar los valores se debe tomar el número 𝟐𝒏 , donde
𝒏 𝒆𝒔 𝒆𝒍 𝒏ú𝒎𝒆𝒓𝒐 𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔
 9

En este caso hay dos proposiciones: Se tomarían 𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒗𝒂𝒍𝒐𝒓𝒆𝒔

∼ (𝒑 ∧ 𝒒)
𝒑 𝒒 ∼ ↔ ∼𝒑 ⋁ ∼𝒒

𝒗 𝒗 𝒇 𝒗 𝒗 𝒇 𝒇 𝒇

𝒗 𝒇 𝒗 𝒇 𝒗 𝒇 𝒗 𝒗

𝒇 𝒗 𝒗 𝒇 𝒗 𝒗 𝒗 𝒇

𝒇 𝒇 𝒗 𝒇 𝒗 𝒗 𝒗 𝒗

↓
Tautología

1.1.1 Verificar el progreso de aprendizaje de las Lecturas

Actividad: Tiempo para su realización: No debe exceder a los 20 minutos

Dados los siguientes polinomios, determinar su valor de verdad. Construya las

respectivas tablas:

a. ∼ (𝒑 ∨ 𝒒) ↔ ∼ 𝒑 ∧∼ 𝒒

b. ∼ 𝒑 → (𝒑 ∨ 𝒒) ↔ (∼ 𝒑 ∧∼ 𝒒) → 𝒒

c. [𝒑 ↔ (𝒒 ∨ 𝒓)] ↔ [(∼ 𝒑 →∼ 𝒒) → 𝒓]
Recuerde:

Si tiene2 proposiciones: 𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒗𝒂𝒍𝒐𝒓𝒆𝒔

 10

Si tiene 3 proposiciones: 𝟐𝒏 = 𝟐𝟑 = 𝟖 𝒗𝒂𝒍𝒐𝒓𝒆𝒔