171. “Khi đột nhập vào nhà nạn nhân, bị cáo tuyên bố với nạn nhân rằng, bị cáo sẽ giết nạn nhân nếu nạn nhân không đưa tiền cho bị rằng, bị cáo sẽ giết nạn nhân nếu nạn nhân không đưa tiền cho bị cáo. Điều này được bị cáo xác nhận là có. Bên cạnh đó cơ quan điều tra cũng đã có kết luận rằng, ngay sau lời tuyên bố của bị cáo, nạn nhân đã đưa tiền cho bị cáo. Vậy suy ra rằng, bị cáo đã không giết nạn nhân”. Suy luận này đúng hay sai; viết sơ đồ suy luận?
A) Sai; [(~p → r) ∧ p] ~r.
B) Đúng; [(~p → r) ∧ p] ~r.
C) Đúng; [(p → ~r) ∧ p] ~r.
D) Sai; [(p → ~r) ∧ p] ~r.
172. Cho suy luận: “Nếu Q uống quá nhiều rượu thì anh ấy say xỉn. Q không say xỉn. Vậy có nghĩa là anh ấy không uống, hoặc chỉ Q không say xỉn. Vậy có nghĩa là anh ấy không uống, hoặc chỉ uống ít rượu”. Suy luận này đúng hay sai; viết sơ đồ suy luận?
A) Đúng; ((p → q) ∧ p) → q.
C) Đúng; ((p → q) ∧ ~q) → ~p.
D) Sai; ((p → q) ∧ ~ q) → (r ∨ s).
173. “Nếu trời mưa mà ta không mặc áo mưa thì đi đường sẽ bị ướt; Vì vậy, nếu trời không mưa hoặc ta có mặc áo mưa thì đi đường sẽ Vì vậy, nếu trời không mưa hoặc ta có mặc áo mưa thì đi đường sẽ không bị ướt”. Suy luận này đúng hay sai; viết sơ đồ suy luận?
A) Đúng; [(p ∧ q) → r] [(~p ∨ ~q) → ~r].
B) Sai; [(p ∧ q) → r] [(~p ∨ ~q) → ~r].
C) Đúng; [(p ∧ ~q) → r] [(~p ∨ q) → ~r].
D) Sai; [(p ∧ q) → r] [~(p ∧ q) → r].
174. Sơ đồ suy luận nào đúng?
A) {[(a → b) ∧ (c → d)] ∧ (b ∨ d)} ⇒ (a ∨ c).
B) {[(a → ~b) ∧ (c → ~d)] ∧ (b ∨ d)} ⇒ ~(a ∧ c).
C) {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ (a ∨ c).
D) {[(a → b) ∧ (c → d)] ∧ (~b ∨ ~d)} ⇒ ~(a ∨ c).
175. Sơ đồ suy luận nào đúng?
A) {[(a → b) ∧ (a → d)] ∧ (b ∨ d)} ⇒ a.
B) {[(a → ~b) ∧ (c → ~b)] ∧ ~b} ⇒ (a ∨ c).
C) {[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ ~a.
D) {[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ a.
176. Thế nào là suy luận quy nạp?
A) SL từ tiền đề chứa tri thức riêng rút ra kết luận chứa tri thức bao quát
mọi tri thức riêng đó.
B) SL đem lại tri thức tổng quát và gần đúng.