שינויים

קפיצה אל: ניווט, חיפוש
/* טאוטולוגיות */
פתרון:
מתקיים <math>A\to B \equiv \neg A \or B</math>
ומתקיים <math>A \and B = \equiv \neg(\neg A \or \neg B)</math>
הוכח את הבאים:
1,419
עריכות