Ага, Мендельсон, ну конечно. Если мы придадим те же самые значения. А если придадим другие?
К тому же а где доказано, что если подставить вместо пропозициональных переменных формулы, где, возможно, будут свои новые пропозициональные переменные, то истинностное значение формулы до подстановки будет иметь то же истинностное значение, что и у формулы после подстановки (даже с учетом равенства истинностных значений переменных и формул)?

Короче новука не даказала