4 תשובות
אתה מתכוון אולי *כשל* לוגי?
שואל השאלה:
לא.
אנונימי
הכוונה למילת קישור בין שני משפטים
זה יכול להיות מילה של
סיבה ותוצאה
מילת זמן
מילת ניגוד וכולי
אנונימית
קשר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמשים בתחשיב הפסוקים ובתחשיב הפרדיקטים כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם-אז".

כל קשר לוגי מייצג פעולה בוליאנית על ערכי האמת של האיברים המתקבלים כקלט, ומקושרת אליו טבלת אמת ספציפית. כדי לחשב את ערך האמת של הפסוק או התבנית הנוצרים על ידי הקשר, משתמשים בערכי האמת של הפסוקים או התבניות המתקבלים כקלט, ובטבלת האמת המשויכת לקשר.

הקשרים לוגיים מסווגים על פי מספר הפסוקים/תבניות שהם מקבלים כקלט. הקשרים השימושיים הם אונאריים (כלומר, מקבלים כקלט פסוק יחיד/ תבנית אחת) או בינאריים (כלומר, מקבלים כקלט 2 פסוקים/תבניות). קשרים טרינאריים (המקבלים 3 פסוקים/תבניות) ומורכבים יותר אינם מקובלים בלוגיקה הפורמלית.