Suy luận tự nhiên trong luận lý mệnh đề

II. Suy luận tự nhiên trong luận lý mệnh đề

ntsơn

.Chứng minh
Thí dụ : Tam giác ABC có các cạnh là AB = 3, BC = 4, CA = 5. Chứng minh ABC vuông. Chứng minh : (1) cạnh AB = 3. (2) cạnh BC = 4. (3) cạnh CA = 5. (4)