שינויים
/* חלק שני */
=חלק שני=
==1==
*"כל מאכל, יש שף שמכין אותו טעים"
נסמן:
*A קבוצת המאכלים
*B קבוצת השפים
*<math>P(a,b)</math> = השף b מכין את המאכל a טעים.
הצרנת הפסוק הינה
*<math>\forall a\in A\exists b\in B:P(a,b)</math>
===סמנו את השלילות===
*"כל מאכל, יש שף שמכין אותו לא טעים"
'''לא שלילה'''. ייתכן וכל השפים מכינים את כל המאכלים לא טעים, ושני הפסוקים שקריים.
*"יש מאכל שכל השפים מכינים אותו לא טעים"
'''שלילה'''. הצרנת הפסוק:
<math>\exists a\in A\forall b\in B: \urcorner P(a,b)</math>
*"כל מאכל, כל השפים מכינים אותו טעים"
'''לא שלילה'''. אם הפסוק הזה נכון וקיים מאכל כלשהו, אז בפרט הפסוק המקורי נכון.