דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
תרגול 1 תשעז
נוספו 11 בתים
,
11:15, 6 במרץ 2018
/* טאוטולוגיות */
הגדרה: נאמר שביטוי <math>A</math> שקול טאוטולוגית לביטוי <math>B</math> (ונסמן <math>A \equiv B</math>)
אם הביטוי <math>A \
iff
leftrightarrow
B</math> הינו טאוטולוגיה (במילים: A קורה אמ"מ B קורה)
====תכונות הקשרים====
אריאל
1,419
עריכות