חיפוש הקהילה
מציג תוצאות עבור תגיות 'תרגיל בית 9'.
נמצאו 1 תוצאה
-
http://i.imm.io/S2cp.png (אנו במערכת http://www.codecogs.com/gif.latex?WFF_%7B%5C%7B%5Crightarrow,%5Clnot%5C%7D%7D , הפונקציה subst הוגדרה בעבר והיא הצבה כלשהי של פסוקים במקום משתנים) ברורה לי הנכונות של הטענה, רק לא ברור איך בדיוק להוכיח זאת... האם אפשר לעשות אינדוקציה על אורך סדרת ההוכחה של http://www.codecogs.com/gif.latex?%5Calpha ? ואיך בדיוק עושים את זה? תודה!
