שינויים
/* פתרון */
א. יש להוכיח את הפסוק הבא: <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>כעזרת א קיבלנו הכלה בשני הכיוונים ולכן שיוויון.
ג. <math>\phi \cup A = \{x:x\in \phi \or x\in A\}= \{x:x\in A \}=A </math> כי <math>F\lor p\equiv p</math>.
