推論規則 | Nola's Backyard

いくつかの前提から、ある結論を導いてよいことを定める規則。

\frac{J_1\qquad J_2\qquad\cdots\qquad J_n}{J}

「横線より上の $J_1,\ldots,J_n$ がすべて成り立つとき、下の $J$ を導いてよい」と読む。

Example

プログラム意味論では、例えば次のものを導くために使う。

Note

前提を持たず、それ自体から結論を導ける規則は公理として表せる。