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

מ
|colspan="2"|<font color=darkgray>שורה אחת מלאה / טור אחד מלא:</font>
|- style="vertical-align:top;"
|[[File:Predicate logic; 2 variables; E2fexample matrix e1a2.svg|thumb|מרכז|120px|3. <math>\exist x \forall y Lxy</math><br>מישהו אוהב את כל אחד.]]
|[[File:Predicate logic; 2 variables; example matrix e2a1.svg|thumb|מרכז|120px|4. <math>\exist x \forall y Lyx</math><br>מישהו נאהב על ידי כולם.]]
|}<!--END-->