הצרנה
שלום וברכה!
זוהי לא בדיוק שאלה תורנית, אבל בגלל שהרב מתעסק גם בתחומים אחרים רציתי לראות אם תוכל לעזור לי. התחלתי ללמוד לוגיקה והצרנות וממש הסתבכתי בהצרנת המשפט הבא:
לכל טבח קיים מאכל שהוא מכין טעים:
P(X) – x טעים F(Y) – y מאכל G(X,Y) – xמכין y טעים
הכמת לכל בתחילת המשפט נשמט לי כאן….
אופציה א: x ∃y :[(P(x)∧F(y)) ∧ G(x,y)]
היתרון של ההצרנה היא שאם איקס לא טבח זה אכן מחזיר ערך F אך הבעיה היא שלכאורה x יכול להיות גם דברים אחרים ולאו דווקא טבח ולכן קשה לומר את הטענה לכל איקס.
חשבתי על אפשרות שלדעתי קולעת לתרגום של המשפט:
x: P(x)→[∃y:F(y)∧G(x,y)[
הבעיה אם המשפט הזה הוא שהוא מקבל ערך T גם כש-x הוא לא טבח אז אולי זה לא שקול למשפט שרציתי להצרין]
הנוסחאות כאן התערבבו. לא הבנתי.
סליחה, אני לא מצליח לכתוב כאן את הנוסחאות בצורה רגילה. כיצד לדעתך מצרינים משפט כזה?
גם אני לא יודע לכתוב כאן נוסחאות.
תצרין מעל כלל האנשים/העצמים ולא מעל הטבחים: אם X הוא טבח, אז קיים אוכל Y שהוא טעים P(Y) וש-X יודע להכינו G.
(X): {T(X) -> E(Y):P(Y)^G(X,Y)}
אתה יכול להוציא את הכמת היישי החוצה, אבל לדעתי כך עדיף.
אבל אז לכאורה הגרירה יוצאת נכונה גם שx איננו טבח כי F גורר הכול – זה לא בעייתי?
ממש לא. בהחלט ייתכן שמי שאינו טבח יודע לבשל משהו טעים. הטענה היא שאם הוא טבח הוא יכול ולא שאם מישהו אינו טבח הוא לא יכול.
השאר תגובה
Please login or Register to submit your answer