FACULTAD DE INGENIERÍA Y CIENCIAS

DEPARTAMENTO MATEMÁTICA Y ESTADÍSTICA

LÓGICA MATEMÁTICA
Carrera: Ingeniería Comercial
FUNDAMENTOS DE MATEMÁTICA
Lógica Matemática

Construiremos un lenguaje para nuestro mejor entendimiento mediante la lógica matemática.

El objetivo fundamental de la lógica, como ciencia, es el estudio de los métodos de razonamiento.

Se recurre a métodos para evaluar o verificar la validez dichos razonamientos.

En este estudio se investiga la relación de consecuencia que se da entre las premisas y la conclusión de un
argumento correcto, en este proceso, la verdad sólo se obtiene si cumple las siguientes condiciones:

a) Las proposiciones iniciales, llamadas premisas o hipótesis han de ser verdaderas.

b) En este contexto, las premisas han de relacionarse de acuerdo a las reglas y leyes de la lógica.
Los principios científicos que se aceptan como verdaderos son muy pocos y podemos clasificarlos como
definiciones y axiomas.

Def. La Lógica es el estudio, los métodos y principios que nos permiten distinguir el pensamiento correcto
de lo incorrecto.

En lógica se trabaja con ciertos enunciados o frases llamadas proposiciones.

Proposición: Es una expresión que afirma o niega algo, y tiene sentido en cualquier lenguaje. Se caracteriza
por ser Verdadera (V) o Falsa (F), a los cuales denominamos valores de verdad. Las proposiciones las
denotaremos por las letras minúsculas p, q, r, etc.

Existen dos tipos de proposiciones:

a) Básicas o Atómicas: Son aquellas de forma más simple, o bien una proposición sin término de enlace.

b) Compuestas o Moleculares: Son aquellas que resultan de unir dos o más proposiciones básicas con un
término de enlace.

Ejemplo. 1) "Hoy es Martes"

2) "Hay pocos alumnos"

Estas son proposiciones básicas, pero si le agregamos la palabra "y", formaremos una proposición
compuesta, es decir:
"Hoy es Martes y hay pocos alumnos".
TERMINOS DE ENLACE
Def. Como su nombre lo indica, los términos de enlace se utilizan para unir dos o más proposiciones
básicas, obteniendo una proposición compuesta.

Los términos de enlace que usaremos son:

“No”; "y"; "o"; "Si,...., entonces"; "Sí y sólo sí"

Simbolización de los conectivos lógicos:

"No" ; se simboliza " − " o “~ ”

"y" ; se simboliza " "

"o" ; se simboliza " "

"Si entonces"; se simboliza ""

"Sí y sólo sí"; se simboliza ""

SIMBOLIZACION DE PROPOSICIONES
Mediante los siguientes ejemplos aprenderemos a simbolizar correctamente las proposiciones:

1. La máquina se deprecia o pierde su valor comercial.

pq (Disyunción)

2. Juan vive en nuestra calle y Carlos en la manzana contigua.

pq (Conjunción)

3. Si baja la bencina, aumenta la demanda.

pq (Condicional)

4. Pedro no llega tarde y Carlos no es puntual

~ p ~ q (Conjunción)

5. No es cierto que, habla inglés o que vaya a viajar.

~ ( p  q) (Negación)
6. El número 1 es el único elemento del conjunto de los números naturales, que al multiplicarlo por otro
número natural x, da como resultado el número natural x.

p (Básica)

USO DE PARENTESIS
De la misma manera como en gramática, los signos de puntuación le dan sentido a una frase u oración, en
lógica los paréntesis juegan un papel similar. Observemos la siguiente expresión gramatical:

"Si este cuadro es negro, entonces aquel cuadro es blanco y el rey está sobre el cuadro blanco".

p  (q  r) (Condicional)

Agregando una coma en la proposición de la siguiente manera:

"Si este cuadro es negro entonces aquel cuadro es blanco, y el rey está sobre el cuadro blanco"

(p  q)  r (Conjunción)

Consideremos las siguientes proposiciones.

1. "Juan va a clases y aprende álgebra, o aprende cálculo"

( pq )  r

2. "Juan va a clases, y aprende álgebra o aprende cálculo"

p  (q  r )

3. "Juan va a clases y aprende álgebra o aprende cálculo"

p  q  r . Esto es una ambigüedad

NOTA: En una proposición de la forma p  ( q  r ), el paréntesis puede suprimirse y quedar p  q  r,

que corresponde a una condicional,

pero:

pqr (Bicondicional)

(p  q)  r (Condicional)

No obstante, la importancia de los paréntesis, algunos de ellos se pueden suprimir en virtud de las
siguientes prioridades:

"" Es el más potente de los términos de enlace

"" Es el segundo más potente

"  ,  " Tiene la misma potencia respecto del otro

"~ " Es el más débil de los términos de enlace.

Ilustramos esto, con los siguientes ejemplos:

1) p  q  s  p (Bicondicional) 2) p  ( q  s  p ) (Condicional)

3) p  ( q  r ) (Conjunción) 4) p  ( q  r ) (Condicional)

5) p  q  r (Ambigüedad) 6) p  ( q  r ) (Disyunción)

7) ( p  q )  r (Conjunción) 8) ~ p  ~ q (Condicional)

9) p  ( ~ p  q ) (Disyunción) 10) ~ ( p  q ) (Negación)

TABLAS DE VERDAD
Si se tiene una sola proposición, cuyo valor de verdad puede ser verdadero o falso, entonces vemos que:

p ~p

V F

F V

En la siguiente tabla se define la relación entre el valor de verdad de una proposición compuesta y de las
proposiciones simples p y q , que la componen.

p q pq pq pq pq

V V V V V V

V F F V F F

F V F V V F

F F F F V V
NOTA: Si se tiene una proposición compuesta r , por ejemplo " p  q ", una manera simple de mostrar la
relación entre el valor de verdad de las proposiciones básicas " p, q ", es por medio de una tabla de
verdad.

Def.: Una proposición compuesta se llama Teorema Lógico o Tautología, si cualquiera sea el valor de
verdad de las proposiciones básicas que la componen, ella es siempre verdadera.

Ejemplo: 1) p  ~ p , tiene por tabla:

p ~p p ~ p

V F V

F V V

Vemos claramente que se trata de una tautología, pues no importando el valor de verdad de la proposición
p , su resultante es verdadera.

Ejemplo: 2) p  ~ p , tiene por tabla:

p ~p p ~ p

V F F

F V F

Vemos claramente que se trata de una contradicción, pues se afirma y se niega la proposición p ,
(simultáneamente) y su resultante es falsa.

Ejercicios:

Establecer el valor de verdad de las proposiciones que se indican:

1) 2 es un número primo y 24 es divisible por 3

2) 3 es un número impar ó 6 es primo
3) Si 2  5 entonces 7  3
4) Si 3  4 entonces 8  3
5) Si 8  4 entonces 2  3
TEOREMAS LOGICOS DE USO MAS FRECUENTE.

L1 : ~ (~ p)  p (Ley de doble negación)

L2 : p p p (Idempotencia de  )

L3 : p p  p (Idempotencia de  )

L4 : pq  q p (Conmutatividad de  )

L5 : pq  q p (Conmutatividad de  )

L6 : p  (q  r )  ( p  q)  r (Asociatividad de  )

L7 : p  (q  r )  ( p  q)  r (Asociatividad de  )

L8 : p  (q  r )  ( p  q)  ( p  r ) (Distributividad de  respecto a  )

L9 : p  (q  r )  ( p  q)  ( p  r ) (Distributividad de  respecto a  )

L10 : ~ ( p  q)  ~ p ~ q 
 (Leyes de De Morgan)
L11 : ~ ( p  q)  ~ p  ~ q 

L12 : ( p  q)  (q  r )  ( p  r ) (Transitividad)

L13 : p  q  ~ q ~ p (Contrarecíproca)

L14 : p  q ~ p  q (Implicación)

L15 : ( p  q)  ( p  q )  (q  p ) (Ley bicondicional)

L16 : p  q p 
 (Leyes de simplificación)
L17 : p  q q 