Tìm phán đoán tương đương lôgích với: ¬a→b\neg a \rightarrow b¬a→b.
Trả lời:
Đáp án đúng: D
Phán đoán ¬a→b\neg a \rightarrow b¬a→b tương đương lôgích với a∨ba \lor ba∨b. Điều này xuất phát từ định nghĩa của phép kéo theo trong lôgic mệnh đề. Theo định nghĩa, p→qp \rightarrow qp→q tương đương với ¬p∨q\neg p \lor q¬p∨q. Do đó, ¬a→b\neg a \rightarrow b¬a→b tương đương với ¬(¬a)∨b(¬¬a) \lor b¬(¬a)∨b, và vì ¬(¬a)¬(¬a)¬(¬a) tương đương với aaa, nên kết quả cuối cùng là a∨ba \lor ba∨b.





