משפט

לכל פסוק plot:\[\alpha \] ולכל שתי השמות plot:\[{z_1},{z_2}\] אם לכל אטום plot:\[{p_i}\] שמופיע ב-plot:\[\alpha \] מתקיים plot:\[{z_1}\left( {{p_i}} \right) =
 {z_2}\left( {{p_i}} \right)\] אזי plot:\[{\bar z_1}\left( \alpha  \right) = {\bar z_2}\left( \alpha  \right)\].

תגיות המסמך:

תגובות:

שם:(התחברות)
נושא:
תוכן:
 אין לשלוח תגובות הכוללות מידע המפר את תנאי השימוש של אתר UnderWarrior לרבות דברי הסתה, דיבה וסגנון החורג מהטעם הטוב.
 אימות:
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב

שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה

שיתוף:
| עוד