הועלה לאתר:   10.2.2004
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

משפט

לכל פסוק 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¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד