Teoria De Sistemas

SIMBOLIZACIÓN EN LA LÓGICA DE PRIMER ORDEN
Miguel Angel Giraldo Quispe

DEFINICIONES
 Predicados: Términos que se refieren a clases o conjuntos.  Cuantificadores: Términos que generalizantotal o parcialmente un conjunto.  Nombres: Términos que identifican objetos para distinguir de los demás. Los nombres pueden ser de personas, lugares, animales, obras de arte, etc.  Individuos:Elementos no determinados o no específicos.

SINTAXIS DE LC
Símbolos primitivos Predicados: F, G, H, ... (F1, F2, F3, ....,Fn ) Nombres: a, b, c, ... Individuos indefinidos: x, y, z, ....Cuantificadores: Universal () y existencial ( ) El lenguaje primitivo de LP es válido en este sistema. Metavariables A, B, C, .... , , ,....  = a, b, c, x, y, z  = x, y, z  = a, b , c

SINTAXIS DE LCReglas de formación: Cada variable de LP por sí misma es una fbf. Si  es un predicado,  es una fbf. Si A es una fbf,  A es una fbf. Si A y B son fbfs, (A  B), (A  B), (A  B) y (A  B) son fbfs. SiA es una fbf, ()A y ()A son fbfs. No hay otras reglas en LC que las mencionadas en la presente reglas de formación.

SIMBOLIZACIÓN
Proposición singular: Predicativas: José estudia medicina:Mj El misti es un volcán: Vm Relacionales Norma y Cirila son hermanas: Hnc José es padre de Arturo: Pja Antonio no es hijo de Cesar: Hac

SIMBOLIZACIÓN
Combinadas: Si Antonio es abogado y defiendea Juancito, entonces Juanito es cliente de Antonio. Si Demetrio es padre de Gilberto, además Gilberto es médico. Entonces, Demetrio es paciente de Gilberto.

SIMBOLIZACIÓN
Proposición existencialSimple: Alguién es santo Sx: x es santo, ( x) No hay oro
Ox: x es oro,  ( x) Algo no es bueno

Sx
Ox

Bx: x es bueno, ( x)

 Bx

SIMBOLIZACIÓN
Predicativas Algunas frutas son maduras.Fx: x es fruta, Mx: x es madura, (x)(Fx  Mx) Algunos animales son mamíferos. Ax: x es animal, Mx: x es mamífero, (x)(Ax  Mx) Hay vertebrado que no son humanos. Vx: x es vertebrado, Hx: x es...