LÓGICA MATEMÁTICA

Dos valores: VERDAD, FALSEDAD.

En lógica booleana, la verdad es
Bivalente 1, y la falsedad es 0.
*Lógica matemática de primer
orden.
LÓGICA Se divide en

Varios valores: VERDAD,

FALSEDAD, NECESIDAD,

Teoría de la Inferencia. Estudia la

Polivalente CONTINGENCIA, PERMISIÓN,
POSIBILIDAD, etc.
validez e invalidez de los *Lógica formal de segundo
argumentos de cualquier ciencia. orden. Lógica difusa, lógica
Distingue entre un razonamiento deóntica, lógica modal, etc.
correcto de uno incorrecto.
Ciencia de las ciencias.
 Son, o verdaderas
o falsas. SIMPLES:
(0, 1) Ej: a) La pizarra es blanca.
b) x + y = z
c) F=m*a

estudia PROPOSICIONES
COMPUESTAS:
Ej: a) Si el cielo esta nublado,
entonces lloverá.
b) O compro un celular o
LÓGICA compro una PC.

- EXCLAMACIONES: ¡Qué bonito día! ¡Qué feo celular!

no-estudia - INTERROGACIONES: ¿Qué hora es?
- IMPERATIVOS: ordenes, ¡Vaya, y compré algo barato!

No pueden ser en sí mismas,

verdaderas ni falsas.
 PROPOSICIONES COMPUESTAS

Son aquellos enunciados donde las PROPOSICIONES SIMPLES se unen mediante CONECTIVAS
LÓGICAS.
Las conectivas lógicas principales que estudiaremos son las siguientes:
1. Condicional. (causa/efecto) →
Ej: Si PedroestudiaentoncesPedroaprobará.
2. Bicondicional.(causa/efecto= efecto/causa)
Ej: Si y solosi algoestavivoentoncesesealgopuedemorir.
3. Disyunción.(elecciónentredosopciones)
Ej: O comprounamotocicletao comprounacamioneta.
4. Conjunción:(dosopcionesjuntasa lavez)
Ej: comprounamotocicletay comprounacamioneta.
5. Negación:(no)
Ej: nocomprounamoto.
 SÍMBOLOS PARA LAS CONECTIVAS LÓGICAS.
NOMBRE
1. Condicional. (causa/efecto)
Si --- entonces -----
2. Bicondicional. (causa/efecto
= efecto/causa)
Llamado también
EQUIVALENCIA
Si y solo si ---- entonces ----
3. Disyunción. (elección entre
dos opciones)
Letra “O”, a menos que.
4. Conjunción: (dos opciones
juntas a la vez)
Letra (Y), mientras, aunque,
pero.
5. Negación: (no)
Cualquier palabra que
implique negar algo.
SÍMBOLO EJEMPLO
 Si Pedro estudia entonces
Pedro aprobará.
Si y solo si algo esta vivo
 entonces ese algo puede
morir.

O compro una motocicleta o
compro una camioneta.
᛫
Compro una motocicleta y
compro una camioneta.
 No compro una moto.
EJEMPLO TRADUCCIÓN FORMAL
EA
E= Pedro estudia A= Pedro aprueba
VM
V= algo está vivo M= algo puede morir.
MC
M= compro una motocicleta
C= compro una camioneta
M᛫C
M= compro una motocicleta
C= compro una camioneta
M
M= compro una moto.
 DIFERENCIA: VERDAD Y VALIDEZ
LA VERDAD : es para los Proposiciones.
Ej: a) El cielo es azul.
b) Los gatos son morados.
c) Si 2 + 2= 4 entonces 4 – 2 = 2
LA VALIDEZ: es para los Argumentos.
Ej: a) Si Juan estudia entonces Juan aprueba.
No es cierto que Juan aprueba.
Por tanto, no es cierto que Juan estudia.
Las PROPOSICIONES son
enunciados u oraciones
completas que pueden ser
clasificados como verdadero s o
como falsos.
Los ARGUMENTOS, son un
conjunto de proposiciones, unas
llamadas premisas que me llevan
a una proposición final llamada
CONCLUSIÓN.
Son ´VÁLIDOS o INVÁLIDOS.
VALIDEZ E INVALIDEZ
LÓGICA
USANDO TABLAS DE VERDAD
 Para realizar una Tabla de Verdad,
necesitaremos la siguiente formula:
Pⁿ=F
Donde P: es la cantidad de valores de verdad.
n: es la cantidad de variables, entradas o
proposiciones simples.
F: es la cantidad de filas que tendrá la tabla.
 Ejemplo: Observe el siguiente
argumento.
Si Alvin Martínez debe ser capturado entonces
Alvin Martínez es culpable de un delito. Alvin
Martínez no es culpable de un delito. Por tanto,
Alvin Martínez no debe ser capturado.

Posee dos premisas, y una conclusión (la cual se

identifica por los términos “Por tanto”)
 Identificamos las conectivas lógicas y las
proposiciones simples.
Si Alvin Martínez debe ser capturado entonces
Alvin Martínez es culpable de un delito. Alvin
Martínez no es culpable de un delito. Por tanto,
Alvin Martínez no debe ser capturado.
C= Alvin Martínez debe ser capturado
D= Alvin Martínez es culpable de un delito
La formula que utilizaremos en esta parte será:
2ⁿ=F , usaremos 2 como base, ya que los dos
únicos valores que evaluaremos son VERDAD (1)
y FALSEDAD (0)
Luego, sustituimos el valor de “n” por la
cantidad de proposiciones simples. En este caso,
solo son 2:
C= Alvin Martínez debe ser capturado
D= Alvin Martínez es culpable de un delito
De ese modo la formula quedaría así:
La BASE de la tabla de verdad
quedaría de esta manera.
*Para la primer variable (C), la
2 mitad es verdad (1) y la segunda
2 =4 mitad es falsedad (0)

*Para la segunda variable (D), la

mitad de la mitad es verdad (1) y
la mitad de la mitad es falsedad
(0). De forma intermitente.
Luego, se crean columnas, según la cantidad de
enunciados u oraciones completas. En este caso
tenemos tres (3) oraciones completas; dos(2)
llamadas PREMISAS y una(1) llamada conclusión.

2
2 =4
 Para comprobar si un argumento es INVÁLIDO, las
premisas deben ser verdaderas (1) y la conclusión falsa
(0). Por lo cual, buscaremos una fila en la que aparezca
un 1 en las primeras dos columnas y un 0 en la última
columna de la conclusión.

2
2 =4

Si NO aparece en alguna fila el patrón de Premisas Verdaderas (1) y conclusión

falsa (0), entonces el argumento es VÁLIDO.
La SOLUCIÓN quedaría de la siguiente manera:

Como se puede observar, en ninguna FILA aparece el patron 1, 1, 0.

Por tanto, el argumento es válido.
TIPOS DISTINTOS DE BASE DE TABLA DE VERDAD.
CUATRO VARIABLES
TRES VARIABLES
DOS VARIABLES

2ᶟ = 8 2⁴= 16