Changes

===Proposições===

===Proposições===

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. It can be taken, at best, as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else.

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.  

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.