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