命題論理の自然演繹における定理・派生推論規則【4】二重否定律law of double negationの証明

命題論理の自然演繹における諸定理 【4】二重否定律　law of double negationの証明。派生推論規則の証明に対応。