שינויים
/* קבוצות */
(מותר לכם להשתמש בכמתים באופן הבא <math>\forall a\in A, \exists a\in A</math>)
==שקילות==
הגדרה: טענות <math>A_1,A_2,...,A_n</math> שקולות אם ((כולן אמיתיות יחד) או (כולן שקריות יחד)).
*הוכח שמספיק להוכיח את הטענות הבאות על מנת להוכיח ש<math>A_1,A_2,...,A_n</math> שקולות:
<math>A_1\rightarrow A_2</math>,
<math>A_2\rightarrow A_3</math>,
:<math>\vdots</math>
<math>A_{n-1}\rightarrow A_n</math>,
<math>A_n\rightarrow A_1</math>