Связь доводов в аргументах (схема), при которой заранее определены значения связок и термов и поэтому положение (вывод) аргумента обязательно или в точно заданном смысле вытекает из доводов (посылок) называется: