LA LOGICA

PROF.: RUTH PALOMINO PALOMINO

Curso: Matemticas
Alumno: Luis Alberto Quispe Chonta

2015-Nazca

Sistemas lgicos
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin de

smbolos interpretables construidos a partir de un determinado alfabeto, y las
reglas de inferencia. En concreto el conjunto deteoremas deducibles de
un conjunto de axiomas.

La semntica de los lenguajes formales, es decir, los significados atribuibles

a un conjunto de signos, as como el valor de verdad atribuible a algunas de las
proposiciones. En general las expresiones de un sistema formal interpretadas en
un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que
admite un modelo es siempre consistente.

Los aspectos metalgicos de los lenguajes formales, como por ejemplo

la completitud semntica, la consistencia, la compacidad o la existencia de
modelos de cierto tipo, etc.

Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para

variables proposicionales (que pueden ser interpretados informalmente como
enunciados que pueden ser ciertos o falsos) adems de smbolos para
diversas conectivas. Estas conectivas permiten formar expresiones complejas a
partir de variables proposicionales simples. Un sistema lgico puede incluir
diversos tipos de conectivas, entre ellos, la lgica clsica suele hacer uso de los
siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por
ejemplo restringiendo las posibilidades de interpretacin semntica se

obtiene la lgica intuicionista y ampliando la complejidad de las

interpretaciones semnticas se obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables

proposicionales sino que las proposiciones ms elementales son
predicados atmicos (formados a partir de variables interpretables como
objetos singulares, relaciones (entre estas frecuentemente se usan = ,
<, >, etc), funciones matemticas. Adems smbolos para representar
variables, relaciones y funciones este tipo de lgicas incluyen
cuantificadores. Dentro de la lgica de predicados se pueden distinguir
ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se
admiten proposiciones formadas mediante un nmero finito de
pasos) aunque tambin existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes
subtipos.

Lgica de predicados
La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que
las sentencias bien formadas son producidas por las reglas enunciadas a
continuacin.
Vocabulario
Un vocabulario es una tupla:
que consta de:

smbolos relacionales

, cada uno de ellos con un nmero entero

asociado, el cual se conoce como la aridad de

smbolos funcionales

smbolos constantes

Una frmula de primer orden

, cada uno de aridad

en el vocabulario , es una frmula de primer orden

donde los nicos predicados, funciones y constantes empleados son los

especificados por