הומומורפיזם (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט החלפות: בהינתן; |
הסרת "ראו גם" מיותרים |
||
שורה 1:
ב[[שפה מסדר ראשון]]
== הגדרה ==
שורה 7:
* לכל [[סימן יחס]] n-מקומי R ולכל <math>a_1,a_2,a_3 \dots ,a_n \in A</math> מתקיים:
:<math>\, R^A(a_1,a_2,a_3, \dots ,a_n) \iff R^B(h(a_1),h(a_2),h(a_3), \dots ,h(a_n) ) </math>
[[קטגוריה:לוגיקה]]
|