ההבדל בין -> ל =>

[helloworld5]

ההבדל בין -> ל =>

שלום רב
מה ההבדל בין הסימון -> ל =>
הראשון מהם זה גרירה לוגית, אם אז
אם a->b אז הפסוק אמת תמיד חוץ מהמקרה ש A אמת ו B שקר
והשני קצת שונה
לא בידיוק הבנתי
לשני יש כל מיני משפטי גרירה לוגית כמו T&S =>S

אשמח להבדל ולקצת הסבר
תודה רבה

 

[AnarchistPhilosopher]

גרירה טאוטולוגית היא כאשר גרירה לוגית מקבלת ערך

אמת.
&nbsp
למשל T&S=>S אומר שאם T&S מקבל ערך אמת אזי S מקבל ערך אמת.
&nbsp
כשמבקשים להוכיח שפסוק גורר טאוטולוגית פסוק אחר זה אומר שצריך לבדוק את טבלת האמת של שני הפסוקים ולראות שאין מצב שברישא יש ערך אמת ובסיפא ערך שקר.
אם זה לא מתקיים אז אומר שהרישא גוררת טאוטולוגית את הסיפא.
&nbsp