לוגיקה-נוסחאות שקולות ונוסחאות אמיתיות לוגית
תודה לכולם,
ראשתי יש לי ווידוי קטן הטענה אינה נכונה להבדיל מהסקתי שזוהי טענה נכונה על פי השאלה "מהו מבנה ההוכחה?".
הסתדרתי בסוף, לכל המעוניין זהו הפתרון:
הטענה אינה נכונה, כדי להפריך טענה מספיק לתת דוגמא נגדית
העולם במודל יהיה הטבעיים.
ניקח את היחס r המחזיר עם מספר הוא ראשוני ואת s להיות יחס המחזיר אם מספר הוא זוגי.
כלומר אם ניקח את המספר 10 אז מצד שמאל נקבל FALSE אך מצד שמאל נוכל לבחור את 7 ואת 10 ונקבל TRUE מצד ימין
קיבלנו ששני האפים אינם שקולים.
