'''עדי
== הגדרת השאלה ==
שלום עדי, אני יודע שזה מצחיק שאני שואל את זה רק עכשיו לפני המבחן, אבל עדיף מלעולם לא...
מה זה מתמטיקה בדידה?
סתם...
אני לא מצליח להבין מה אתם דורשים בדיוק בבקשות להלן (לבצע אני כן מצליח):
הוכח / הוכח פורמלית / הוכח ע"פ הגדרה
אני חושב שזה בעיקר סביב נושא הקב', אז אשתמש בהם לדוג':
לפעמים הכוונה היא להישאר בעולם הקב'-
ע"י התכונות שלהם (דיסטר', אסוצי' וכו')
להמיר בין הכלה, חיתוך, משלים וכו', ולהראות שהדברים שווים.
ולפעמים הכוונה היא לחזור לעולם הלוגיקה השלם, ולהתייחס לשייכות של האיברים עצמם לקב'-
ואז חזרתם לאטומים ופס', והשתמשנו בהתאם בקשרים ('וגם', 'גורר', 'שלילה' וכו'),
והראנו שהדברים נגררים/שקולים.
מקווה שהשאלה הייתה ברורה.
תודה מראש