שינויים
/* טעות? */ פסקה חדשה
:::מותר להשתמש בסוגריים מסולסלים לצורך ציון קבוצה, כלומר <math>\forall a\in\{2,3,4\}\exists k:2k=a</math>. מה הכוונה בכמתים בלבד? --[[משתמש:ארז שיינר|ארז שיינר]] 16:00, 19 ביולי 2011 (IDT)
== טעות? ==
אני חושב שהטאוטולוגיה השניה שגויה.
אולי היה צריך להיות גורר במקום iff:
http://www3.wolframalpha.com/Calculate/MSP/MSP265519gaf7048ag143bg00003915ce5i9gdbd27a?MSPStoreType=image/gif&s=10&w=181&h=148
משתמש אלמוני