ארז שיינר
החלפת הדף בתוכן "חזרה למערכי התרגול בשיעור זה פתרנו את הבוחן של היום."
-6,429
ארז שיינר
←הוכחת פסוק עם כמתים- לכל או קיים
+383
ארז שיינר
←הוכחת שקילות לוגית - אם ורק אם
+785
ארז שיינר
←הוכחת שקילות לוגית - אם ורק אם
+952
ארז שיינר
←הוכחת פסוק עם כמתים- לכל או קיים
+208
ארז שיינר
←הוכחת פסוק עם כמתים- לכל או קיים
+317
ארז שיינר
←הוכחה בשלילה
+202
ארז שיינר
←הוכחת פסוק עם כמתים- לכל או קיים
+658
ארז שיינר
←הכלה דו כיוונית
+1,191
ארז שיינר
←הוכחה בשלילה
+749
ארז שיינר
←הוכחה בשלילה
+162
ארז שיינר
יצירת דף עם התוכן "==שיטות הוכחה== ===הוכחה בשלילה=== הוכחה בשלילה מבוססת על הטאוטולוגיה <math>(\sim p \rightarrow F)\rightarrow p<..."
+982