#valid và sound

Lập luận hợp lệ và lập luận đúng khác nhau thế nào trong logic

Hợp lệ là tiền đề đúng thì kết luận không thể sai; vững là hợp lệ và mọi tiền đề đúng thật. Lập luận hợp lệ vẫn ra kết luận sai nếu tiền đề sai.