השאלה שלי היא לגבי סעיף ה
ראיתי שהאני לא יכול להפריך. (יכול להיות שאני טועה)אבל אני לא סגור על ההוכחה, האם להשתמש פשוט בUI וUG לX כלשהו?
אם מישהו יכול לשפוך לי קצת אור על הסעיף הזה אני אודה לו!
שבת שלום!
עמוד אחרון ;)
אז זה יוצא T בשניהם
סימנתי שם את העניים שלכל X כך ש X<0 מראים שזה F אז בצד שמאל זה גם F גורר משהו זה אמור להיות נכון ולא F כמו שהם אמרו שם (מסומן בכחול)
תודה על ההעזרה
שוב, אם אני לא טועה, הלכל מתייחס ל'תחום ההגדרה' של הפרדיקט P.