תחשיב הפסוקים

תחשיב פסוקים

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

מאמר זה משתמש בתוכן מ-ויקיפדיה^® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License

הגדר תחשיב הפסוקים

תרגם תחשיב הפסוקים