|
|
עמוד:7
שלילה בשפת הדיבור , כשאומרים פסוק מתכוונים לקבוע שהפסוק הוא אמת . למשל , כשאומרים ' יורד גשם ' הכוונה היא לקבוע שיורד גשם , כלומר שערך האמת של הפסוק ' יורד גשם ' הוא . T כדי לקבוע שערך האמת של הפסוק ' יורד גשם ' הוא F אומרים פסוק אחר : ' לא יורד גשם ' , או ' לא נכון שיורד גשם ' . הפסוק ' לא יורד גשם ' הוא אמת כאשר ' יורד גשם ' הוא שקר . לעומת זאת , כאשר ' יורד גשם ' הוא אמת , ' לא יורד גשם ' הוא שקר . הפעולה המניבה מכל פסוק ϕ ϕ את הפסוק ' לא נכון ש- ϕ , ' ϕ מוכרת לכולכם בכינוי הפסוק המתקבל על-ידי שלילת ϕ מכונה השלילה של ϕ . › לסימול השלילה של ϕ נרשום : ϕ . ¬ ϕ את הביטוי ' ϕ ¬' ϕ נהגה בעברית בקיצור ' לא ϕ דוגמאות ( 1 ) כאשר ϕ מסמל את ' אכלתי ' , ϕ )' ¬ ϕ לא ϕ ' ϕ ) מסמל את ' לא אכלתי ( 2 ) כאשר ψ ψ מסמל את ' אין לי מזל ' , ψ ¬ ψ מסמל את ' לא נכון שאין לי מזל ' , כלומר את לי מזל ' . ( 3 ) יהי a מספר ממשי נתון : כאשר η η מסמל את ' a )' ' a > 2 גדול מ- ¬ η , ( ' 2 את ' a )' ' a / > 2 אינו גדול מ- , ( ' 2 אשר הטענה שבו זהה לזו שבפסוק ' . ' a ≤ 2 ϕ 1 היא אות יוונית הנהגית בעברית ' פי ' ( וראו גם בנספח שבעמוד . ( 223 ψ 2 היא אות יוונית הנהגית בעברית ' פסי ' . η 3 היא אות יוונית הנהגית בעברית ' אטה ' . 5 . 1 קשרים פסוקיים כצעד ראשון בלוגיקה נלמד לייצג בדרך סימבולית מספר פעולות לשוניות מוכרות משפות הדיבור , שבעזרתן מייצרים פסוקים חדשים מפסוקים נתונים . פרק 5 לוגיקת הפסוקים
|
|