統語論に関するいくつかのメモ 命題論理の論理式は帰納的に定義できる/命題論理の式全体をFとする. π ∈ F で、 α,β ∈ F ⇒ ￢α , α∧β , α∨β ∈F 。部分集合 Sf も帰納的に定義できる Sf π = {π}, Sf ￢α = {￢α}∪Sf α, Sf α○β = {α○β}∪Sf α ∪ Sf β n個の変数か…