תחשיב הפרדיקטים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Orielno Bot (שיחה | תרומות) מ clean up, replaced: מתימט ← מתמט באמצעות AWB |
|||
שורה 95:
|[[קובץ:Predicate logic; 2 variables; example matrix a12.svg|ממוזער|מרכז|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"|[[קובץ:
|-
|
|