Wikipedia ויקיפדיה העברית - האנציקל...
Download this dictionary
קשר לוגי
קַשָּׁר לוגי
הוא
פונקציה
המייצרת מקבוצה של
פסוקים
לוגיים או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמשים ב
תחשיב הפסוקים
וב
תחשיב הפרדיקטים
כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם-אז".
להמשך המאמר ראה Wikipedia.org...
© מאמר זה משתמש בתוכן מ-
ויקיפדיה®
וכפוף לרשיון לשימוש חופשי במסמכים של גנו
GNU Free Documentation License
וכפוף לרישיון
Creative Commons ייחוס-שיתוף זהה