פסוק (לוגיקה)
פסוק הוא משפט שלם. משפט זה יכול להיות אמת או שקר. (אמת - משהו שנכון; שקר - משהו שלא נכון.) פסוק חיווי אומר טענה. (טענה - משהו שאפשר לבדוק אם נכון או לא.) דוגמה פשוטה: "יורד גשם". גם משפטים דמיוניים כמו "יש חד־קרן על צדק" הם פסוקים כי אפשר לדמיין אם הם נכונים או לא. בספרים של לוגיקה אומרים: נוסחה ב...
תחשיב הפסוקים
תחשיב פסוקים הוא דרך רשמית לבדוק טענות אמיתיות או שקריות. המערכת מסתכלת רק על "אמת" ו"שקר", לא על התוכן. אם אומרים: "אם חרק הוא נמלה אז הוא חי בתל" ו"החרק הוא נמלה", אז המסקנה היא שהוא חי בתל. זהו סוג של חשיבה לוגית פשוטה. משנים משפטים לאותיות קבועות. כל אות מייצגת טענה אחת. קשרים חשובים: - שלילה...