תרגול התכונות - כתיבת הוכחות פורמליות
תרגיל 1:
שאלה 2:
תרגיל 3:
תרגיל 4:
[br]
תרגיל 5:
תרגיל 6:
תרגיל 7:
תרגיל 8:
תרגיל 9:
תרגיל 10:
תרגיל 11:
Schließen
Überprüfen
Neuer Versuch
Information: תרגול התכונות - כתיבת הוכחות פורמליות