Примеры и объяснения разделительных доказательств в логике