Changes

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

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

#''Conjunção'', which is indicated by the symbol <math>\land</math>  (and):

#''Conjunção'', que é indicado pelo símbolo <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):