Changes

===Proposizioni===

===Proposizioni===

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.

La logica classica si basa sulle proposizioni. Si dice spesso che una proposizione è una frase che chiede se la proposizione è vera o falsa. Infatti, una proposizione in matematica è di solito o vera o falsa, ma questo è ovviamente un po' troppo vago per essere una definizione. 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.