שינויים

אם הביטוי <math>A \iff leftrightarrow B</math> הינו טאוטולוגיה (במילים: A קורה אמ"מ B קורה)

*כאשר אומרים ש B הוא תנאי הכרחי ל A פירושו הוא שהפסוק <math>A \to B</math> נכון. לעיתים, לצורך הדגשה מסמנים <math>A \Rightarrow B</math>*כאשר אומרים ש B הוא תנאי מספיק ל A פירושו הוא שהפסוק <math>B \to A</math> נכון. לעיתים, לצורך הדגשה מסמנים <math>B \Rightarrow A</math>*כאשר אומרים ש B הוא תנאי הכרחי ומספיק ל A פירושו הוא שהפסוק <math>B \iff rightarrow A</math> נכון. לעיתים, לצורך הדגשה מסמנים <math>A \iff B</math>