證明系統裡有公理(axiom)和推論規則(rule of inference)這兩個部分。 Kiki上課時用的證明系統(PS ... 意思是A是由Γ這組前提,以及公理和推論規則產生的語句。
確定! 回上一頁