Публікація: Математическая логика и ее связи с формальной логикой
Немає доступних мініатюр
Дата
2019
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Київ: ГО “Київська наукова суспільнознавча організація”
Анотація
Символическая логика — это раздел формальной логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Для математика характерно широкое использование символики, которая, по сути, является аппаратом формальной логики. Запись логических рассуждений в виде математических символов придает доказательствам более краткий, простой вид. Формальная логика оперирует высказываниями (из них состоит и наша речь).
Опис
Ключові слова
логика, символ,, доказательство, предикат, формализация
Бібліографічний опис
Худаева С. А. Математическая логика и ее связи с формальной логикой / С. А. Худаева, Г. Г. Старикова // Матеріали мііжнародної науково-практичної конференції (м. Київ, Україна, 8-9 листопада 20-19 року). - Київ: ГО “Київська наукова суспільнознавча організація”, 2019. – С. 85-88.