Tìm phán đoán tương đương lôgích với: a→¬ba \rightarrow \neg ba→¬b.
Trả lời:
Đáp án đúng: A
Ta cần tìm phán đoán tương đương lôgích với a→¬ba \rightarrow \neg ba→¬b. Theo định nghĩa của phép kéo theo, ta có a→¬b≡¬a∨¬ba \rightarrow \neg b \equiv \neg a \lor \neg ba→¬b≡¬a∨¬b.
Xét các phương án:
- Phương án 1: ¬(a∧b)≡¬a∨¬b\neg (a \land b) \equiv \neg a \lor \neg b¬(a∧b)≡¬a∨¬b. Đây chính là biểu thức tương đương với a→¬ba \rightarrow \neg ba→¬b.
- Phương án 2: ¬a∧¬b\neg a \land \neg b¬a∧¬b. Biểu thức này không tương đương với a→¬ba \rightarrow \neg ba→¬b.
- Phương án 3: ¬(¬a∧¬b)≡a∨b\neg (\neg a \land \neg b) \equiv a \lor b¬(¬a∧¬b)≡a∨b. Biểu thức này không tương đương với a→¬ba \rightarrow \neg ba→¬b.
- Phương án 4: a∨ba \lor ba∨b. Biểu thức này không tương đương với a→¬ba \rightarrow \neg ba→¬b.
Vậy, phương án 1 là đáp án đúng.
