ESTRUCTURAS DISCRETAS ING. M.

ARCANI
LÓGICA MATEMÁTICA -1-

TEMA #1
LÓGICA MATEMÁTICA
1.1. INTRODUCCION

Mediante el razonamiento observamos si un argumento es válido o no, el objetivo de este tema es

eliminar las ambigüedades del lenguaje ordinario.

1.2. PROPOSICIONES

Una proposición es una oración de la cual se puede decir si es verdadera ( V ) o falsa ( F ).

Ejemplo:

a) El símbolo del agua es H2O (V)

b) 20 es múltiplo de 3 (F)
c) 50 es múltiplo de 5 (V)
d) El año tiene 12 meses (V)

1.3. CONECTIVOS LOGICOS

no  "  "
y  " "
o  " "
si entonces  " → "
si y solo si  "  "
o excluyente  "  "

1.4. OPERACIONES PROPOSICIONALES

a) Negación:
p ~p
V F
F V
p: Todo estudiante es responsable
~p: No todo estudiante es responsable

b) Conjunción:
p q pʌq
V V V
V F F
F V F
F F F
p: Todo estudiante estudia
q: Todo estudiante aprueba
p ʌ q: Todo estudiante estudia y aprueba
 ESTRUCTURAS DISCRETAS ING. M. ARCANI
LÓGICA MATEMÁTICA -2-

c) Disyunción:
p q pνq
V V V
V F V
F V V
F F F
p: Todo estudiante estudia
q: Todo estudiante juega
p ν q: Todo estudiante estudia o juega

d) Implicación o condicional:
p q p→ q
V V V
V F F
F V V
F F V
p: Todo estudiante obtiene la nota mayor a 85 (antecedente)
q: Todo estudiante obtiene una beca (consecuente)
p → q: Si todo estudiante obtiene la nota mayor a 85 entonces obtiene una beca

e) Doble implicación o bicondicional:

p q p↔q
V V V
V F F
F V F
F F V
p: Todo estudiante aprueba
q: Todo estudiante obtiene un promedio mayor a 51 puntos
p ↔ q: Todo estudiante aprueba si y solo si obtiene un promedio mayor a 51 puntos

f) Disyunción exclusiva:
p q pνq
V V F
V F V
F V V
F F F
p: La capital de Bolivia es La Paz
q: La capital de Bolivia es Sucre
p ν q: La capital de Bolivia es La Paz o Sucre
 ESTRUCTURAS DISCRETAS ING. M. ARCANI
LÓGICA MATEMÁTICA -3-

1.5. TABLA DE VALORES DE VERDAD:

Se debe analizar todas las posibles combinaciones de valores de verdad de las proposiciones que
la componen. En la formula proposicional intervienen “n” proposiciones simples diferentes, donde
en la tabla de valores de verdad habrá 2n combinaciones diferentes.

Ejemplo:
p → ( qr )
p q r ~p → q ν ~r
V V V F V V V F
V V F F V V F V
V F V F V F F F
V F F F V F V V
F V V V V V V F
F V F V F V F V
F F V V F F F F
F F F V V F V V

R
1.6. CLASIFICACION DE FORMULAS PROPOSICIONALES:

a) Tautología: Es verdad para cualquier valor de verdad de las proposiciones.

( p → q )  q  → p
p q ~p → q ʌ ~q → p
V V F V V F F V V
V F F V F V V V V
F V V V V F F V F
F F V F F F V V F

b) Contradicción: Es falsa para cualquier valor de verdad de las proposiciones

( p → q )  ( p  q )
p q ~p → q ↔ ~p ʌ ~q
V V F V V F F F F
V F F V F F F F V
F V V V V F V F F
F F V F F F V V V

c) Contingencia: Es una fórmula que no es tautológica ni contradicción.

( p  q )  ( p  q )
P q ~p → q ↔ ~p ʌ ~q
V V F V V F F F F
V F F V F F F F V
F V V V V F V F F
F F V F F F V V V
 ESTRUCTURAS DISCRETAS ING. M. ARCANI
LÓGICA MATEMÁTICA -4-

1.7. EQUIVALENCIA LOGICA:

Expresa la equivalencia entre dos formula proposicionales.

p  q   ( pq )

1.8. ALGEBRA DE PROPOSICIONES:

Son operaciones lógicas que se realizan para simplificar utilizando las leyes lógicas.

LEYES LÓGICAS
Idempotencia: p  p  p p p  p Conmutativa: p  q  q  p pq  q p
Asociativa: ( p  q )  r  p  ( q  r ) Negación:  ( p )  p p  p  F p  p  V
( p  q)  r  p  (q  r ) Identidad: p  V  p p F  p
Distributiva: p  ( q  r )  ( p  q )  ( p  r ) Morgan:  ( p  q )  p  q
p  (q  r )  ( p  q)  ( p  r )  ( p  q )  p  q
Implicación: p → q  p  q Doble implicación: p  q  ( p → q )  ( q → p )
Adicionales: pq  ( p  q )  ( q  p ) Absorción: p  ( p  q )  p p  ( p  q)  p
pq  ( p  q )   ( p  q ) p  ( p  q )  p  q p  ( p  q )  p  q
pF  F p V  V

1.9. CIRCUITOS LÓGICOS:

Las operaciones proposicionales se pueden representar mediante circuitos lógicos con

tantos interruptores como proposiciones que la componen, combinados en serie o en paralelo
según el conectivo lógico que une las proposiciones.