BMA1_001 סימונים לוגיים

סימונים לוגיים

גרירה

הגדרה: גוררת טענה , אם הנכונות של נובעת מהנכונות של . מסמנים גרירה זו:

דוגמאות:

1. טענה גוררת את טענה וגם את טענה . רושמים:

נציין שאם לא בהכרח גורר ש-, כלומר, הטענה ההפוכה אינה נכונה. אך אם אזי גם :

שקילות

הגדרה:

אומרים שטענות ו- הן שקולות אם גוררת את ו- גוררת את . מסמנים גרירה זו:

דרך אחרת לומר זאת היא לומר ש- מתקיימת אם ורק אם (אמ”ם) מתקיימת.

דוגמאות:

1. הטענה שקולה לטענה ורושמים:

או במילים אחרות: אמ”ם .

סימון:

• הסימון משמעותו “לכל”. למשל משמעותו “לכל . למשל משמעותו “לכל שלם”.
• הסימון משמעותו “קיים”. למשל משמעותו “קיים “. למשל משמעותו “קיים שלם”. למשל הרישום אומר “קיים שהוא מסמפר ממשי כך ש- הוא מספר שלם”. זה אפילו נכון.