Вы находитесь на странице: 1из 3

Lgica

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

PROPOSICIN b) A dnde? :no es afirmacin


Llamaremos de esta forma a por lo tanto no es una prop-
cualquier afirmacin que sea osicin
verdadera o falsa, pero no am-
3
MOD

bas cosas a la vez. c) Compra diez tomates :no es


afirmacin por lo tanto no es
una proposicin
d) q = 20 :a pesar de que es verdadera o falsa
una afirmacin, no es una c) r: Presione intro para abrir a
proposicin ya que ser ver- la aplicacin :no es una prop-
dadera o falsa dependien- osicin ya que no es verdade-
do de los valores que pueda ra ni falsa, es una instruccin
tomar q
PROPOSICIN
VALOR DE COMPUESTA
VERDAD
Si las proposiciones simples
Llamaremos valor verdadero o p1, p2, . . . , pn se combinan
de verdad de una proposicin para formar la proposicin P,
a su veracidad o falsedad. El diremos que P es una prop-
valor de verdad de una prop- osicin compuesta de p1, p2,
osicin verdadera es verdad y . . . , pn.
el de una proposicin falsa es
falso. EJEMPLO
Guatemala es el pas donde
EJEMPLO nac y mi perro se llama Ber-
Identificar cules de las sigui- nard: Es una proposicin
entes afirmaciones son prop- compuesta por las proposi-
osiciones y determinar el valor ciones Guatemala es el pas
de verdad de aquellas que lo donde nac y Mi perro se lla-
sean: ma Bernard.

a) p: Guatemala es un pas de NOTA


Centro Amrica: s es prop- La propiedad fundamental de
osicin y su valor de verdad es una proposicin compuesta es
Verdadero que su valor de verdad est
completamente determinado
b) q: La tierra es el nico pla- por los valores de verdad de
neta del Universo que tiene las proposiciones que la com-
vida :no sabemos si q es una ponen junto con la forma en
proposicin ya que descon- que estn conectadas.
ocemos si esta afirmacin es
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