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