Lenguaje sp

Índice
Pág.
Introducción............................................................................................ 03
Teoría del Conjunto................................................................................. 04
Operaciones entreconjuntos..................................................................05
Diagramas de Venn..................................................................................07
Relación de la teoría de conjuntos y la lógica proposicional................08
Conjuntos Finitos......................................................................................10
LenguajeSp...............................................................................................12
Cuantificador Universal.......................................................................... 17
Cuantificados Existencial....................................................................... 19
Alcance de una formula......................................................................... 20
Traducción del castellano al lenguajeSp............................................. 15

Leyes Boolenas..........................................................................................24
Conclusión..................................................................................................25
Cuantificados Existencial....................................................................... 12,13
CapituloV...............................................................................................
Alcance de una formula......................................................................... 14
Capitulo VI...............................................................................................
Traducción del castellano al lenguaje Sp............................................. 15
Traducción del lenguaje Sp alcastellano............................................. 15
Capitulo VII...............................................................................................
Problemas y soluciones.......................................................................... 16,17
Problemas a resolver.............................................................................. 18,19Glosario.................................................................................................... 20
Conclusión............................................................................................... 21
Bibliografía............................................................................................... 22

Introducción
Ciertamente en lo que estemos haciendo se usa en forma constante elrazonamiento lógico para realizar cualquier actividad.
Esto nos permitirá tener confianza en la aplicación de reglas y fórmulas a la hora que estemos realizando alguna tarea.
El lenguaje como idioma hablado que da a entender una cosa, es un sistema en la cual nosotros nos podemos defender al expresarnos de maneras diferentes, y a continuación explicaremos sobre el lenguaje sp donde se vera la manera comodesarrollarlo y escribirlo y si lo que se hace es un razonamiento válido o no y siempre van a existir reglas en la cual nos debemos regir de tal manera que cuando lleguemos a poner en practica esto, seamos capaz de inventar nuestra propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado.

ElLenguaje Sp nos permitirá calcular y demostrar formulas de las cuales surgirán de oraciones y viceversa.

En los capítulos siguientes veremos la relación profunda del lenguaje Sp y como es básico para el estudio de muchos otros sistemas formales.

CAPITULO I

LENGUAJE SP

(Calculo de Predicado con Identidad)
Sistema formal que permite desarrollar y escribir formulas como:

[pic] n(n <...