Matemática

INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

1. LÓGICA MATEMÁTICA.- La lógica matemática resulta de aplicar a la lógica los métodos de la matemática,
para ello se comienza por adoptar su simbolismo apropiado para representar los argumentos verbales por
fórmulas, en las cuales se pone de relieve la estructura lógica.
Uno de los mejores cuidados que debe tener el estudiante de lógica matemática es el de familiarizarse con la
terminología y simbología.

2. PROPOSICIÓN.- Proposición es un enunciado, oral o escrito, de un juicio que tenga sentido completo de
afirmar y que su contenido sea verdadero (v) o falso (F). Se los representa por las letras p, q, r, s, t, etc.

EJEMPLOS:
Proposiciones en los que se señala su verdad o su falsedad, es decir su contenido:
1. La tierra no se mueve (F) 6. Andrés que bien juega al tenis (no es proposición)
2. 8 - 3 < 6 (V) 7. ¡Viva Bolivia! (no es proposición)
3. Todos los hombres pesan 60 Kg. (F) 8. 3 - 6 + 4 (no es proposición)
4. El ángulo del triángulo equilátero tiene 60° (V) 9. ¿Me quieres? (no es proposición)
5. Yo te amo (no es proposición) 10. ¿Cuántos años han pasado? (no es proposición)

NOTA.- En síntesis, las Proposiciones Lógicas son expresiones de las que tiene sentido decir que son verdaderas
ó que son falsas. También se les denomina simplemente PROPOSICIONES.

2.1. DEFINICIÓN.- Se llama valores de verdad de una proposición a sus dos valores: verdadero ó falso, estos
posibles valores se pueden esquematizar en una TABLA DE VERDAD en la forma:
p
V
F
3. CONECTIVOS LÓGICOS.- Son expresiones que sirven para unir dos ó más proposiciones, entre los más
importantes conectivos lógicos tenemos:

La conjunción, disyunción, implicación o condicional, bicondicional, negación, disyunción exclusiva, estos los
mostraremos en el siguiente cuadro.

Símbolo Conectivo Nombre Se lee

Lógico
P ~ ~p Negación No; es cierto; no es el caso que; es falso que , etc
R
O
P  pq Conjunción Y; pero; sin embargo; aun; a la vez; , etc (p y q).
O v pq Disyunción inclusiva "o/y" ; "o" (p o q)
S v pq Disyunción exclusiva " o ..... o ..." (o p o q)
I Condicional o implicación Implica; si... entonces ...; si.. dado que... entonces; en
C
→ p→q
I vista que; porque; etc. ( si p, entonces q)
O
N ↔ p↔q Bicondicional, doble “…si y sólo si....” (p si y sólo si q)
E implicación o equivalencia
S
≡

3.1. CLASES DE PROPOSICIONES.- Las proposiciones por su extensión pueden ser: Simples o atómicas y
compuestas o moleculares.
a) PROPOSICIONES SIMPLES O ATÓMICAS.- Las proposiciones simples, son aquellos que se pueden
representar por una sola variable, es decir, por una sola letra como.
EJEMPLOS:
1. p: Andrés es mi nieto (v)
2. q: El polígono de tres lados se llama triángulo (v)
3. r: La bicicleta es un vehículo (v)
4. s: 5 + 9 < 10 (F)

1 Lic. Freddy Sumi Aguilar

 Matemática

b) PROPOSICIONES COMPUESTAS O MOLECULARES.- Las proposiciones compuestas, son

enunciados formados por dos o mas proposiciones simples, ligadas entre si por algún ó algunos de los
símbolos que representan a las palabras siguientes: y, o , si ... entonces, si y sólo si, etc.

EJEMPLO:
1. Arturo "y" Juana juegan ajedrez.
2. Lucio se preparo estudiando "pero" no ingreso a la Universidad
3. Este mes voy a trabajar o me muero de hambre
4. Si estudio matemática, entonces puedo enseñar matemática
5. O vivo en Santa Cruz o vivo en la Paz

4. PROPOSICIONES COMPUESTAS BÁSICAS Y TABLA DE VERDAD.- Las proposiciones compuestas

básicas más importantes son: negación (No), conjunción "y", disyunción inclusiva "o", disyunción exclusiva,
condicional o implicación (entonces) y bicondicional (si y sólo sí).

1. Negación.- Es una operación monaria, dada una proposición p, se denomina LA NEGACIÓN DE p, a otra
proposición denotada por ~p y que le asigna el valor opuesto al de p.
La negación se denota así:
~p se lee "no p" o también " no es cierto que p"
El símbolo "~" cumple la función de negar una afirmación o de afirmar una negación.

 Tabla de verdad y valor de verdad de la negación.-

a) Negación b) Doble negación V (p) = V
p ~p p ~(~p) V (~p) = F
V F V V
F V F F

Ejemplos:
1. p: Andrés es un niño travieso
~ p: No es verdad que Andrés es un niño travieso
2. p: "Einsten fue un científico"
~ p: Einsten no fue un científico
2. CONJUNCIÓN O (PRODUCTO LÓGICO).- Se construye con dos proposiciones simples, es verdadera
solo cuando ambas proposiciones lo son, en cualquier otro caso es falsa; se denota así:
"p  q" se lee "p y q"

 TABLA DE VERDAD Y VALOR DE VERDAD DE LA CONJUNCIÓN.-

p q pq
V V V V (p  q) = V V (p  q) = F
V F F si V(p) = V; V(q) = V si V(p) = V ; V(q) = F
F V F V (p) = F ; V (q) = V
F F F

EJEMPLOS:

1. P: Michael ganó la lotería; q: Michael malgastó su dinero. La conjunción será:

p  q = Michael gano la lotería y Michael malgastó su dinero
p  q = Michael gano la lotería "sin embargo" malgastó su dinero
p  q = Michael gano la lotería "pero" malgastó su dinero
p  q = Michael gano la lotería "a la vez" malgastó su dinero
2. p: 15012 es múltiplo de 3 …. (V)
q: 4 + 7 = 15 …. (F)
p  q = 15012 es múltiplo de 3 y 4 + 7 = 15 …. (F)

3. DISYUNCIÓN INCLUSIVA.- (Llamada también débil).- La disyunción inclusiva es falsa solamente cuando
ambas proposiciones son falsas y en cualquier otra alternativa es verdadera; se denota así:
"p  q" se lee "p o q".

2 Lic. Freddy Sumi Aguilar

 Matemática

 TABLA DE VERDAD Y VALOR DE VERDAD DE LA DISYUNCIÓN INCLUSIVA.-

p q pq
V V V (p  q) = F V (p  q) = V
V F V si V(p) = F ; V (q) = F si V (p) = V; V (q) = F
F V V V (p) = F ; V (q) = V
F F F V (p) = V ; V (q) = V

EJEMPLOS:
1. P: Michael es ingeniero
q: Michael es profesor de matemática
Expresando la proposición:
p  q = Michael es ingeniero o profesor de matemática

2. P: Jhordan tiene ojos negros

q: Jhordan es rubio
p  q = Jhordan tiene ojos negros o Jhordan es rubio
p  q = Jhordan tiene ojos negros o es rubio

4. CONDICIONAL (O DE IMPLICACIÓN).- El condicional o implicación es FALSO cuando el antecedente

es verdadero y el consecuente es falso, en las otras combinaciones es verdadero; se denota así:
"p → q" se lee "si… p entonces q".

 TABLA DE VERDAD Y VALOR DE VERDAD DE LA CONDICIONAL.-

p q pq V (p  q) = F V (p  q) = V
V V V si V (p) = V ; V (q) = F si V (p) = V ; V (q) = V
V F F V (p) = F ; V (q) = V
F V V V (p) = F ; V (q) = F
F F V
EJEMPLOS:
1. p: Michael estudia derecho
q: Michael será abogado
Expresando la proposición:
p  q = Michael estudia derecho, entonces Michael será abogado
p  q = Si Michael estudia derecho, entonces será abogado

2. p: 2 + 3 = 6 ……….(F)
q: 5 < 6 ……….(V)
p → q = 2 + 3 = 6 →5 < 6 ……….(V)

5. Doble implicación o bicondicional.- El bicondicional es VERDADERA solo si las dos proposiciones son
verdaderas o falsas y es FALSA cuando sus componentes uno es falso y el otro es verdadero; se denota así:
"p ↔ q" se lee "p si y sólo si q".
 Tabla de verdad y valor de verdad de la bicondicional.-
p q p q V (pq) = F V (p  q) = V
V V V si V (p) = V; V (q) = F si V (p) = V ; V (q) = V
V F F V (p) = F; V (q) = V V (p) = F ; V (q) = F
F V F
F F V

EJEMPLO:
p : Daniel será médico
q : Daniel ingresara a la Universidad
p  q = Daniel será medico si y sólo si ingresa a la Universidad

6. DISYUNCIÓN EXCLUSIVA (O FUERTE).- La disyunción exclusiva es FALSA solo si las dos

proposiciones son verdaderas o falsas y VERDADERA cuando solo alguna es verdadera; se denota así:
"p  q" se lee "o p o q"
.
3 Lic. Freddy Sumi Aguilar
 Matemática

 TABLA DE VERDAD Y VALOR DE VERDAD DE LA DISYUNCIÓN EXCLUSIVA.-

p q pq V (p  q) = F V (p  q) = V
V V F si V (p) = V ; V(q) = V si V (p) = V ; V (q) = F
V F V V (p) = F ; V(q) = F V (p) = F ; V (q) = V
F V V
F F F

EJEMPLOS:
1. p: Estoy en Bolivia
q: Estoy en Brasil
Expresando la proposición:
p  q = O estoy en Bolivia o en Brasil

2. p: Victoria es una niña

q: Victoria es enfermera
p  q = O Victoria es una niña o Victoria es una enfermera
p  q = O Victoria es una niña o es una enfermera

5. TABLAS DE VERDAD.- Una tabla de verdad es un esquema que muestra como los valores de verdad de
proposiciones compuestas dependen de los valores de verdad de las proposiciones componentes simples y de los
conectivos usados.
Las posibilidades de combinar los valores de verdad dependen del número n de proposiciones dadas; y la relación
es 2n

- Para una proposición: n = 1 => 21 combinaciones

- Para dos proposición: n = 2 => 22 = 4 combinaciones
- Para tres proposición: n = 3 => 23 = 8 combinaciones
- Para n proposición: 2n combinaciones

6. PROPOSICIONES COMPUESTAS.- Utilizando los conectivo lógicos se pueden combinar cualquier número
finito de proposiciones compuestas básicas para obtener otras cuyos valores de verdad pueden ser conocidos
construyendo sus tablas de verdad; en tales tablas se indican los valores resultantes de estas proposiciones
compuestas para todas las combinaciones posibles de valores de verdad de las proposiciones compuestas.
EJEMPLO: La tabla de verdad de la proposición compuesta siguiente ∼ p  q  r  p es:

Solución: n  3  23  8 combinaciones

p q r ~p ~p  q r  p (~ p  q) → ( r  p)
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F

6.1. Clasificación de fórmulas PROPOSICIONALES.- Se clasifican en tautología, contradicción (antitautología)

y
contingencia.
1. TAUTOLOGÍA.- Son aquellos fórmulas cuya columna del operador principal es siempre VERDADERO
cualquiera que sean los valores de verdad de las proposiciones compuestas.
2. CONTRADICCIÓN.- Son aquellas fórmulas cuya columna de verdad de su operador principal es
siempre FALSO cualquiera que sean los valores de verdad de las proposiciones compuestos.
3. CONTINGENCIA.- Son aquellas fórmulas que no son ni tautología ni contradicción, es decir que su
operador principal contiene valores de VERDAD y de FALSEDAD. (Por lo menos uno de V o por lo
menos uno de F).

4 Lic. Freddy Sumi Aguilar

 Matemática

EJEMPLOS: Tablas de verdad de las proposiciones y su clasificación:

1. (~ q → ~ p)  (pq) 2. [ p q ]  [(~ p)  (~ q ) 3. ( ~p ~q)
P q ~q → ~p  p↔q p q pq  ~p V ~q p q ~p  ~q
V V F V F V V V V V F F F F V V F F F
V F V F F V F V F F F F V V V F F F V
F V F V V V V F V F F V V F F V V F F
F F V V v v V f F F F V V V F F V V V
Tautología Contradicción contingencia

7. FÓRMULAS LÓGICAMENTE EQUIVALENTES.- Dos fórmulas son lógicamente equivalentes cuando los
valores de verdad de sus operadores son equivalentes, se denota "" se lee "equivalente".

1) IMPLICACIÓN.- Si la condicional p  q es tautología, entonces, se llama implicación y se simboliza por

p  q (se lee " p implica q" ).
2) DOBLE IMPLICACIÓN.- Cuando dos "fórmulas equivalentes" se les une por el conectivo de doble
implicación "" es pq es decir (p q)  (q p); la unión siempre da una tautología.

EJEMPLOS:
Probar con tabla la equivalencia lógica entre  y .
a)  b)   
Si  = (pq)  (qr),  = (pr) Si  = p (qr),  = (pq) (pr)

(pq)
p q v pq qr pr   p q r qr p (qr) pq pr (pq) (pr) 
(qr)
V V V V V V V V V V V V V V V V V
V V F V F F F V V V F V V V F V V
V F V F V F V V V F V V V F V V V
V F F F V F F V V F F F F F F F V
F V V V V V V V F V V V F F F F V
F V F V F F V V F V F V F F F F V
F F V V V V V V F F V V F F F F V
F F F V V V V V F F F F F F F F V

Luego  y  son equivalentes. Luego  y  son equivalentes.

7.1. IMPLICACIONES ASOCIADAS.- Dada la implicación p  q, que se denomina directa, en conexión con
ella, se presentan otros tres, obtenemos por permutaciones o negaciones del antecedente y consecuente.

Implicación: p  q reciproca: qp

Contraria: ~p  ~ q Contra recíproca: ~ q  ~ p

Las cuatro implicaciones propuestas se llaman conjugadas y cualquiera de ellas puede formarse como directa. El
siguiente esquema nos proporciona la relación que los vincula:

p q Recíprocas q p
Contra Recíprocas
Contrarios

Contrarios

Contra Recíprocas

~p  ~q Recíprocas ~q  ~p

5 Lic. Freddy Sumi Aguilar

 Matemática

7.2. LEYES LÓGICAS (O TAUTOLOGÍAS).- En el cálculo proposicional se utilizan las siguientes leyes o
tautologías cuyas demostraciones se reducen a la confección de las correspondientes tablas de verdad.

1. Adición ppq qpq

2. Simplificacion pqp pqq
3. Idempotentes ppp ppp
4. Asociativas (p q)  r  p v (q  r) (p q)  r  p(q r); (p  q)  r  p  (q  r)
5. Conmutativas pq qp p  q  q  p; p  q  q  p
6. Distributivas p  (q  r)  (p v q)  (p  r) p  (q  r)  (p  q)  (p  r)
p  (q  r)  (pq)  (pr) p(q  r)  (pq)  (pr)
7. Identidad pvF p ; pV=V pV= p ; pFF
(Elemento neutro) (Condición de tautología) (elemento neutro) (condición de antitautologia)
8. Complementacion. p  ~p  v ; ~ (~p)  p p  ~p = F
(condición de negación) (tautología) (doble negación) (contradicción)
9. Leyes de Morgan. ~ (p  q)  ~p  ~q ; ~ (p  q)  ~p  ~q
10. Bicondicional. p  q  (p q)  (qp) p  q  (p  q)  (~p  ~q)
11. Condicional p  q  ~p  q ~(pq)  p  ~q ; pq  ~ (p  ~q)
12. Absorcion p  (p  q)  p p  (~p v q)  p  q
p  (p  q)  p p  (~p  q)  p v q

NOTA. Todas estas fórmulas logicamente equivalentes pueden ser demostradas haciendo la correspondiente tabla
de verdad. Si se llega a una tautología, la equivalencia queda demostrada.
8. SIMPLIFICACION DE FÓRMULAS PROPOSICIONALES.- Resulta conveniente, si ello es posible,
reducir proposiciones compuestas a su expresion más sencilla. Para ello utilizaremos las leyes de equivalenciaso
tautológicas.

EJEMPLOS: Simplifica justificando cada paso:

1. (p  q)  (~p  q) 2. (~p  q)  (q  p)
 (q  p)  (q  ~p) Conmutativa  ~(~p  q)  (q  p) Condicional
 q  (p  ~p) Distributiva  (p  ~q)  (~q  p) L. De morgan y condicional
qV Idempotencia (T)  (p  ~q)  (p ~q) Commutativa
q Elemento neutro  p  ~q Idempotencia

9. RAZONAMIENTO DEDUCTIVO VÁLIDO O INFERENCIA LÓGICA.-

9.1. INFERENCIA.- En matemática interesa el tipo de razonamiento llamado deductivo. Un razonamiento es
deductivo si y sólo si las premisas son evidencia de la verdad de la conclusión, es decir, si P1, P2, P3........Pn son
verdaderas entonces la conclusión Q es verdadera; cuando se deduce esto afirmamos que se ha construido una
inferencia.

Una inferencia o razonamiento deductivo es valido cuando la conjunción del conjunto de premisas implica la
conclusión, es decir si: ( p1 p2 p3  ....  Pn )  Q es una tautología.

9.2. REGLAS DE INFERENCIA O IMPLICACIONES LÓGICAS.-

p
1. Adición: ò p  (p q)
pq
pq pq
2. Simplificación: ; ò (p  q)  p ó ( p  q)  q
p q
pq
p
3. Modus ponendo ponens (MPP): ò [(p  q)  p) q
q
(afirmando  afirma) pq
~q
4. Modus tollendo tollens (MTT): ó {(pq)  ~q]  ~p
~p
(negando  niega)

6 Lic. Freddy Sumi Aguilar

 Matemática
pq
5. Modus tollendo ponens (MTP) ~ p ó [(p  q)  ~p] q
q
(negando  afirma)
pq
qr
6. Silogismo Hipotético ó [(p q)  (q r)]  (p r)
pr
(o ley de la transitividad)
p
q
7. Conjunción. ó (p  q)  (p  q)
pq
pq pq
~p ~q
8. Silogismo Disyuntivo (SD) ó
q p
pq
rs
pr
9. Dilema constructivo (DC) ó [(pq)  (r s)  (p  r)]  (q  s)
qs
p  q
r  s
10. Dilema destructivo (DD) ~ q ~ s ó [(pq)  (r s)  (~q  ~s)]  (~p  ~s)
~ p ~ r
9.3. REGLA DE LAS PREMISAS.- La regla de las premisas nos afirma: "En cualquier punto de la deducción se
puede introducir una proposición.

EJEMPLOS:
Demuestra los siguientes razonamientos usando las reglas de inferencia y las leyes lógicas.
1.- Demostrar: r 2.- Demostrar ~(pr)  ~p v~r
1. p  r 1. ~t  (~p  ~r)
2. q  p 2. s  q
3. q 3. (s  q) ~t
4. p MP 2 y 3 4. ~t MP (2-3)
5. r MP 1 y 4 5. ~p  ~r MP(1-4)
6. ~(p  r) Ley de Morgan 5
10. FUNCIONES PROPOSICIONALES.- Una función proposicional es una proposición en la cual aparecen una
o más variables y que se convierte en proposición cuando reemplazamos las variables por algún elemento del
conjunto referencia.

A las funciones proposionales las representamos por p(x), q(x), r (x), etc.
Cuando la variable "x" se reemplaza por una constante, la "Función Proposicional" se transforma en una
PROPOSICION.

EJEMPLOS:
1. Si p(x): x2 + x >3 ; es una función proposicional 2. P(x): x + 2 = 0 ; x {1, -1, 2, -2}
para x= 3; P(3) =32 + 3 >3 ; es una proposición P(1)= 1 + 2 = 3 F
cuyo valor de verdad es "v" P(-1)= -1 + 2 = 1 F El conjunto de
P(2)= 2 + 2 = 4 F validez es V(p) = {-2}
P(-2)= -2 + 2 = 0 V

Existe una segunda forma de transformar funciones proposicionales en proposiciones y es el de la cuantificación

10.1 CUANTIFICADORES.- Es un símbolo lógico que permite transformar una "proposición abierta" o "función
proposicional" en una "proposición cerrada". Los cuantificadores son de dos clases: universal y existencial.

1. CUANTIFICADOR UNIVERSAL "".- Es aquel símbolo cuya función es afirmar que se cumplan
"todas" las proposiciones concretas que se dan en una proposición abierta, se denota:
 x, p(x), "para todo x, se verifica p(x)"
7 Lic. Freddy Sumi Aguilar
 Matemática

2. CUANTIFICADOR EXISTENCIAL "".- Es el símbolo cuya función es afirmar que una proposición
concreta se cumple por lo menos para un valor de la proposición abierta, se denota:
 x / p( x) , "existe un x, tal que se verifica p(x)"

10.2. NEGACIÓN DE CUANTIFICADORES.- Las proposiciones cuantificadas x, p(x) ; x / p(x) se puede
Negar:

1. La negación del cuantificador universal equivale a la afirmación de un cuantificador existencial, con la

función proposicional negada, así:

~[x , p(x)]  [x / ~p( x)]

2. La negación de un cuantificador existencial equivale a la afirmación de un cuantificador universal con la

función negada, así:

~[x / p(x)]  [x , ~p( x)]

EJEMPLOS:

Indique la verdad o falsedad de cada proposición cuantificada:

1. (x  N) / (x+ 5 = 2) F
2. (x  R+,  y R /(x+ y >0) F
3. Sea A ={2, 4, 6} ; p(x) : x2 - 1 = 3
x  A , x2 - 1 = 3 F no cumple para todos
4. Negar los siguientes cuantificadores:
a) ~[x  Z , x+ 4 < 0 ]  x  Z / ~(x+4) < 0
b) ~[x  N / x > 3]  x  N , ~(x > 3)

8 Lic. Freddy Sumi Aguilar