הועלה לאתר:  
מספר עמודים: 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)\].

תגיות המסמך:

לפרק הקודםתכונות תחשיב הפסוקים
לפרק הבאמושגי יסוד
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

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