שינויים

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