לפני שנפנה להגדרות של סוגי השליטה , נקדיש כמה מילים למונח " אם ורק אם " ( אמ " מ ) שמופיע בהגדרות אלה , ולהבדל בינו לבין " אם " . אמ " מ הוא יחס לוגי של גרירה דו כיוונית . גרירה היא יחס בין שתי טענות ( או יותר משתיים ) , שניתן להגדירו כך : יחס של גרירה ( ( entailment טענה ב היא גרירה ( או מסקנה לוגית ) של טענה א במצב העניינים הבא : בהינתן שטענה א היא אמיתית , ב בהכרח אמיתית גם כן . דוגמה לגרירה רגילה : א . זה שולחן שחור . ב . זה שולחן . ( ב הוא גרירה של א ) ( שימו לב לכך ש ב לא גוררת את א , דהיינו גם אם ב אמיתית , זה לא בהכרח נכון ש א אמיתית . ) יחס של גרירה דו כיוונית גרירה דו כיוונית מתקיימת במצב העניינים הבא : אם טענה א אמיתית , אז טענה ב גם אמיתית , ואם טענה ב אמיתית , אז טענה א אמיתית ( ואם אחת מהן לא אמיתית , אז גם השנייה לא , ולהפך ) . במילים אחרות , טענה א גוררת את טענה ב , וטענה ב גוררת את טענה א . 14 לדיון ולהגדרה מדויקת ראו פרק 7 העוסק בסמנטיקה .
אל הספר