Cześć
Niech \(\displaystyle{ \models \phi \rightarrow \psi}\)
Pokaż, że \(\displaystyle{ \models (\phi [0/q] \vee \phi [1/q] \rightarrow \psi}\) gdzie \(\displaystyle{ q}\) to zmienna należąca do \(\displaystyle{ \phi}\) i nie należąca do \(\displaystyle{ \psi}\).
Czy to nie jest oczywiste? Przecież skoro z założenia każde wartościowanie sprawia, że taka implikacja jest prawdziwa to również takie, w których q jest ustawione na 1 lub na 0?