Методы доказательства и опровержения в логике: Инструменты мышления