מכינה למתמטיקה קיץ תשעב/תרגילים/8

1

קבעו אילו מן המשפטים הבאים שקולים לשלילה של המשפט "לכל קוף ולכל קרנף, יש ג'ירפה שאם אביה שמן כמו הקרנף, אז אמה מכוערת כמו הקוף"

• יש קוף כך שלכל הג'ירפות אין אבא שמן כמו אף קרנף או שאימן יפה מהקוף

• יש קוף, קרנף וג'ירפה עם אבא ששמן כמו הקרנף ואמא שיפה מהקוף

• לכל קוף אין קרנף כך שיש ג'ירפה שאם אביה שמן כמו הקרנף, אז אמה מכוערת כמו הקוף

• יש קוף וקרנף שלכל הג'ירפות שאין להן אבא שמן כמו הקרנף, אין להם אמא מכוערת כמו הקוף

• יש קוף וקרנף שלכל הג'ירפות שאביהן שמן כמו הקרנף, אימן יפה מן הקוף

• יש קוף וקרנף שלכל הג'ירפות או שאימן יפה מן הקוף או שאבא שלהן רזה מן הקרנף

מצא דוגמא נגדית לכל אחד מן המשפטים שאינו שקול לשלילה.