תחשיב הפרדיקטים
אני אודה לכל מי שיוכל להעיף מבט ולעזור.... רציתי לדעת אם המעבר הטענה הבאה נכונה וניתן להתשמש בה ללא הוכחה: phi == > psi אמ"מ val(phi-->psi,g) = T שאלה אחרת- נתבקשנו לרשום נוסחא: הצמצום של f לim(f) היא פונ' חח"ע Any x Any y ((phi(x) and phi
^ (f(x) = f)) ----> (x=y)) z שאומר לכל x ולכל y: אם x וy שייכים לטווח של f וגם התמונה של שניהם שווה אז בהכרח x=y Any x Any y ((phi(x) and phi)---> ( (f(x) = f) ----> (x=y))) z שאומר לכל x ולכל y: אם x וy אז (אם תמונותיהם שוות אז בהכרח x=y) האם יש הבדל לוגי בין שתי הנוסחאות? אם כן מה עדיפה? והאם יש כלל מתי להעזר באחת על פני האחרת? (כאשר מגדירים תחום נגיד, או בדקית "נכונות קלט/ קלט רלבנטי" (זה לא באמת קלט... אבל זה המושג הכי קרוב שמצאתי לכביכול קלט של הנוסחא). המון תודה על כל עזרה
אני אודה לכל מי שיוכל להעיף מבט ולעזור.... רציתי לדעת אם המעבר הטענה הבאה נכונה וניתן להתשמש בה ללא הוכחה: phi == > psi אמ"מ val(phi-->psi,g) = T שאלה אחרת- נתבקשנו לרשום נוסחא: הצמצום של f לim(f) היא פונ' חח"ע Any x Any y ((phi(x) and phi
^ (f(x) = f)) ----> (x=y)) z שאומר לכל x ולכל y: אם x וy שייכים לטווח של f וגם התמונה של שניהם שווה אז בהכרח x=y Any x Any y ((phi(x) and phi)---> ( (f(x) = f) ----> (x=y))) z שאומר לכל x ולכל y: אם x וy אז (אם תמונותיהם שוות אז בהכרח x=y) האם יש הבדל לוגי בין שתי הנוסחאות? אם כן מה עדיפה? והאם יש כלל מתי להעזר באחת על פני האחרת? (כאשר מגדירים תחום נגיד, או בדקית "נכונות קלט/ קלט רלבנטי" (זה לא באמת קלט... אבל זה המושג הכי קרוב שמצאתי לכביכול קלט של הנוסחא). המון תודה על כל עזרה