דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 0
נוספו 5 בתים
,
18:59, 1 בנובמבר 2014
/* טאוטולוגיות */
פתרון:
מתקיים <math>A\to B \equiv \neg A \or B</math>
ומתקיים <math>A \and B
=
\equiv
\neg(\neg A \or \neg B)</math>
הוכח את הבאים:
אריאל
1,419
עריכות