משתנים המופיעים בהגדרה
+279
אין תקציר עריכה
+104
ארכוב
ארכוב
-13,796
הוכחת טענות מכומתות
-50
שלילת כמתים
-1,733
העברה נוספת
+3,135
שלילת כמתים
+630
פסוקים עם כמתים
+281
וריאציות וכימות יחסי
+5
משתנים ותחולתם
+15
פסוקים אמיתיים
+987
פרדיקטים
+21
טבלאות אמת
+822
הקשרים הלוגיים
-70
אין תקציר עריכה
+1,600
שאלה - אוטומורפיזמים ב-Sn
+181
שאלה - אוטומורפיזמים ב-Sn
+1,255
משתנים ותחולתם
+1,125
אין תקציר עריכה
+139
שגיאות נפוצות
+210
הוכחת טענות מכומתות
+753
אין תקציר עריכה
+639
שגיאות נפוצות
+104
הוכחת טענות מכומתות
-259
הוכחה בדרך השלילה
+540
הוכחה בדרך השלילה
+32
המושג המוגדר
+57
המבנה של הגדרות
+2
הגדרות
+9
על מה מכמתים
-294
על מה מכמתים
+1
וריאציות וכימות יחסי
-96
פרדיקטים
+20
טבלאות אמת
+7
טבלאות אמת
+104
טבלאות אמת
-8
הקשרים הלוגיים
+166
ערך אמת
-96
הצרנת פסוקים
+83
המושג המוגדר
+1,097
וריאציות וכימות יחסי
+2
וריאציות וכימות יחסי
+5