לדלג לתוכן

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

מ
|colspan="2"|<font color=darkgray>התבנית אינה ריקה / התבנית מלאה:</font>
|- style="vertical-align:top;"
|[[File:Predicate logic; 2 variables; 12neexample matrix e12.svg|thumb|מרכז|120px|7. <math>\exist x \exist y Lxy</math><br>מישהו אוהב מישהו<br><br>8. <math>\exist x \exist y Lyx</math><br>מישהו נאהב על ידי מישהו.]]
|- style="vertical-align:top;"
|[[File:Predicate logic; 2 variables; example matrix a12.svg|thumb|מרכז|120px|9. <math>\forall x \forall y Lxy</math><br>כל אחד אוהב כל אחד<br><br>10. <math>\forall x \forall y Lyx</math><br>כל אחד נאהב על ידי כל אחד.]]