Дедуктивный метод получения новых знаний в науке
Множество высказываний Г дедуктивно предполагает некоторое высказывание А (символически Г |— А), если и только если во всех возможных ситуациях, в которых истинны все высказывания из Г, истинно также А.