Что означает аббревиатура «EPSIDIC»? EPSIDIC расшифровывается как Extended Predicate Logic, что означает расширенная логика предикатов, которая расширяет логику предикатов, позволяя использовать переменные первого порядка.