Quy tắc suy luận nào sau đây là Modus Ponens (khẳng định)?

Câu hỏi này kiểm tra kiến thức về các quy tắc suy luận trong logic mệnh đề. Cụ thể, ta có thể phân tích suy diễn đã cho như sau:

- Giả thiết 1: Nếu là phi công thì phải biết lái máy bay (P → Q)

- Giả thiết 2: An là phi công (P)

- Kết luận: An biết lái máy bay (Q)

Suy diễn này tuân theo quy tắc Modus Ponens, còn được gọi là luật khẳng định. Luật khẳng định nói rằng nếu P kéo theo Q là đúng, và P là đúng, thì Q cũng phải đúng.

Trong các lựa chọn:

- Luật cộng không áp dụng ở đây.

- Luật rút gọn cũng không phù hợp.

- Luật phủ định (Modus Tollens) có dạng: Nếu P → Q và ¬Q thì ¬P, và không phù hợp với suy diễn này.

Vậy đáp án đúng là luật khẳng định.

Để đơn giản hóa hàm Boole f = x + xy, ta có thể sử dụng luật hấp thụ trong đại số Boole. Luật hấp thụ nói rằng x + xy = x. Do đó, hàm f = x + xy tương đương với hàm f = x.

Vì A và B rời nhau, số phần tử của hợp của A và B bằng tổng số phần tử của A và B. Tức là, \(\left| {A \cup B} \right| = \left| A \right| + \left| B \right| = 12 + 18 = 30\).