JavaScript is required

Tìm phán đoán tương đương lôgích với: ¬a→b\neg a \rightarrow b¬a→b.

A.

¬a∨b\neg a \lor b¬a∨b.

B.

¬a∧b\neg a \land b¬a∧b.

C.

a∧ba \land ba∧b.

D.
a∨ba \lor ba∨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.

Câu hỏi liên quan