(ניתן להניח את חוקי האסוציאטיביות והפילוג על החיבור והכפל בקבועים.)
====תרגיל====
שלול את הטענה הבאה: לכל <math>a\in A</math> קיים <math>b \in B</math> כך ש <math>b\notin A \setminus \{a\}</math> וגם הקבוצה <math>(A\setminus\{a\})\cup \{b\}</math> הינה בת"ל.
פתרון: קיים <math>a\in A</math> כך שלכל <math>b \in B</math> מתקיים <math>b\in A \setminus \{a\}</math> או <math>(A\setminus\{a\})\cup \{b\}</math> לא בת"ל.
== תחשיב פרידקטים ==