קשר לוגי הוא פונקציה שמקבלת פסוקים לוגיים ומשתמשת בהם כדי ליצור פסוק חדש. "פסוק לוגי" הוא משפט שאפשר להחליט אם הוא אמת או שקר.
קשרים משמשים בתחשיב הפסוקים ובתחשיב הפרדיקטים כדי ללכוד פעולות כמו "וגם" (AND), "או" (OR), "לא" (NOT) ו"אם-אז" (IMPLIES). הם מייצגים פעולות בוליאניות על ערכי האמת של הקלטים.
יש משפטים שתמיד נכונים, טאוטולוגיות, למשל a או לא a. ויש משפטים שתמיד שקריים, הסתירות, למשל a וגם לא a.
כדי לדעת אם הפסוק החדש נכון או לא, בונים טבלת אמת. טבלת אמת מראה לכל צירוף אפשרי של ערכי האמת של הקלטים מה תהיה התוצאה.
קשרים מסווגים לפי כמות הקלטים שלהם. קשרים אונאריים (אחד קלט) וקשרים בינאריים (שני קלטים) הם השימושיים ביותר. קשרים טרנאריים או מורכבים נדירים או אינם מקובלים בלוגיקה פורמלית.
באופן מסורתי מגדירים חמש קשרים בסיסיים בלוגיקה מתמטית. את חמשת הקשרים הללו אפשר לבטא רק בעזרת NAND או רק בעזרת NOR. עם זאת, כל טבלת אמת מייצגת קשר חוקי, לכן קיימים ארבעה קשרים אונאריים ו־16 קשרים בינאריים בסך הכל. תחומים כמו אלגברה בוליאנית משתמשים גם ב־XOR וב־XNOR.
קשר לוגי הוא פעולה שלוקחת משפטים ומשתמשת בהם כדי ליצור משפט חדש. משפט הוא דבר שאפשר לומר אם הוא אמת או שקר.
קשרים מייצגים מילים כמו "וגם", "או", "לא" ו"אם-אז". הם עוזרים לחבר משפטים יחד.
יש גם משפטים שתמיד נכונים. לדוגמה: "a או לא a" תמיד נכון. ויש משפטים שתמיד לא נכונים. לדוגמה: "a וגם לא a".
כדי לבדוק מתי משפט נכון, משתמשים בטבלת אמת. טבלת אמת אומרת מה קורה לכל שילוב של תשובות.
קשרים יכולים לקבל קלט אחד או שניים. בדרך כלל משתמשים בקשרים עם קלט אחד או שניים.
תגובות גולשים