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

אין תקציר עריכה
אין תקציר עריכה
|[[File:Predicate logic; 2 variables; 12f.svg|thumb|מרכז|120px|9. <math>\forall x \forall y Lxy</math><br>כל אחד אוהב כל אחד<br><br>10. <math>\forall x \forall y Lyx</math><br>כל אחד נאהב על ידי כל אחד.]]
|}<!--END-->
|style="vertical-align:top;" rowspan="2"|[[File:Predicate logic; 2 variables; implications.svg|thumb|right|[[דיאגרמת האסההסה]] (Hasse) של יחסי הנביעה בין הפסוקים: כל מטריצה מייצגת פסוק הנובע מאלו שמתחתיו]]
|-
|
משתמש אלמוני