תחשיב הפרדיקטים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 87:
|[[File:Predicate logic; 2 variables; 12diag ne.svg|thumb|מרכז|120px|5. <math>\exist x Lxx</math><br>מישהו אוהב את עצמו.]]
|- style="vertical-align:top;"
|[[File:Predicate logic; 2 variables; 12diagexample fmatrix a(12).svg|thumb|מרכז|120px|6. <math>\forall x Lxx</math><br>כל אחד אוהב את עצמו.]]
|}<!--END-->
|rowspan="2"|