3 תשובות
כן ולא. בעיקרון לדוגמה:
ab = cd
וגם cd = ef
אז:
ab = cd = ef
אין דבר כזה משפט של כלל המעבר. צריך להגיד את זה בנוסח לוגי טוב.
ab = cd
וגם cd = ef
אז:
ab = cd = ef
אין דבר כזה משפט של כלל המעבר. צריך להגיד את זה בנוסח לוגי טוב.
כן אפשר,
מלמלך אין משפט רשמי
רק רושמים בטענה
"כלל המעבר" מסעיפים א, ב וכו'
מלמלך אין משפט רשמי
רק רושמים בטענה
"כלל המעבר" מסעיפים א, ב וכו'
לפי דעתי מסוכן להשתמש במשפט שלא מנוסח למבחני הבגרות. אם את תשתמשי במשהו שכביכול לא קיים, אז זה לא נכון. לכן צריך לסדר את ההוכחה בצורה לוגית שמראה שיוויון בין שלושה גדלים, נעלמים ומה עוד.
לדוגמה:
(1) ab = cd, נתון
(2) cd = ef, נתון
(3) ab = cd = ef, היות וcd שווה גם לef וגם לab אז גם הגדלים ab וef זהים.
לדוגמה:
(1) ab = cd, נתון
(2) cd = ef, נתון
(3) ab = cd = ef, היות וcd שווה גם לef וגם לab אז גם הגדלים ab וef זהים.
באותו הנושא: