Логіка класична

сукупність логічних теорій, що характеризуються класичною оцінкою істиннісних значень формул та класичним розумінням заперечення