שינויים
בניגוד לאטומים שהם ללא משתנים ה'''פרדיקטים''' הינם פונקציות התלויות במשתנים. לדוגמא ניתן להגדיר את הפרדיקט <math>S(x)</math> להיות x הינו סטודנט באוניברסיטה.
=====פתרון=====
א. יש להוכיח את הפסוק הבא: <math>\forall a : a\in \phi \Rightarrow : a\in A</math>. אבל מכיוון שאין איברים בקבוצה הריקה, המשפט הזה נכון '''באופן ריק'''. זכרו ששקר גורר כל דבר, לכן האטום "איבר a שייך לקבוצה הריקה" גורר כל דבר.
ב. <math>\phi \cap A = \{x:x\in \phi \and x\in A\}\subseteq \{x:x\in \phi \}=\phi </math> כעזרת א קיבלנו הכלה בשני הכיוונים ולכן שיוויון.
