:= definicin se define como todos sucesin matemtica se repite/progresin todos + adicin ms aritmtica y lgebra - sustraccin menos aritmtica * multiplicacin por aritmtica / divisin entre, dividido por aritmtica sumatorio suma sobre aritmtica productorio producto sobre... aritmtica implicacin material o en un implica; si .. lgica
solo sentido entonces;< proposicional si y slo si; sii, lgica doble implicacin syss3 proposicional conjuncin.lgica o interseccin e y lgica proposicional n una reja disyuncin lgica o unin en o, lgica proposicional una reja lgica negacin lgica no proposicional para todos; para lgica de cuantificador universal cualquier; para cada predicados existe por lo menos lgica de cuantificador existencial un/os predicados lgica de : reluz tal que predicados [,} delimitadores de conjunto el conjunto de ... teora de conjuntos
notacin constructora de el conjunto de los
{:} teora de conjuntos conjuntos elementos ..sssss conjunto vaco conjunto vaco teora de conjuntos E pertenencia de conjuntos es miembro de teora de conjuntos subconjunto es subconjunto de teora de conjuntos U unin de conjuntos la unin de ... teora de conjuntos interseccin de conjuntos la interseccin de teora de conjuntos ()[] aplicacin de funcin; de funciones {} agrupamiento N nmeros naturales N nmeros Z nmeros enteros Z nmeros Q nmeros racionales Q nmeros R nmeros reales R nmeros C nmeros complejos C nmeros infinito infinito nmeros || valor absoluto valor absoluto de nmeros < es menor a, es comparacin rdenes parciales > mayor a es menor o igual a, comparacin rdenes parciales es mayor o igual a Geometra pi pi euclideana ! factorial factorial de combinatoria || | norma de; longitud norma anlisis funcional | de