Let R denote a day is rainy, G deno

Let R denote a day is rainy, G denote gardens grow and H denote it is hot. We then have the premises R → G, ¬H → ¬G and ¬H → R. We want to show that ¬H → H. Taking the contrapositive of the second premise and applying the hypothetical syllogism inference rule twice gives us the conclusion. Hence the argument is sound.

Kết quả (Việt) 1:

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.

Kết quả (Việt) 2:

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