Худаева, С. А.Старикова, Г. Г.2020-01-202020-01-202019Худаева С. А. Математическая логика и ее связи с формальной логикой / С. А. Худаева, Г. Г. Старикова // Матеріали мііжнародної науково-практичної конференції (м. Київ, Україна, 8-9 листопада 20-19 року). - Київ: ГО “Київська наукова суспільнознавча організація”, 2019. – С. 85-88.http://openarchive.nure.ua/handle/document/10596Символическая логика — это раздел формальной логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Для математика характерно широкое использование символики, которая, по сути, является аппаратом формальной логики. Запись логических рассуждений в виде математических символов придает доказательствам более краткий, простой вид. Формальная логика оперирует высказываниями (из них состоит и наша речь).ruлогикасимвол,доказательствопредикатформализацияThesis