Se busca aplicar a
Matemticas: definicin de objetos matemticos,
definicin de teoras matemticas, tcnicas de
demostracin
Aplicarlo para formalizar diversos aspectos en
el rea de computacin
Aplicaciones de la lgica en la computacin
Lenguajes de programacin: como se
estructura la lgica de un programa
Bases de datos: lenguajes de consulta
Inteligencia artificial: tcnicas para el
razonamiento, deduccin de
conocimiento
Anlisis y diseo de algoritmos: anlisis de
complejidad de los problemas
a)q si p
b)p pero q
c)como mnimo p
d)p no obstante q
e)q necesario para p
f) q suficiente para p
g) p a pesar de q
h)No p a menos que q
i) p slo si q
j) p sin embargo q
k)p suficiente para q
l) p siempre que q
m)p a no ser que q
Formalizar los siguientes razonamientos
((p7 q) 7 r) p q
(p 7 q) q p
(p q) 7 p q 7 (r 7 p q)
Comentario
s
Una interpretacin I es un MODELO para una
frmula F si VI(F) = V