logica



Universidad Nacional Experimental De Guayana.
Vicerrectorado Académico.
Coordinación General De Pregrado
Ingeniería En Informática.
Materia: Lógica.

Lenguaje Sp.

Docente:Bachilleres:
Prof. De los angeles Villarroel. Aray Moisés. C.I:25.637.071.
Calzadilla Marco. C.I: 25.693.271.
Sifontes José. C.I: 25.636.214.
.
Ciudad Guayana, 24/03/2014
Introducción

El lenguaje Sp es un sistema formal en el cual se puede escribirfórmulas indicando los valores de verdad de las mismas. En la representación de una fórmula en lenguaje Sp se pone en manifiesto que lo hacen valido.
Del lenguaje Sp se desprende el vocabulario Sp,fórmula y sub-fórmulas, cuantificadores y se dice que es el lenguaje más completo.










Lenguaje Sp

Es un sistema formal en el cual se pueden escribir formulas indicando el valor deverdad de las mismas. En la representación de una formula en lenguaje Sp se pone de manifiesto las relaciones que lo hacen valido.

Vocabulario
Está constituido por un conjunto:
V= {V1 U V2 U V3U V4 U V5 U V6 U V7}
En donde Vi para i {1, 2, 3, 4, 5, 6, 7}
V1= Es el conjunto de símbolos para variables:
V1= {X1, X2, X3…Xn…}, siempre será un conjunto de infinito, en correspondenciabiunívoca con los naturales.

V2= Es el conjunto de simbolos relacionales
n1 n2 n3 nk nk
V2= {R1 , R2 , R3 … RK …},para un símbolo RK cualquiera de V2 el super índice es la aridad.

V3= Es el conjunto de simbolos funcionales
K1 k2 k3 kn
V3= {F1 , F2 , F3 … Fn …}V4= Es el conjunto de simbolos constantes
V4= {C1,C2,C3…Cn…}

V5= Es el conjunto de conectores
V5= [V,&,,¬,->]

V6= Es el conjunto de puntuadores
V6= { (,) , “,”}

V7= Es el conjunto de...