שינויים
/* הוכחה באמצעות טבלת אמת */ פסקה חדשה
:בקבוצה חלקית אנו מתכוונים לקבוצה המוכלת (אחת מהקבוצות השייכות לקבוצת החזקה) --[[משתמש:ארז שיינר|ארז שיינר]] 21:39, 26 ביולי 2011 (IDT)
== הוכחה באמצעות טבלת אמת ==
האם הוכחה באמצעות טבלת אמת היא פורמלית?