Логика и анализ: Установление истинности суждений