Lgica M atem tica

U niversidad Cooperativa de Colom bia

La palabra lgica se deriva de la
palabra griega logos que significa
razonamiento o discurso.
 LN EA D EL TIEM PO
Fue Aristteles (384-322 A.C) el primero en lograr una
sistematizacin de la LOGICA.
Leibniz utiliz los smbolos matemticos en su estudio y
lo desarrollo como un instrumento de la matemtica.
En el siglo XIX George Boole realiza un estudio ms
amplio sobre lgica simblica.
En el siglo XX, con su obra Principia Mathematica,
Bertrand Rusell (17872-1970) y Alfred North Whitehead
(1861-1947)establecen los conceptos lgicos
 i st e
o n s
c d e
i c a i c o
m t
m t
n de
a te mate aci de
a m io p l ic e a s
g ic stud l a a
s r l as
L el e y en otra d e v e l
i
en gica, dio a y n a
l s tu i c a u n g ic
la o e m t L n a
h e En la i o
dic mat p o rc ra
a s. p r o p a
l c ia , s u n
e n a l a o
ci e nt ica c n ic
v a l id
l e m t t o
e tem y o n
s
ma as r s i e
.
g l i n a d o
re rm to da
e
det men
r g u
a
La lgica
proposicional es una
parte de la lgica que
tiene como objeto el
estudio de las
proposiciones y la
relacin existente
entre ellas, as como la
funcin que tienen las
variables
proposicionales y los
conectores lgicos.
 PRO PO SICI N L G ICA
Es una afi rm acin que puede ser falsa o verdadera, pero no
am bas a la vez; La proposicin es un elem ento fundam ental de
la Lgica M atem tica, y se denotan con letras m insculas com o:
p , q , r, s, etc. O con letras con subndice com o p 1,p 2 ;p 3 ,etc.

Ejemplos.
p: Colombia es un pas europeo Falso
q: 15-5 = 10 -> Verdadero

No son proposiciones:
Qu hora es?
x+5=12
La expresin x+5=12 slo es una proposicin cuando se le
asigna un valor a la variable x.
N ota: U na proposicin es una oracin pero no toda oracin es una proposicin.
N o son proposiciones aquellos enunciados a los que no se les puede asignar un valor de
verdad. Entre ellos estn los enunciados exclam ativos, in terrog ativos o im p erativos.

Ejemplos: - Que viva Colombia! ->

Exclamativa
- Cmo ests? ->
Interrogativa
- Prohibido botar basura! ->
 VALO R D E VERD AD

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 (tablas de certeza).