Formal reasoning is guided by algor

Formal reasoning is guided by algorithms and the rules of logic, but there are no foolproof methods for informal reasoning. Consider,for example, how many white swans you would have to see before concluding that all swans were white

Results (Vietnamese) 1:

Lý do chính thức được định hướng bởi thuật toán và các quy tắc của logic, nhưng không có không có phương pháp cao độ cho lý luận không chính thức. Xem xét, ví dụ, Thiên Nga trắng bao nhiêu bạn sẽ phải nhìn thấy trước khi kết luận rằng tất cả Thiên Nga đã được trắng

Results (Vietnamese) 2:

Lý luận chính thức được hướng dẫn bởi các thuật toán và các quy tắc của logic, nhưng không có phương pháp hoàn hảo cho lý luận chính thức. Xem xét, ví dụ, bao nhiêu thiên nga trắng bạn sẽ phải nhìn thấy trước khi kết luận rằng tất cả các con thiên nga trắng