Premise là gì?

Trong toán rời rạc (discrete mathematics) cụ thể là trong quy tắc suy luận (rules of inference), tiền đề (premise) là một phát biểu (statement) được giả định là đúng. Từ đó chúng ta có thể rút ra kết luận (conclusion). Ví dụ chúng ta có lập luận (argument) sau.

• Nếu tôi thích chó thì tôi thích gấu
• Tôi thích chó
• Do đó, tôi thích gấu

Lập luận này có các giả thuyết là "Nếu tôi thích chó thì tôi thích gấu" và "Tôi thích chó", kết luận là "Do đó, tôi thích gấu".