שינויים

תרגול 1 תשעז

אין שינוי בגודל, 12:33, 7 ביולי 2019
/* טענת גרירה */
1. כשנדרשים להוכיח משפט מהצורה הזו מה שצריך להראות זה שאם A נכון אז גם B נכון. או במילים אחרות: נניח שA נכון ונוכיח שגם B נכון.
2. כשנדרשים להפריך משפט מהצורה הזו מה שצריך להראות זה שיש השמת ערכי אמת למשתנים כל כך ש A נכון וB לא נכון.
====תרגיל====
1,419
עריכות