רוטר - עזרה בלוגיקה (HPC)

יומן פעילות	לוח שנה	מבזקי חדשות	תקנון	RSS	כותרות	כותרות לפי תגובה	ניקוי קוקיז	IP	להורדת אפליקציה
eBay	AliExpress	GearBest	Amazon	Booking	Kiwi	SkyScanner	Trip Advisor

"עזרה בלוגיקה (HPC)"

גירסת הדפסה

קבוצות דיון לימודים, מדע ותרבות נושא #10639	מנהל סגן המנהל מפקח Winner צל"ש מומחה

אשכול מספר 10639

Bomfunk MC's
חבר מתאריך 1.7.02
123 הודעות

23:14 22.11.10

עזרה בלוגיקה (HPC)

הוכח (בלי להשתמש במשפט השלמות):
├ (A→B)→(⌐B→⌐A)
האקסיומות שמותר להשתמש בהן:
1. A→(B→A)
2. (A→(B→C))→((A→B)→(A→C))
3. (⌐B→⌐A)→((⌐B→A)→B)

וכמובן בכלל MP.

חוץ מלפתח את האקסיומות בצורה רנדומלית אני לא ממש מבין את האלגוריתם לפתרון - אם קיים כזה בכלל. תודה.

שתף

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד