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