XXX. Основные знаки и простейшие формулы логистики (для справок).

∙ ∶ ⫶ signos que reemplazan paréntesis (en álgebra). p, q, r,... signos de juicio (sentencia). a, b, c,... signos conceptuales (clases). signos x, y, z,... de un individuo. Ɔ signo de inclusión (implicaciones para oraciones e inclusión para clases). ∩ signo de multiplicación lógica o compatibilidad. ∪ signo de suma lógica o alternativa. ɜ es un signo operador que establece la correspondencia de una clase con una determinada oración. ɛ signo del operador que establece la pertenencia del individuo a una clase (ἐστι). ι signo de una clase de unidad. signo de un individuo que pertenece a una clase de unidad. ≡ signo de identidad numérico. Ǝ un signo de existencia real. R es un signo de relación binaria (entre dos términos). 'R es el signo de la relación invertida R. signo de multiplicación relativa de relaciones. signo de multiplicación lógica de relaciones. φx. ψx,… signos de una función lógica. “Si la inclusión p Ɔ q es verdadera y si la hipótesis p es verdadera, entonces la proposición q también es verdadera y puede afirmarse por separado” (VIII). (Principio de deducción). “En una fórmula general siempre se puede sustituir un término particular o individual en lugar de un término general o indefinido” (IX). (Principio de sustitución). Las fórmulas (XIV) y (XV) juntas definen “negativo”, por lo que podemos escribir: