Mariot

Republica Bolivariana De Venezuela
Ministerio Del Poder popular Para La Educación Superior
UBA “Universidad Bicentenaria De Aragua”
Escuela: Ingeniería En Sistema
Faculta: Lógica MatemáticaSan Félix- Edo Bolívar.












Profesora: Participante:Mariot Pichilingue
C.I: V-21248449
Abraham TovarC.I: V- 25.445.487
Francisco Pinto
C.I: V-Ciudad Guayana, 30/01/12

Lenguaje Predicativo
El lenguaje de predicados de primer orden se caracteriza por extender la lógica preposicional. Destaca tanto por los elementos de lassentencias que forman parte de los argumentos como por la estructura de éstos, en donde lo más importante son los individuos que intervienen y los predicados-que-les-afectan.

Antes de entrar enprofundidad, veamos un ejemplo que hicimos en clase, el cual nos muestra que el lenguaje de predicados es muy importante, puesto que amplía nuestras posibilidades de formalización de sentencias.
P1:Todos los hombre son mortales
P2: Sócrates es mortal
Q: Sócrates es un hombre

En este caso en concreto, el argumento es correcto, pero no hay forma de hallar relación entre las premisas y laconclusión, mientras que en el lenguaje de predicados, es muy acertivo formalizar el anterior argumento.

Marco Conceptual:
H(x) x es hombre
M(x) x es mortal
s : Sócrates

P1: ∀x[H(x) → M(x)]
P2: M(s)Q: H(s)
Una F.B.F del lenguaje predicativo
En general la normalización de fórmulas al principio me pareció dificil, sobre todo el concepto que define el proceso para reducir una fbf a Forma...