Lgica de primer La lgica deorden primer orden, tambin

llamada lgica de predicados o clculo de predicados, es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan slo a variables de individuo, y con predicados y funciones cuyos argumentos son slo constantes o variables de individuo.2 4/28/12

Como el desarrollo histrico y las aplicaciones de la lgica de primer orden estn muy ligados a la matemtica, en lo que sigue se har una introduccin que contemple e ilustre esta relacin, tomando ejemplos tanto de la matemtica como del lenguaje natural. Primero se introducen cada uno de los conceptos bsicos del sistema, y luego se muestra cmo utilizarlos para analizar argumentos.
4/28/12

PREDICAD Un predicado es unaOS expresin lingstica que

puede conectarse con una o varias otras expresiones para formar una oracin. Por ejemplo, en la oracin Marte es un planeta, la expresin es un planeta es un predicado que se conecta con la expresin Marte para formar una oracin. Y en la oracin Jpiter es ms grande que Marte, la expresin es ms grande que es un predicado que se conecta con dos expresiones, Jpiter y Marte, para formar una oracin.
4/28/12

Los smbolos del alfabeto de un lenguaje de primer orden son:

a) Smbolos no lgicos: Smbolos de funcin 0-aria (constantes): a, e, ... Smbolos de funcin con n argumentos: f(_, ...,_), ... Smbolos de predicado 0-ario (proposiciones): p, q, ... Smbolos de predicado con n argumentos: p(_, ...,_), ... b) Smbolos lgicos: Smbolos de variable: x,y,z, ... Smbolos de conectivas: v , Smbolos de cuantificadores: $ Smbolo de igualdad:

4/28/12

Alfabeto de la lgica de primer orden Los smbolos de L1 son:

-Constantes individuales: a, b, c, a1... -Variables individuales:x, y, z, x1 ... -Predicados o relatores: P, Q, R, R1 ... -Cuantificadores: el , de subttulo del Haga clic para modificar estilo patrn -Identidad: =, -Conectivas: , , , , -Auxiliares: ), (, ], [
4/28/12

BIBLIOGRAFIA

http:// es.wikipedia.org/wiki/L%C3%B3gica_de_pr

4/28/12