| метод цепных | подстановок |
ПОДСТАНО́ВКА, -и, ж. Действие по глаг. подставить—подставлять (в 3 знач.). Подстановка числовых показателей в буквенное алгебраическое выражение. (Малый академический словарь, МАС)
ПОДСТАНО́ВКА, -и, ж. Действие по глаг. подставить—подставлять (в 3 знач.). Подстановка числовых показателей в буквенное алгебраическое выражение.
Все значения слова «подстановка»Предикатами называются функции, значениями которых служат высказывания. Данные функции превращаются в высказывания после подстановки имён вместо переменных.
Заметим, что эти подстановки полностью сохраняются и при использовании Null-значений.
Любая форма аргумента, допускающая подстановки истинных посылок одновременно с ложными заключениями, является необоснованной, и утверждение импликации в таком случае будет неверным.