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. | 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. |