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