Changes

''‘Felizmente, as proposições matemáticas, se bem expressas, não mostram tais ambigüidades’.''

''‘Felizmente, as proposições matemáticas, se bem expressas, não mostram tais ambigüidades’.''

As proposições mais simples podem ser combinadas entre si para formar proposições novas e mais complexas. Isso ocorre com a ajuda de operadores chamados '' operadores lógicos '' e conectivos de quantificação que podem ser reduzidos ao seguinte<ref>Por uma questão de simplicidade de exposição e leitura, vamos lidar neste capítulo com o '' símbolo de pertença '', o '' símbolo de consequência '' e o "'' tal que ''" como se fossem quantificadores e conectivos de proposições na lógica clássica.<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>:

As proposições mais simples podem ser combinadas entre si para formar proposições novas e mais complexas. Isso ocorre com a ajuda de operadores chamados '' operadores lógicos '' e conectivos de quantificação que podem ser reduzidos ao seguinte<ref>Por uma questão de simplicidade de exposição e leitura, vamos lidar neste capítulo com o '' símbolo de pertença '', o '' símbolo de consequência '' e o "'' tal que ''" como se fossem quantificadores e conectivos de proposições na lógica clássica.<br>A rigor, dentro da lógica clássica, eles não devem ser tratados como tal, mas mesmo que o façamos, isso não muda absolutamente o significado do discurso e nenhuma inconsistência de qualquer tipo é criada..</ref>:

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

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