Силлогистика (Ильичёв, 1983)
СИЛЛОГИСТИКА (от греч. συλλογιστικός — выводящий умозаключение; дедуктивный), теория дедуктивного вывода, оперирующая высказываниями субъектно-предикативной структуры: S есть Р (где S — логическое подлежащее, или субъект, Р — логическое сказуемое, или предикат). В силлогистике выясняются общие условия, при которых из одного, двух или более высказываний — посылок указанной структуры — с необходимостью следует некоторое новое высказывание — заключение, а также условия, при которых такое следование не имеет места.