לילה טוב (שוב)
עכשיו אני מתרגל הגיון (נושא שאני קצת לא יציב בו. לפעמים הכל נכון, ולפעמים גם קרה לי שהיו לי 4 טעויות)
שמתי לב שבכל מה שקשור להגיון פורמלי, כלומר בהצרנות, לא בהכרח עדיף להצרין כל הזמן.
עכשיו אני עושה מקבצים של הגיון פורמלי, ולראשונה אני מנסה לתרגל בלי הצרנות, ו...התוצאות מעולות פשוט!
חוסך לי מלא זמן, וזה לפעמים פשוט קל יותר מלהתחיל לצייר הכל
מה אתם עושים בשאלות הגיון פורמלי? לדעתכם זה חכם מה שאני עושה, או שזה הימור מסוכן? גם אתם לפעמים מוותרים על ההצרנה?