LÓGICA MATEMÁTICA

Lógica matemática
También denominada lógica
moderna o lógica simbólica.
Nociones previas:

ENUNCIADO
Toda frase u oración,
algunos mandatos,
expresiones de
sentimientos, otros en
cambio su característica
es que pueden ser V o F.
PROPOSICIÓN
Es la expresión lingüística del
juicio cuya característica
fundamental es ser BIVALENTE
(verdadero o falso).
Es una expresión significativa en
la cual podemos determinar la
veracidad o falsedad de la
misma.

ENUNCIADO Estructura de una proposición:

ABIERTO • Alicia es ingeniera.
Son expresiones que no
tienen la propiedad o
característica de ser V o sujeto – verbo - predicado
F.
LA PROPOSICIÓN
PROPIEDADES DE LA
PROPOSICIÓN
1. CUALIDAD O CALIDAD
 PUEDEN SER :
1.a) Afirmativas: tienen la siguientes forma lógica

S es P
Libro es un bien cultural

1.b) Negativas: tienen la siguiente forma lógica.

S no es P

Argentina no es un país europeo

2. CANTIDAD: Depende de las variaciones que se den en
el sujeto.

 Pueden ser:
2.a) UNIVERSALES: tienen la siguiente forma lógica.
Todo S es P
Todos los S son P
Todo hombre es un ser racional.
2.b) Particulares: Tiene la siguiente forma lógica
Algún S es P
Algunos S son P
La minoría de politos son honestos.
2.c) Indivuales: Tiene la siguiente forma lógica.
Este S es P
Este alumno es amable
3. MODO O MODALIDAD: Depende de las variaciones que
experimenta el concepto cópula(verbo)

 Pueden ser:
3.a) Asertóricas: Expresan un “grado de certeza” cuando se establece una relación entre sujeto y
predicado en grado de efectividad, seguridad o de hecho. Tienen la siguiente forma lógica.
S es efectivamente P
*El dia de mañana es martes
3.b) Apodícticas: Expresan un grado muy fuerte de certeza o de seguridad, expresan una relación entre
sujeto y predicado en grado obligatorio, forzoso. Tiene la siguiente forma lógica.
S tiene que ser P
* 8 necesariamente es mayor que 5
3.c) Problemáticas: Expresan un grado débil de certeza, expresan una relación entre sujeto y predicado
en grado posible. Tiene la siguiente forma lógica.
S es posiblemente P
* Mañana es posible que llueva
 CLASES DE
PROPOSICIONES
Simples o Atómicas - Compuestas o coligativas
SIMPLES O ATOMICAS

1.Predicativas.- Se le atribuye alguna cualidad al sujeto:

-La antropología es una ciencia

2.Relacionales.- Se compara un sujeto con otro mediante una relación que

puede ser de orden, tiempo, espacio, parentesco, acción, etc.

-Vallejo y Mariátegui fueron contemporáneos. (Tiempo)

COMPUESTAS O COLIGATIVAS
1. A) Negativas: “no”
B) Conjuntivas: “y”
C) Disyuntivas Incluyentes: “o” en sentido incluyente
D) Disyuntivas excluyentes: “o” en sentido excluyente
E) Implicativas: “si…entonces”
F) Replicativas: “…si…”
G) Biimpicativas: “…si y solo si…”
H) Inalterativas o Negación Conjunta: “ni…ni…”
I) Incompatibles: “no…o no…”- “no es cierto que…y…”
 TABLA DE VERDAD

A B -A A^B A v B A▲B A B A B A B A/B

VV F V V F V V F F
VF F F V V F F F V
F V V F V V F V F V
F F V F F F V V V V
 LEYES DE LAS
PROPOSICIONES
Son equivalencias lógicas que sirven para simplificar las
fórmulas del calculo proposicional. Su demostración se
reduce a la confección de las correspondientes tablas de
la verdad.

En la elaboración de las leyes, tomaremos a p, q y r como

proposiciones que asumirán cualquier valor de verdad,
por otro lado V será una proposición verdadera y F un
proposición falsa.
 IDEMPOTENCIA
DOBLE NEGACIÓN
(p ʌ p) = p
- (-p) = p
(p v p) = p

ASOCIATIVA CONMUTATIVA
(p ʌ q) ʌ r = p ʌ (q ʌ r) pʌq=qʌp
(p v q) v r = p v (q v r) pvq=qvp

DE MORGAN DISTRIBUTIVA
- (p ʌ q) = -p v - q P ʌ (q v r) = (p ʌ q) v (p ʌ r)
- (p v q) = -p ʌ - q P v (q ʌ r) = (p v q) ʌ (p v r)
 DE COMPLEMENTO ABSORCIÓN
P ʌ -p = F P ʌ (p v q) = p
P v –p = V P v (p ʌ q) = p

CONJUNCIÓN NEGATIVA EQUIVALENCIA

p ↓ q = -p ʌ -q P ↔ q = (p → q) ʌ (q → p)

IMPLICACIÓN BICONDICIONAL
P → q = -p ʌ q p ↔ q = (p → q) v (q → p)
EJERCICIOS
EJERCICIO: Reemplazar y resolver:

Se define
[( p @ ~q) v ( ~p @ q) ]
pV V F V F F V V V
V F V V F V F V V
F V F V V F V F F
F F V V V V F F F

p
• El resultado
después de
resolver es:
VVFF, que sería
igual a p, ya
que p vale:
VVFF
Ejercicio:

Si: p = 1, q = 1, r = 0; y dada la fórmula:

( p / q )v( p r )

( 1 0 1) ( 1 0 0)

(V F V) V (V F F)
F 0
F 0
F = 0
F 0
 Luis se come el helado o se le derretirá; no se derrite el helado; por tanto,
Luis se come el polo.
p = Luis se come el helado, q = el helado se derrite

(p v q) & ¬𝑞 → 𝑝

(p v q) & ¬ q → p
V V V F F V V V
V V F V V F V V
F V V F F V V F
F F F F V F V F
 Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis,
juega al futbol. No juega al futbol, por tanto Eduardo juega al baloncesto.
Eduardo baloncesto: p Eduardo tenis: q Eduardo futbol: r

¬𝑝 → 𝑞 &(𝑞 → 𝑟) & ¬ 𝑟 → 𝑝

(( ¬ p → q ) & ( q → r )) & ¬ r → p
F V V V V V V V F F V V V
F V V V F V F F F V F V V
F V V F V F V V F F V V V
F V V F V F V F V V F V V
V F V V V V V V F F V V F
V F V V F V F F F V F V F
V F F F F F V V F F V V F
V F F F F F V F F V F V F
EJERCICIO:
DETERMINAR SI EL SIGUIENTE EJERCICIO ES TAUTOLOGICO

[(p ^ q) (- r ^ s)]
V F F
F V F
V
F V
V
F F
RPTA: No es verdadero.
RESOLVER: .

[(-p v q) - (q / s) v p]
F V V V V F V V V
F V V V V V F V V
F F F V F V V V V
F F F V F V F V V
V V V F V F V F F
V V V V V V F V F
V V F V F V V V F
V V F V F V F V F
EJERCICIO:
 Formaliza la siguiente proposición:
“ Si no apruebas o no resuelves este problema, entonces es falso que
hayas estudiado o domines la deducción lógica. Pero no dominas la
deducción lógica aunque has estudiado.”

a) [(-p v –q)  (-r v –s)] ^ -s ^ r [(-p v –q)  -(r v –s)] ^ -s ^ r

b) [(-p v –q)  (-r v –s)] v -s ^ r
c) [-(p v q)  -(r v –s)] ^ -s ^ r
d) [(-p v –q)  -(r v –s)] ^ -s ^ r
e) [(-p v –q)  -(r v –s)] ^ s ^ r
EJERCICIO:
 Determinar si la siguiente proposición es tautología:
“(p v q)  q”
p q pvq (p v q)  q
V V V V
V F V F
F V V V
F F F V

Rpta: No es tautología.
EJERCICIO:
Demuestre si la proposición es una
tautología:

(-p v q) v (-q v -p)

-p v (q v –q) v –p (Asociativa)
-p v V v –p (Complemento)
(-p v V) v –p (Asociativa)
V v –p (Identidad)
V (tautología) (Identidad)

Rpta: Si es tautología.
RESOLVER:
( p v q ) →[ - ( -p ʌ -q)]

p q (p v q) → [ - ( - p ʌ -q ) ]
V V V V V V V F F F
V F V V F V V F F V
F V F V V V V F F F
F F F V F V F F V V