פונקציה עולה מונוטונית חלש/חזק

[ןן גיל ןן]

זה מאד משנה

כאשר אתה כותב הגדרה לא נכונה, אי אפשר לומר שזה לא משנה.
הגדרת המונוטוניות העולה היא לכל x ולכל y כך ש- x>y מתקיים f(x)>f zz.
שלילת המונוטוניות העולה היא קיים x וקיים y כך ש x>y וגם f(x) <= f zz.

 

[אפלטוניסט]

זו הגדרה ולכן

אין כאן נכון או לא נכון . יש כאן רק עניין של " איזה קונספט אינטואיטיבי של הפונקציה בדיוק רצינו לתפוס בצורה פורמאלית"

ההגדרה שמשתמשים בה היא עם שני כמתים של "לכל" וזה גם מאוד ברור למה .

כעת מבחינה לוגית : שלילה של קיים זה לכל
שלילה של לכל זה קיים.

 

[זיו תל מונד]

בדיוק משום שזו הגדרה רציתי לוודא

שהמתמטיקאים לא משוגעים