אדם אחר בכמה רבדים
New member
אם מניחים p ו-p~, אז למעשה מניחים False כי לא יכול להיות שביטוי ושלילתו יהיו תקפים.
כעת, קשר הגרירה p->q מקבל True אם p ו-q הם True וגם בכל מקרה ש-p הוא False. כלומר, מ-False נקבל כל דבר, ולכן אם אני לא טועה, אפשר לקבל שהגרירה תקפה לוגית.
אפשר לקרוא ולהעמיק בקישור הזה:
https://he.wikipedia.org/wiki/אם-אז
ואולי גם בזה:
https://he.wikipedia.org/wiki/עקביות_(לוגיקה)
(ייתכן והיה יותר מתאים אם הייתי משמיט את ה"מניחים" והופך את הנושא ל"אם p ו-~p מגיעים...")
תודה!
