Tiziano Rovelli
43
Il linguaggio della logica mat.
• Una proposizione è un’affermazione che può essere solo vera o falsa;
• se p è una proposizione non-p è la sua nega-zione. Non-p è vera se e solo se p è falsa;
• la congiunzione “p e q” di 2 proposizioni p e q è vera se e solo se sia p che q sono vere;
• la disgiunzione “p o q” di 2 proposizioni p e q è vera se almeno una delle 2 è vera, falsa se entrambe p o q sono false.