קשר לוגי – הבדלי גרסאות

'''קַשָּׁר לוגי''' הוא [[פונקציה]] המייצרת מקבוצה של [[פסוק (לוגיקה)|פסוקים]] לוגיים, או [[תבנית (לוגיקה)|תבניות]] לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמשים ב[[תחשיב פסוקים|תחשיב הפסוקים]] וב[[תחשיב הפרדיקטים]] כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם-אז".

כל קַשָּׁר לוגי מייצג [[פעולה בוליאנית]] על ערכי האמת של האיברים המתקבלים כקלט, ומקושרת אליו [[טבלת אמת]] ספציפית. כדי לחשב את [[ערך אמת|ערך האמת]] של הפסוק, או התבנית הנוצרים על ידי הקשר, משתמשים בערכי האמת של הפסוקים, או התבניות המתקבלים כקלט, וב[[טבלת אמת|טבלת האמת]] המשויכת לקשר.

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