לוגיקה

[סטודלבט]

לוגיקה

טענת אמת: הסיווג יתקיים במועד X.
טענת אמת: במועד X במקרה Z יקבע W במועד M --> מכאן ש-X קטן מ-M. נאמר "יקבע" בלשון עתיד ומכאן אפילו שניה אחרי מספיקה.

טענה נכונה\לא נכונה: יתכן שבמקרה Z יקבע W לפני מועד M.
לדעתי זה תמיד ולא"יתכן".

זה אולי טריוויאלי ואולי אני מפספס משהו אבל אשמח לדעתכם החושבת.
תודה.