susumu 12.k 命題論理学11 演繹定理