מה זה קשר לוגי?

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

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

המילה שמקשרת בין המשפט להמשך שלו לדוגמה:

הלכו למוזיאון אחרי שטיילנו בפארק:

אחרי ש - קשר לוגי של זמן


עוד 1:

הלכנו לטייל מפני ששילמנו

מפני ש - קשר לוגי של סיבה ותוצאה