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

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

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

תכונות תחשיב הפסוקים

  1. יהי plot:\[\alpha \] פסוק. בין כל סוגרים מהצורה plot:\[\left( {...} \right)\] יש לפחות קשר אחד.
  2. בין כל שני אטומים קיים קשר.

תגיות המסמך:

לפרק הקודםמערכת קשרים שלמה
לפרק הבאמשפט
מאת: bentz

תיקון

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

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