מטרת הדיון שלפנינו היא לפתח מיומנות בניסוח השלילה של פסוקים כוללניים ושל פסוקים ישיים , כך שהפעולה תהיה אוטומטית ולא תצריך התעמקות בתוכן אלא רק במבנה הפסוק . לשם כך נזכיר שלניסוח השלילה של פסוק די לברר באלו מקרים הפסוק הנתון הוא שקר - אלו בדיוק המקרים בהם פסוק השלילה הוא אמת . דוגמה : הפסוק "לכל סיר יש מכסה" יתגלה כשקר אך ורק אם יתברר שיש סיר נטול מכסה . אם כך , השלילה שלו היא "קיים סיר ללא מכסה . " _? שלילה של עסוק כוללני הפסוק "לכל 67 ב-פ " ?( 61 ) , הוא אמת אם ורק אם בעבור כל הצבה של איבר 61 מתוך פ , הפסוק _ץם _? הנו אמת . אם כך , די שיהיה קיים £ > -ב איבר אחד _# אשר בעבורו ! . $ _* : הוא שקר כדי שהפסוק הכוללני יהיה שקר . נסכם : דוגמאות : שלילה של פסוקים כוללניים פסוק כוללני : ( כל ) מכוניות מכבי אש הן אדומות . שלילה : יש מכונית מכבי אש שאינה אדומה . התנסות : רשמו את השלילה של הפסוק "כל המכוניות שיצר פורד הן שחורות . " פסוק כוללני : ( כל ) היונקים חיים ביבשה . שלילה : יש יונק שאינו חי ביבשה ( פסוק אמת . ( פסוק כוללני ר כל המרבה הרי זה משובח . שלילה : יש המרבה ואינו משובח . התנסויות ...
אל הספר