'''הגדרה'''. הפסוקים <math>\ \varphi, \varphi'</math> הם '''שקולים''' אם הפסוק <math>\ \varphi \leftrightarrow \varphi'</math> הוא טאוטולוגיה. במקרה כזה מסמנים <math>\ \varphi \equiv \varphi'</math>.
אם <math>A\rightarrow B</math> הינו טאוטולוגיה, אזי מסמנים <math>A\Rightarrow B</math> ואומרים כי A הינו תנאי '''מספיק''' לB ואילו B הינו תנאי '''הכרחי''' לA. אם הם שקולים, אזי A תנאי הכרחי ומספיק לB וכמו כן, B תנאי הכרחי ומספיק לA.