【Event-B學習筆記】1：相繼式(Sequent)和推理規則(Inference Rule)

1 關於"謂詞"和"命題"的理解 剛接觸的時候對Event-B資料裏大篇幅使用"謂詞"這個詞（而不是"命題"）感到非常疑惑，在我以往的印象裏，類似"大於"，「小於」，"是一隻貓"這種表述關係的是叫謂詞，其中前兩個是二元謂詞，最後一個是一個一元謂詞。 現在理解下來，Event-B裏的謂詞確實就應該叫"謂詞"，而不是"命題"。試想 2 > 3 2>3 2>3是一個命題（假命題），這沒什麼問題，但是 n

>>阅读原文<<