Conceptos Básicos:
El lenguaje de la Teoría de Conjuntos
A continuación presentamos el lenguaje de primer orden la Teoría de Conjuntos. Puede entenderse de dos maneras distintas:
- Como lenguaje formal y como abreviaturas de expresiones en español.
Esta
segunda interpretación será posiblemente la conveniente en un curso
introductorio, antes de conocer la lógica de primer orden.
- Los símbolos de conjuntos serán las letras del alfabeto, mayúsculas y minúsculas.
-
El símbolo de la relación de pertenencia entre conjuntos es ∈ .
Los simbolos de la lógica de predicados son:
No hay comentarios:
Publicar un comentario