Qu es la lgica?

La definicin del Diccionario General de la Lengua Espaola dice:

Disciplina que estudia los principios formales del conocimiento humano, es decir, las
formas y las leyes ms generales del pensamiento humano considerado puramente
en s mismo, sin referencia a los objetos. Los problemas principales de la lgica son
las doctrinas del concepto, del juicio, del silogismo y del mtodo.

La ciencia que se basa en las leyes, modalidades y formas del conocimiento cientfico
se conoce bajo el nombre de lgica. Se trata de una ciencia de carcter formal que
carece de contenido ya que hace foco en el estudio de las alternativas vlidas de
inferencia. Es decir, propone estudiar los mtodos y los principios adecuados para
identificar al razonamiento correcto frente al que no lo es.

La lgica matemtica

Se caracteriza por emplear un lenguaje simblico artificial y realizar una abstraccin
de los contenidos.
Existen otros tipos o clases de lgica, como la llamada lgica binaria, la cual trabaja
con variables que slo toman dos valores discretos.
La lgica matemtica es el intento de dar una forma universal al pensamiento,
expresndolo por un sistema unvoco de signos (estos quiere decir, un sistema en el
que cada signo tenga un solo significado en un mismo contexto), con un sistema de
relaciones entre esos signos comparable al clculo matemtico, para alcanzar as
todas las verdades.
La lgica matemtica pretende hacer que todas las relaciones reales se vuelvan
formales; pretende reducirlas a una expresin matemtica que pueda ser
calculada como en las matemticas.
Por esa razn es que se le llama tambin lgebra de la lgica.

PROPOSICIONES
PROPOSICIN: Una proposicin es una unidad semntica que, o slo es verdadera o
slo es falsa. Por esta razn, las oraciones que no son falsas ni verdaderas, las que
son falsas y verdaderas al mismo tiempo, o las que carecen de sentido (o presentan
algn tipo de imprecisin) no son consideradas proposiciones. Se simbolizan con las
primeras letras del alfabeto espaol, en minscula.
VALOR DE VERDAD: Es la cualidad de veracidad que describe apropiadamente a una
proposicin; esta puede ser verdadera o falsa.
TABLA DE VERDAD: Es una representacin de los posibles valores de verdad que
podra tomar una proposicin.

Ejercicios Resueltos

1. Indique si cada enunciado es o no una proposicin.
a) 7415 es un nmero par.
b) Qu hora es?
c) Los nmeros divisibles para 8 son divisibles para 2.
d) Pare por favor!
e) El atardecer en la playa es romntico.
f) La edad de Gloria es 17 aos.
g) Guayaquil es la capital econmica del Ecuador.
h) Galpagos es considerado Patrimonio Cultural de la Humanidad.
i) Mi familia y yo viajaremos a la Sierra en fin de ao.

SOLUCIN
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.

a) Este literal no es una proposicin puesto que a una oracin interrogativa no se le
puede determinar un valor de verdad.
b) Este literal si es una proposicin puesto que el enunciado es VERDADERO.
c) Este literal no es una proposicin puesto que a una oracin admirativa no se le
puede determinar su valor de verdad.
d) Este literal no es una proposicin puesto que es un enunciado ambiguo, por lo
cual no se puede determinar su valor de verdad.
e) 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.
f) Este literal si es una proposicin puesto que el enunciado es VERDADERO.
g) Este literal si es una proposicin puesto que el enunciado es VERDADERO.
h) Este literal si es una proposicin puesto que el enunciado es impreciso.

2. Indique cul de los siguientes enunciados NO es una proposicin
a) Hubo escasez de lluvias.
b) Mi correo electrnico es turista@espol.edu.ec
c) 5(3+4)=36.
d) 3 es un nmero par
e) Turismo.

SOLUCIN
De las cinco opciones, el enunciado que no es proposicin es el literal e), puesto que
el enunciado carece de sentido como oracin, por lo tanto no se puede determinar
su valor de verdad.
Los literales c) y d) son falsos, y por lo tanto, ambas son proposiciones, pues poseen
un valor de verdad definido.
Los literales a) y b) son oraciones afirmativas que solo pueden poseer un solo valor
de verdad, no son frases ambiguas, por lo cual si son proposiciones.
RESPUESTA: e).

3 .Seleccione el enunciado que NO es proposicin
a) El Ecuador tiene 24 provincias.
b) Las Islas Galpagos pertenecen a Per.
c) La Habana es la capital de Cuba.
d) Viva el Turismo!
e) La montaa ms alta del Ecuador es Chimborazo.

SOLUCIN
Los literales a), c) y e) son oraciones verdaderas por lo que, si son proposiciones.
El literal b) es una oracin falsa, por lo que s es una proposicin.
El literal d) es una oracin exclamativa, por lo que no es una proposicin.
RESPUESTA: d).

4.Dados los siguientes enunciados:
I: Disminuya la velocidad.
II: 10-8=1.
III: Mi banca es gris.
IV: Hola, Cmo ests?
Es verdad que:
a) I y II son proposiciones.
b) I y III son proposiciones.
c) I y IV son proposiciones.
d) II y III son proposiciones.
e) Todas son proposiciones.

SOLUCIN
El enunciado I es una oracin que indica una orden y la II es una oracin
interrogativa, por lo cual ambas no son proposiciones.
El enunciado II es falso por lo cual es una proposicin, mientras el enunciado III es
una oracin afirmativa por lo cual si es una proposicin.
RESPUESTA: d).

5. Determine si los siguientes enunciados son proposiciones.
a) El sabor del color azul es dulce.
b) 314159 es un nmero par.
c) 4 es divisible para 2.
d) Disparen al ladrn.
e) x^2 +2x +1 = 0.
f) 45+18.
g) El amanecer es bello.

SOLUCIN
El literal a) es una oracin ambigua, por lo tanto no es proposicin.
El literal b) es una oracin que es falsa, por lo tanto es una proposicin.
El literal c) es una oracin verdadera, por lo tanto es una proposicin.
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.
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.
El literal f) es un enunciado incompleto, por lo cual no es una proposicin.
El literal g) es un enunciado impreciso, por lo cual no es una proposicin.
POR LO TANTO, los literales b) y c) son proposiciones.

OPERADORES LGICOS
OPERADOR LGICO: Son usados para poder formar proposiciones ms complejas.

NEGACIN (a): Este operador permite cambiar el valor de verdad de las
proposiciones.
Su tabla de verdad es la siguiente:






Los trminos gramaticales ms usados son: NO, NO ES VERDAD, NO ES CIERTO
QUE, NI.

CONJUNCIN (ab ): Este operador solo es VERDADERO cuando las dos
proposiciones son VERDADERAS, en otro caso, es FALSA. Su tabla de verdad es la
siguiente:



a -a
1 0
0 1
a b ab







Los trminos gramaticales ms usados son: Y, PERO, MAS (sin tilde), SIN
EMBARGO y los signos de puntuacin: coma, punto y coma, y punto.

DISYUNCIN (ab): Este operador solo es FALSO cuando las dos proposiciones son
FALSAS, en otro caso, es VERDADERA. Su tabla de verdad es la siguiente:









Los trminos gramaticales ms usados son: O.

DISYUNCIN EXCLUSIVA (ab): Este operador solo es FALSO cuando las dos
proposiciones son FALSAS, en otro caso, es VERDADERA. Su tabla de verdad es la
siguiente:


1 1 1
1 0 0
0 1 0
0 0 0
a b (avb)
1 1 1
1 0 1
0 1 1
0 0 0







Los trminos gramaticales ms usados son: O..., O.

CONDICIONAL (a b): Este operador solo es FALSO cuando la primera proposicin
es verdadera, y la segunda es falsa, en otro caso, es VERDADERA. Su tabla de verdad
es la siguiente:

a b a b
1 1 1
1 0 0
0 1 1
0 0 1



Los trminos gramaticales ms usados son:
Si a, b; Si a, entonces b; a solo si b; a solamente si b; a implica b; los a
son b; cuando a, b; b, si a; b con la condicin de a; b cuando a; b siempre
que a; b cada vez que a; b ya que a; b debido a que a; b puesto que a; b
porque a; se tiene b, si se tiene a; solo si b, a; b, pues a.


a b ab
1 1 1
1 0 1
0 1 1
0 0 0


a b







RECUERDE: La condicin suficiente es la proposicin que se cumpla primero, y luego
de cumplirse esta se da la condicin necesaria.

Proposicin: a b
Reciproca: b a
Inversa: -a -b
Contrarrecproca: -b -a

(a b) = ( -b -a)

La proposicin condicional tiene equivalencia lgica con su contrarrecproca.

BICONDICIONAL (ab): Este operador es VERDADERO cuando las dos
proposiciones son VERDADERAS, y es FALSA cuando las dos proposiciones son
FALSAS. Su tabla de verdad es la siguiente:



Consecuente conclusin tesis
Condicin necesaria
Antecedente hiptesis premisa
Condicin suficiente









Los trminos gramaticales ms usados son: a si y solo si b, a si y solamente si b,
a implica b y b implica a, a cundo y solo cuando b.

Linkografa:
http://web.ing.puc.cl/~jabaier/iic2212/introlp.pdf
http://definicion.de/logica/
http://www.aulafacil.com/cursos/l8572/arte-
humanidades/filosofia/filosofia-facil/logica-matematica-generalidades
http://www.iap-
ec.com/uploads/archivos/0d908309f73b213a722d7bcac4e9ab05.pdf










a b ab
1 1 1
1 0 0
0 1 0
0 0 1


UNIVERSIDAD TCNICA DE AMBATO



FACULTAD DE CONTABILIDAD Y AUDITORA

ING. FINANCIERA

MATEMTICAS

LGICA MATEMTICA

NTHALY DOMNGUEZ

AMBATO