Докажите что справедливо логическое следование

По определению Φ⊨Ψ если при истинной Φ обязательно истинна Ψ. Построим таблицы истинности
P
Q
P∨Q
P∧Q
P∨Q→P∧Q
P→Q
0 0 0 0 1 1
0 1 1 0 0 1
1 0 1 0 0 0
1 1 1 1 1 1
Из таблицы видно, что когда истинна формула P∨Q→P∧Q — 1-я и 4-я строки, истинна и формула P→Q, значит логическое следование справедливо