Hãy để biểu thị một ngày là mưa, R G biểu thị khu vườn lớn và H biểu thị nóng. Sau đó, chúng tôi có cơ sở R → G, ¬H → ¬G và ¬H → R. Chúng tôi muốn cho rằng ¬H → H. Lấy contrapositive tiền đề thứ hai và áp dụng các quy tắc suy luận giả thuyết syllogism hai lần cho chúng ta kết luận. Do đó, các đối số là âm thanh.
đang được dịch, vui lòng đợi..
