Đề bài:
Chứng minh mệnh đề sau là mệnh đề hằng đúng : $ p \Rightarrow ( p \vee q) $
Lời giải
Dựa vào các công thức : $ \begin{array}{l}
p \Rightarrow q \equiv \bar p \vee q\\
p \wedge q \equiv \bar p \vee \bar q\\
\bar p \Rightarrow \bar q \equiv p \wedge \bar q
\end{array} $
Và định lý De Morgan để Chứng minh hoặc dung bảng chân trị để kiểm chứng.
Ta có : $ \begin{array}{l}
p \Rightarrow \left( {p \vee q} \right) \equiv \bar p \vee \left( {p \vee q} \right) \equiv \bar p \vee p \vee q\\
\end{array} $
Vậy $ p \Rightarrow \left( {p \vee q} \right) = 1 $
Trả lời