Предикатами называются функции, значениями которых служат высказывания. Данные функции превращаются в высказывания после подстановки имён вместо переменных.
Любая форма аргумента, допускающая подстановки истинных посылок одновременно с ложными заключениями, является необоснованной, и утверждение импликации в таком случае будет неверным.
Выдержки из русской классики со словом «подстановка»
Но в другой среде веками нарастают опять на это новое учение такие же наслоения, толкования, объяснения, опять подстановка человеческих низменных измышлений на место божеского откровения; вместо «и бог сказал Моисею» говорится: «изволися нам и св. духу».
Греческое слово ύπόστασις, означающее подстановку, и латинское слово persona, означающее маску, связанную с театральной ролью, очень несовершенно выражают личность в смысле, данном ей христианством и новой философией.
— Откуда это такой стакан с серебряной подстановкой? У меня прежде не было, — уставился Бежецкий на Акима, сев за стол и взяв в руки заинтересовавший его стакан.
Предикатами называются функции, значениями которых служат высказывания. Данные функции превращаются в высказывания после подстановки имён вместо переменных.
Заметим, что эти подстановки полностью сохраняются и при использовании Null-значений.
Любая форма аргумента, допускающая подстановки истинных посылок одновременно с ложными заключениями, является необоснованной, и утверждение импликации в таком случае будет неверным.