Changes

''‘Afortunadamente, las proposiciones matemáticas, si están bien expresadas, no presentan tales ambigüedades’.''

''‘Afortunadamente, las proposiciones matemáticas, si están bien expresadas, no presentan tales ambigüedades’.''

Las proposiciones más simples pueden combinarse entre sí para formar nuevas proposiciones más complejas. Esto ocurre con la ayuda de operadores llamados ''operadores lógicos'' y conectivos cuantificadores que pueden reducirse a lo siguiente<ref>Para simplificar la exposición y la lectura, en este capítulo trataremos el ''símbolo de pertenencia'', el ''símbolo de consecuencia'' y el ''tal que'' como si fueran cuantificadores y conectivas de proposiciones en la lógica clásica.<br>Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>:

Las proposiciones más simples pueden combinarse entre sí para formar nuevas proposiciones más complejas. Esto ocurre con la ayuda de operadores llamados ''operadores lógicos'' y conectivos cuantificadores que pueden reducirse a lo siguiente<ref>Para simplificar la exposición y la lectura, en este capítulo trataremos el ''símbolo de pertenencia'', el ''símbolo de consecuencia'' y el ''tal que'' como si fueran cuantificadores y conectivas de proposiciones en la lógica clásica.<br>Estrictamente hablando, dentro de la lógica clásica no deben ser tratados como tales, pero aunque lo hagamos, esto no cambia absolutamente el sentido del discurso y no se crean incoherencias de ningún tipo.</ref>:

#''Conjunction'', which is indicated by the symbol <math>\land</math>  (and):

#''Conjunction'', which is indicated by the symbol <math>\land</math>  (and):