המושג הבסיסי ביותר בלוגיקה הוא פסוק . פסוק הוא משפט , מנוסח בשפת הדיבור ( מתוגברת לעתים על ידי סימנים מתמטיים , ( שיש בו קביעה שהיא אחת מהשתיים : נכונה ( אמת ) או אינה נכונה ( שקר . ( לשון אחר , חייב להתקיים בפסוק ( ב ה ֶ קשר הנתון , ( באופן ברור וחד-משמעי , אחד ורק אחד משני המצבים הללו : אמת , שקר . סימון : נהוג לסמן את שני המצבים ב - TRUE ) T - נכון , אמת ) - FALSE ) F , לא נכון , שקר . ( כמקובל במתמטיקה נסמן פסוקים באותיות q , p וכו . ' דוגמאות ש ל פסוקים - p כדור הארץ נע במסלול אליפטי סביב השמש . - q אילת שוכנת על שפת הים השחור . - r אינץ ' אחד שווה ערך ל 2 . 54 - ס " מ . - s המספר 111 מתחלק ב- 11 ללא שארית . - t היקום הוא אינסופי . - u למשוואה 5 x + 13 x -19 x + 7 = 0 יש פתרון ממשי . - w 1 היום יום ראשון . - w 2 אברהם הוא אבי יצחק - w 3 . השמש שוקעת בכיוון הים . ניתוח ה דוגמאות - הקביעה בפסוק שסומן p נכונה , ואילו זו שבפסוק שסומן q אינה נכונה . נאמר ש ע רך האמת של פסוק p הוא T ( אמת , ( וערך האמת של פסוק q הוא ) F שקר . ( - באופן דומה , ערך האמת של r הוא T ( אמת , ( וערך האמת של s...
אל הספר