Changes

===Proposições===

===Proposições===

Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed, a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition. 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. 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.

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.