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