− | 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. | + | 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. Può essere preso, al massimo, come un avvertimento: se una frase, espressa nel linguaggio comune, non ha senso chiedere se è vera o falsa, non sarà una proposizione ma qualcos'altro. |
| 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. |