שינויים
/* שאלה לגבי הוכחה פורמלית */
:תלוי מה מטרת השאלה. זה סוג השאלות שטוב לשאול בזמן בוחן, וייתכן והבוחן יגיד שאסור. בכל מקרה עליכם לדעת את שתי הדרכים. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
ברגע שאתה מעביר את זה לרמת הלוגיקה זה פורמלי לכל דבר.
== שאלה לגבי הבוחן ==