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

תוכן שנמחק תוכן שנוסף
שורה 77:
|colspan="2"|<font color=darkgray>אין אף טור ריק / אין אף שורה ריקה :</font>
|- style="vertical-align:top;"
|[[File:Predicate logic; 2 variables; A1neexample matrix a2e1.svg|thumb|מרכז|120px|1. <math>\forall x \exist y Lyx</math><br>כל אחד נאהב על ידי מישהו.]]
|[[File:Predicate logic; 2 variables; A2ne.svg|thumb|מרכז|120px|2. <math>\forall x \exist y Lxy</math><br>כל אחד אוהב מישהו.]]
|}<!--END-->