推論規則

推論規則(すいろんきそく、英: rule of inference, inference rule, transformation rule)

形成規則(formation rule; F)

導入規則(introduction rule; I)

除去規則(elimination rule; E)

計算規則(computation rule)

確認用

Q. 推論規則

調査用

/pogi-log/Wikipedia.icon

/pogi-log/Wikipedia.icon