Changes

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>:

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):

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

#''Disjunction'', which is indicated by the symbol <math>\lor</math>  (or):

#''Disjunction'', which is indicated by the symbol <math>\lor</math>  (or):

#''Negation'', which is indicated by the symbol <math>\urcorner</math>  (not):

#''Negation'', which is indicated by the symbol <math>\urcorner</math>  (not):