1

LGICA MATMATICA
La lgica matemtica es la disciplina que trata mtodos de razonamiento. En un nivel elemental, la
lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El
razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la
computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales,
para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para
resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento
lgico para realizar cualquier actividad.
PROPOSICIN
- Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f).
Simples
o La ballena es roja.
o La raz cuadrada de 16 es 4.
o Gustavo es alto.
o Teresa va a la escuela
Compuestas
o Teresa va a la escuela o Mara es inteligente.
o 4 es menor que 8 o 6 es mayor que 10.
o El 1 es el primer nmero primo y es mayor que cero.
o El 7 es mayor que 5 y 7 es menor que 10.
o Si Yolanda es estudiosa entonces pasar el examen.
o Si corro rpido entonces llegar temprano.
o Terminar rpido si y slo si me doy prisa.
o Aprender Matemticas si y slo si estudio mucho.
- Si no puede concluir que es verdadero o falso no es proposicin.
- Es cualquier agrupacin de palabras o smbolos que tengan sentido y de la que en un
momento determinado se pueda asegurar si es verdadera o falsa.
- La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad.
Las proposiciones se denotan con letras minsculas. Ejemplos: p, q, r, a, b.
2

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica por
qu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra
minscula, dos puntos y la proposicin propiamente dicha. Ejemplo.
p: La tierra es plana.
q: -17 + 38 = 21
r: x > y-9
s: El Morelia ser campen en la presente temporada de Fut-Bol.
t: Hola cmo ests?
w: Lava el coche por favor.
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son
proposiciones vlidas. El inciso r tambin es una proposicin valida, aunque el valor de falso o
verdadero depende del valor asignado a las variables x y y en determinado momento. La
proposicin del inciso s tambin est perfectamente expresada aunque para decir si es falsa o
verdadera se tendra que esperar a que terminara la temporada de ftbol. Sin embargo los
enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de
ellos es un saludo y el otro es una orden.
Tarea:
Indique si cada enunciado es o no una proposicin
a. 7415 es un nmero par.
Este literal si es una proposicin puesto que el numero 7415 no es un numero
par por lo tanto tiene como valor de verdad el ser FALSA.
b. Qu hora es?
Este literal no es una proposicin puesto que a una oracin interrogativa no se
le puede determinar un valor de verdad.
c. Los nmeros divisibles para 8 son divisibles para 2.
Este literal si es una proposicin puesto que el enunciado es VERDADERO.
d. Pare por favor!
Este literal no es una proposicin puesto que a una oracin admirativa no se le
puede determinar su valor de verdad.
e. El atardecer en la playa es romntico.
Este literal no es una proposicin puesto que es un enunciado ambiguo, por lo
cual no se puede determinar su valor de verdad.
3

f. La edad de Gloria es 17 aos.
Este literal si es una proposicin puesto que el enunciado es tiene un solo valor
de verdad, o es verdadero o es falso para Gloria.

g. Guayaquil es la capital econmica del Ecuador.
Este literal si es una proposicin puesto que el enunciado es VERDADERO.

h. Galpagos es considerado Patrimonio Cultural de la Humanidad.
Este literal si es una proposicin puesto que el enunciado es VERDADERO.

i. Mi familia y yo viajaremos a la Sierra en fin de ao.
Este literal si es una proposicin puesto que el enunciado es impreciso.
Indique cul de los siguientes enunciados NO es una proposicin
a. Hubo escasez de lluvias. Proposicin Falsa o Verdadero
b. Mi correo electrnico es lajane2020@gmail.com Proposicin Falsa o
Verdadero
c. 5(3+4)=36. Proposicin Falsa (Valor de Verdad)
d. 3 es un nmero par. Proposicin Falsa
e. Turismo. No es proposicin
Determine si los siguientes enunciados son proposiciones
a. El sabor del color azul es dulce.
El literal a) es una oracin ambigua, por lo tanto no es proposicin.
b. 314159 es un nmero par.
El literal b) es una oracin que es falsa, por lo tanto es una proposicin.
c. 4 es divisible para 2.
El literal c) es una oracin verdadera, por lo tanto es una proposicin.
d. Disparen al ladrn.
El literal d) es una oracin que indica una orden, la cual no tiene un valor de
verdad, por lo tanto no es una proposicin.
e. __ + 2_ + 1 = 0.
El literal e) es una oracin en la cual no se precisa el valor de x, por lo cual no se
precisa el valor de verdad, por lo tanto no es una proposicin.
4

f. 45+18.
El literal f) es un enunciado incompleto, por lo cual no es una proposicin.
g. El amanecer es bello.
El literal g) es un enunciado impreciso, por lo cual no es una proposicin.
POR LO TANTO, los literales b) y c) son proposiciones.
Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se denotar
por la letra V o el 1 y si es falsa se denotar por F o por el 0. Si no se puede
determinar su valor de verdad, se podr analizar los posibles valores de verdad.
CLASES DE PROPOSICIONES
Existen dos clases de proposiciones:
- PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas. Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
Carlos Fuentes es un escritor.
- PROPOSICIONES COMPUESTAS: tambin denominadas moleculares. Son aquellas que estn
formadas por dos o ms proposiciones simples unidas por los operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.
El 2 es divisor de 48 o el 3 es divisor de 48.
Si x es nmero primo, entonces x impar.
Si x > 10, entonces 2x - 3 > 16.
CONECTIVOS (OPERADORES) LOGICOS
Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones
simples; estos son:
5

Nombre
de la
Lgica
Notacin
Definicin
Ejemplo
de uso
Significa
do
Ejemplo de uso
en
el lenguaje
natural
Tabla de verdad
Negacin

Su funcin es
negar la
proposicin..
Al negar una
proposicin
simple, se
transforma en
una
proposicin
compuesta

no
Patricio no est
estudiando en la
sala
No est lloviendo.

Conjuncin

Se utiliza
para conectar
dos
proposiciones
que se deben
cumplir para
que se pueda
obtener un
resultado
verdadero.

Y
Est lloviendo y la
calle est mojada.
El coche se
enciende cuando
tiene gasolina en
el tanque y tiene
corriente la
batera

Disyuncin

El enunciado
es verdadero
cuando
alguna de las
proposiciones
es verdadera
o ambas son

O
Una persona
puede entrar al
cine si compra su
boleto u obtiene
un pase
Est lloviendo o la

6

verdaderas calle est mojada.
Condiciona
l material

Una
proposicin
condicional,
es aquella que
est formada
por dos
proposiciones
simples o
compuesta p y
q

si...
entonces
Si est
lloviendo, entonce
s la calle est
mojada.

Bicondicion
al

Un candidato
a presidente
del Ecuador
dice: Si salgo
electo
presidente de
la Rep-blica
del Ecuador,
entonces
recibirn un
50% de
aumento en
su sueldo el
prximo ao

si y solo
si
5+7=12 8- 5 = 4
Est lloviendo si y
solo si la calle
est mojada.






7

Conjuncin: Ejemplo
p q r valor
Es viernes Empieza el fin de semana
Es viernes y empieza el fin de
semana
Verdad
Mi perro tiene
hambre
Mi perro quiere comer
Mi perro tiene hambre y quiere
comer
Verdad
Voy al mar
Podre ver los arboles del
bosque
Voy al mar y podre ver los
arboles del bosque
Falso
Soy alto Maana es mi cumpleaos
Soy alto y maana es mi
cumpleaos
No se le
puede dar
un valor
La puerta est vieja y oxidada.
Hace fro y est nevando.
Est lloviendo y es de noche.
Tiene gasolina y tiene corriente

Disyuncin: Ejemplo
Est lloviendo o es de noche.
Est feliz o est enojado.
Est caminando o est lloviendo.
Hay derivadas o hay integrales.
8

Negacin: Ejemplo
No est lloviendo.
La seora no ceno.
Es falso que 52=12.
Es falso que Alemania se encuentra en Europa.
Condicional: Ejemplo
Si est dormido entonces est soando.
Si quiere comer entonces tiene hambre.
Si Londres est en Inglaterra entonces Pars est en Francia.
Si hay gasolina en mi tanque entonces mi automvil funciona.
Bicondicional: Ejemplo
Esta completo si y solo si tienes todas las actividades.
Saldrs si y solo si acabaste tu tarea.
Est lloviendo si y solo si est nublado.
3+2=5 si y solo si 4+4=8
Ejercicios: Sean p, q y r proposiciones, tales que: p es V , q es V , r es F. Determine el valor de
verdad de las siguientes proposiciones:
a) (p q) (p q) =>Verdad
b) (p q) ( p r) =>Falso
c) (r q) (q p) => Falso
d) ( p r) (q r)=>Verdad

9

Sean p, q y r proposiciones, tales que: p es V , q es F , r es V.
Determine el valor de verdad de las siguientes proposiciones:
a) [( p q) (q r)] ( p r) =>Verdad
b) (p r) (q r) =>Verdad
c) (p q) (r p) =>Verdad
d) ( p r) (q r)=>Verdad
Construir la tabla de verdad para las siguientes proposiciones compuestas:
a) (p q) (p q)
b) (p q) (p q)
c) ( p r) (q r)



10

NEGACIN DE PROPOSICIONES COMPUESTAS:
Se puede tambin utilizar otras formas de negar como: no es el caso que; no es cierto
que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan proposiciones
compuestas)
No es el caso que: 3 < 2 y 4 + 1 = 5; simblicamente tenemos: ( p .q )
No es cierto que: 3 < 2 y 4 + 1 = 5; simblicamente tenemos: ( p .q )
p: 3 < 2 V (p) = F
q: 4 + 1 = 5 V (q) = V
Consecuentemente:
V ( p . q ) = V

VARIANTES DE LA CONDICIONAL
A toda proposicin condicional se le asocia tres proposiciones igualmente importantes,
que son: proposicin recproca, inversa y contra recproca.
Proposicin recproca.- Dada la proposicin condicional p q , se llama proposicin
recproca a la proposicin que se denota por: q p
Ejemplo:
Si y es par, entonces, y es mltiplo de 2; simblicamente: p q. Condicional
Si y es mltiplo de 2, entonces, y es par; simblicamente: p q. Su recproca:
Si b es perpendicular a c, entonces c es perpendicular a b.
La proposicin anterior simblicamente la denotamos por p q; mientras que la
proposicin recproca ser: q p.
c es perpendicular a b, si b es perpendicular a c.

Proposicin inversa. - Dada la proposicin condicional p q , se llama proposicin
inversa a la proposicin que se denota por: p q.
Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente tenemos:
p q
La proposicin inversa ser: " p q, ser:
11

Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos:
" p q

Proposicin contra recproca.- Dada la proposicin condicional: p q, se denomina
proposicin contra recproca a la que se denota por: q p.
Ejemplo:
Si vivo en Cariamanga, vivo en la provincia de Loja; simblicamente: p q
La proposicin contra recproca ser : No vivo en la provincia de Loja, si no vivo en
Cariamanga ; simblicamente: q p
En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q;
determine su valor de verdad. A continuacin, escribir la recproca y la contrarecproca y
determinar la verdad o falsedad de cada una.
a) Las lechugas son verduras
b) Slo las rectas paralelas no se cortan
c) Slo las rectas perpendiculares forman ngulos rectos.
d) Un tringulo equiltero tiene tres lados iguales
e) Si a es mayor que b entonces b es mayor que a
f) Los tringulos issceles son equilteros
g) Un hombre natural de Zapotillo es natural de Loja
h) Si x = 4 entonces x
2
= 16
i) Ningn profesor de idiomas tiene mala ortografa
j) Toda persona mayor de 18 aos puede votar.

SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O
CONECTIVOS LGICOS
Los signos de agrupacin ms conocidos tenemos: el parntesis, corchete y llaves
( ); [ ] ; {}
Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y como
(;), y los dos puntos (:).
Los signos de agrupacin se usan en lgica cuando se trata de obtener esquemas lgicos
ms complejos con el fin de evitar la ambigedad de las frmulas:
1. Si las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe
colocar los parntesis de izquierda a derecha as:
p . q v r = (p . q) v r
p . q v r v s = [(p . q) v r ] v s
12

p q r s = [(p q) r] s
2. Si no hay signos de puntuacin ni parntesis se debe considerar el siguiente orden de
menor a mayor jerarqua de los operadores y de izquierda a derecha, para ubicar los
parntesis.

v . , , , ,

Ejemplos:
p . q r = (p . q) r
p . q r v s = (p . q) (r v s )
p q r . s = (p q) (r . s)
CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES
- TAUTOLOGA: Cuando una proposicin compuesta es verdadera para todos los valores de
verdad.
(p . q) (p q)
P q ( p . q ) ( p q )
V
V
F
F
V
F
V
F
V
V
F
F
V
F
F
F
V
F
V
F
V
V
V
V
V
V
F
F
V
F
F
V
V
F
V
F

- CONTRADICCIN: Cuando una proposicin compuesta es falsa para todos los valores de
verdad.
- CONTINGENCIA: Proposicin que puede ser falsa o verdadera dependiendo de los valores de
verdad. Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo:
dado el siguiente esquema: ( p . q) (p r)
p q r ( p . q ) ( p r )
V
V
V
V
V
F
V
F
V
F
F
F
F
F
F
V
V
F
V
F
V
V
V



F
V
F
F
V
F
13

V
F
F
F
F
F
V
V
F
F
F
V
F
V
F
F
V
V
V
V
F
V
V
F
F

F
V
V
F
F
V
F
V
V
F
F

V
F
F
F
F





V
V
V
V
V

V
F
V
F
V


Ejemplos:

EJERCICIOS
Comprobar por medio de una tabla de verdad que las siguientes esquemas compuestas
son tautologas, contingentes o contradictorios
1. p v p
2. (p v q) ( q v p)
3. |( p q ) . ( q r )] ( p r)
4. [p . ( p q )| q
( p q) ( q p)

14

INFERENCIA LGICA
IMPLICACIONES LGICAS
Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin
Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la condicional
nos da una tautologa. Simblicamente se lo representa as: A B.
Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se
deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A.
Ejemplo: Demostrar que el esquema A implica a B
A: p . q
B: p v q
Luego unimos con la condicional y construimos la tabla:
p . q p v q
p q p . q p v q
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
V
V
V
V
F

Como el resultado es una tautologa, se ha demostrado que A implica a B.
Nota: la relacin de implicacin no es recproca.

Equivalencias lgicas
Proposicin equivalente: Cuando todos los valores son siempre verdadero o falso.
Ejemplo:
15



Dos proposiciones S1 y S2 son lgicamente equivalentes (se escribe S1S2) cuando la proposicin
S1 es verdadera (respectivamente falsa) si y solo si la proposicin S2 es verdadera
(respectivamente falsa).









16

LEYES DE LA LGICA PROPOSICIONAL









17

https://es.scribd.com/doc/37711859/Ejercicios-Resueltos-de-L-Gica
http://www.monografias.com/trabajos4/logica/logica.shtml