Changes

A lógica clássica é baseada em proposições. Costuma-se dizer que uma proposição é uma sentença que pergunta se a proposição é verdadeira ou falsa. Na verdade, uma proposição em matemática geralmente é verdadeira ou falsa, mas isso é obviamente um pouco vago demais para ser uma definição. Pode ser tomado, na melhor das hipóteses, como um aviso: se uma frase, expressa em linguagem comum, não faz sentido perguntar se é verdadeira ou falsa, não será uma proposição, mas outra coisa.

A lógica clássica é baseada em proposições. Costuma-se dizer que uma proposição é uma sentença que pergunta se a proposição é verdadeira ou falsa. Na verdade, uma proposição em matemática geralmente é verdadeira ou falsa, mas isso é obviamente um pouco vago demais para ser uma definição. Pode ser tomado, na melhor das hipóteses, como um aviso: se uma frase, expressa em linguagem comum, não faz sentido perguntar se é verdadeira ou falsa, não será uma proposição, mas outra coisa.

It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false.  

Pode-se argumentar se as sentenças de linguagem comum são proposições ou não, pois em muitos casos não é frequentemente evidente se uma determinada afirmação é verdadeira ou falsa.  

''‘Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''

''‘Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''