lenguaje sp

Universidad Nacional Experimental De Guayana
Vicerrectorado Académico
Coordinación General De Pre-grado
Proyecto De Carrera: Ing. Informática
Puerto Ordaz - Estado Bolívar


LENGUAJE SPProfesor: Integrantes:
De los Ángeles Villarroel Francisco López C.I 20.300.762
Carlos Rodríguez C.I.: 25.267.425 Robert Rojas C.I: 25.267.494





Puerto Ordaz; Marzo del 2014INTRODUCCION:
La Lógica estudia la forma del razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. Como el lenguaje sp quees un sistema formal en el cual se pueden escribir formulas indicando el valor de verdad de las mismas. En la representación de una formula en lenguaje Sp se pone de manifiesto las relaciones que lohacen valido. Los símbolos funcionales como asignaciones de sustantivos a sustantivos; a los símbolos relacionales como predicados; al símbolo ≡ como el predicado que expresa la identidad entre dosobjetos






















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

VOCABULARIO
Una interpretación natural del vocabulario Sp es asignar, a los símbolos que lo constituyen, palabras ofrases de un idioma particular (por ejemplo el castellano), de tal modo que las fórmulas se interpreten como oraciones en sentido completo del idioma en cuestión.

A las variables se les interpretancomo sustantivos (de una categoría particular), esto es el dominio; a los símbolos funcionales como asignaciones de sustantivos a sustantivos; a los símbolos relacionales como predicados; al símbolo ≡como el predicado que expresa la identidad entre dos objetos; a los cuantificadores se les califica como adjetivos que califican la cantidad; a los conectores de igual manera que en Ss y los...