Luật khẳng định, phủ định và ứng dụng

Lập luận khẳng định và phủ định được ứng dụng nhiều trong thực tế, đặc biệt là trong y học. Bài viết giới thiệu một số khái niệm mở rộng luật phủ định, luật tối thiểu, thuật toán phát hiện tất cả luật khẳng định, phủ định tối thiểu.