6. Логіка доведення