Tiziano Rovelli
45
Il linguaggio 2
• quando p Þ q e anche q Þ p si ha una condizione sia necessaria sia sufficiente, che si indica con p Û (se e solo se) q;
• un assioma è una proposizione che si accetta senza dimostrazione;
• una proposizione, in matematica, si può dedurre da una conseguenza logica di assiomi e/o da altre proprietà (teoremi).