Дедуктивный Вывод

Процесс  установления логической связи между двумя и более переменными при помощи пропозициональной функции.