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