Lgica
matemtica
Es la disciplina que trata de
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,
sin embargo, se usa en
forma constante para realizar
cualquier actividad en la vida.
PROPOSICIONES
Y TABLAS DE
VERDAD
LGICA APLICADA A LA INFORMTICA
En el desarrollo de cualquier
teora matemtica se hacen
afirmaciones en forma de
frases y que tienen un senti-
do pleno. Tales afirmaciones,
verbales o escritas, las denom-
inaremos enunciados o prop-
osiciones.
PROPOSICIN
Llamaremos de esta forma a
cualquier afirmacin que sea
verdadera o falsa, pero no am-
3
MOD
bas cosas a la vez.
Ejemplo:
a) Guatemala es un pas de
Centro Amrica
b) 15 es un nmero primo
c) 2/2 = 2
d) Francia es un pas de Euro-
pa, pero Japn no lo es
NOTACIN
Por costumbre a las proposi-
ciones las denotaremos medi-
ante las letras: p, q, r,
EJEMPLO:
Las siguientes no son proposi-
ciones
a) w y > 4 :a pesar de que
es una afirmacin, no es una
proposicin ya que ser ver-
dadera o falsa dependiendo
de los valores de w e y
b) A dnde? :no es afirmacin
por lo tanto no es una prop-
osicin
c) Compra diez tomates :no es
afirmacin por lo tanto no es
una proposicin
d) q = 20 :a pesar de que es
una afirmacin, no es una
proposicin ya que ser ver-
dadera o falsa dependien-
do de los valores que pueda
tomar q
VALOR DE
VERDAD
Llamaremos valor verdadero o
de verdad de una proposicin
a su veracidad o falsedad. El
valor de verdad de una prop-
osicin verdadera es verdad y
el de una proposicin falsa es
falso.
EJEMPLO
Identificar cules de las sigui-
entes afirmaciones son prop-
osiciones y determinar el valor
de verdad de aquellas que lo
sean:
a) p: Guatemala es un pas de
Centro Amrica: s es prop-
osicin y su valor de verdad es
Verdadero
b) q: La tierra es el nico pla-
neta del Universo que tiene
vida :no sabemos si q es una
proposicin ya que descon-
ocemos si esta afirmacin es
verdadera o falsa
c) r: Presione intro para abrir a
la aplicacin :no es una prop-
osicin ya que no es verdade-
ra ni falsa, es una instruccin
PROPOSICIN
COMPUESTA
Si las proposiciones simples
p1, p2, . . . , pn se combinan
para formar la proposicin P,
diremos que P es una prop-
osicin compuesta de p1, p2,
. . . , pn.
EJEMPLO
Guatemala es el pas donde
nac y mi perro se llama Ber-
nard: Es una proposicin
compuesta por las proposi-
ciones Guatemala es el pas
donde nac y Mi perro se lla-
ma Bernard.
NOTA
La propiedad fundamental de
una proposicin compuesta es
que su valor de verdad est
completamente determinado
por los valores de verdad de
las proposiciones que la com-
ponen junto con la forma en
que estn conectadas.
VARIABLES DE
ENUNCIADO
Es una proposicin arbitraria
con un valor de verdad no es-
pecificado, es decir, puede ser
verdad o falsa.

TABLAS DE
VERDAD
La tabla de verdad de una
proposicin compuesta P enu-
mera todas las posibles com-
binaciones de los valores de
verdad para las proposiciones
p1, p2,,pn

EJEMPLO
Si P es una proposicin com-
puesta por las proposiciones
simples p1, p2 y p3 entonces la
tabla de verdad de P deber
recoger los siguientes valores
de verdad:

p1 p2 p3
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F