שינויים

/* 3 */
===סמנו את השלילות===
*1. "לכל דג עם קשקשים ולכל חרק אם יש אדם ללא מחושים הדג שמח והחרק אינו יושב על פרחמטרה המתאימה לו, אין לאותה המטרה מי שיגשים אותה"
'''לא שלילה'''. נניח יש דג שמח עם קשקשים, חרק ללא מחושים שאינו יושב על פרח וחרק עם מחושים שכן יושב על פרח. במצב זה, הפסוק הזה והמקורי שניהם נכונים.אפילו לא פסוק תקני - מי היא אותה המטרה שאנו מדברים עליה?
*2. "אם יש דג ללא קשקשים ויש חרק ללא מחושים כך שאם הדג שמח החרק יושב על פרחאדם שכל מטרה אינה מתאימה לו, אז יש מטרה שאין מי שיגשים אותה"
'''לא שלילה'''. נניח ויש דג ללא קשקשים שמח וחרק ללא מחושים שיושב על פרחשהפסוק נכון, ודג עם קשקשים שמח וחרק עם מחושים שיושב על פרח. במצב זהאזי החלק הראשון של הגרירה בפסוק המקורי הוא שקר, והרי שקר גורר כל דבר, ומכאן שגם הפסוק הזה והמקורי שניהם נכוניםהמקורי נכון.
*3. "לכל מטרה יש דג ללא קשקשים ויש חרק ללא מחושים כך שהדג שמח והחרק אינו יושב על פרחמי שיגשים אותה או שיש אדם שכל המטרות אינן מתאימות לו"
'''לא שלילה'''. נניח ויש דג ללא קשקשים שמח וחרק ללא מחושים שאינו יושב על פרח, ודג עם קשקשים שמח וחרק עם מחושים שיושב על פרחלמעשה פסוק זה שקול לחלוטין לפסוק המקורי. במצב זההצרנת הפסוק הינה:<math>\Big(\exists a\in A \forall b\in B: \urcorner p(a, הפסוק הזה והמקורי שניהם נכונים.b)\Big)\or \Big(\forall b\in B \exists a\in A:q(a,b)\Big)</math>
*4. "לכל אדם יש דג עם קשקשים מטרה המתאימה לו ויש חרק עם מחושים כך שהדג שמח אך החרק אינו יושב על פרחמטרה שאין מי שיגשים אותה"
'''שלילה'''. ההצרנה של הפסוק הינה:
<math>\Big(\forall a\in A\forall exists b\in B:p(a,b)\and r(bBig)\and q\Big(a)\andexists b\in B \urcorner s(\exists a\in A:q(a,b))\Big)</math>
'''זכרו''' כי <math>\urcorner(p\rightarrow q) \equiv \urcorner (\urcorner p \or q) \equiv p \and \urcorner q</math>
*5. "קיים דג עם קשקשים וקיים חרק עם מחושים כך שלא נכון לומר שהחרק יושב על פרח או הדג שמח" '''לא שלילה'''.נניח יש דג עם קשקשים שאינו שמח וחרק עם מחושים שאינו יושב על פרח. במצב זה, הפסוק הזה והמקורי שניהם נכונים.=חלק שלישי=