Documentos de Académico
Documentos de Profesional
Documentos de Cultura
matemtica
Es la disciplina que trata de
mtodos de razonamiento. Ejemplo:
En un nivel Elemental, la a) Guatemala es un pas de
lgica proporciona reglas y Centro Amrica
tcnicas para determinar si
es o no vlido un argumento b) 15 es un nmero primo
dado. El razonamiento lgico
se emplea en Matemticas c) 2/2 = 2
para demostrar teoremas,
sin embargo, se usa en d) Francia es un pas de Euro-
forma constante para realizar pa, pero Japn no lo es
cualquier actividad en la vida.
NOTACIN
PROPOSICIONES Por costumbre a las proposi-
ciones las denotaremos medi-
Y TABLAS DE ante las letras: p, q, r,
VERDAD
LGICA APLICADA A LA INFORMTICA
EJEMPLO:
En el desarrollo de cualquier Las siguientes no son proposi-
teora matemtica se hacen ciones
afirmaciones en forma de
frases y que tienen un senti- a) w y > 4 :a pesar de que
do pleno. Tales afirmaciones, es una afirmacin, no es una
verbales o escritas, las denom- proposicin ya que ser ver-
inaremos enunciados o prop- dadera o falsa dependiendo
osiciones. de los valores de w e y
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