構造規則

論理の形式言語のルール

形式論理における構文や証明論にあたる

意味

前提部分に適用できる変換規則

要は、（記号）列を集合の様に あつかいたい。

規則

Weakening (W)

Permutation (P)

ref.