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

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

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

משפט הגדרת ערך האמת

בהינתן פסוק plot:\[\alpha \] והשמה plot:\[z\] לאטומים, ערך האמת של plot:\[\alpha \] לפי ההשמה plot:\[z\] הוא יחיד.

תגיות המסמך:

לפרק הקודםמשפט הקריאה היחידה
לפרק הבאסדר קדימויות בין קשרים
מאת: bentz

תיקון

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

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