12/01/09 01:00:30.34
>>214
はい。
ともかくモデルによる充足関係T|=AとT|-Aの関係を見るときは
Tとして閉論理式の集合のみを考えるようにすれば問題ない、
しかし演繹定理などの構文論の定理は閉論理式という制約のない形で述べておいた方が
使い勝手が良いという理解でよろしいでしょうか？
>>215
Xに当たるものはいわゆる論理公理・推論規則で|-の左側にくるものは非論理公理と呼ばれるものであっていますか？
12/01/09 01:00:30.34
>>214
はい。
ともかくモデルによる充足関係T|=AとT|-Aの関係を見るときは
Tとして閉論理式の集合のみを考えるようにすれば問題ない、
しかし演繹定理などの構文論の定理は閉論理式という制約のない形で述べておいた方が
使い勝手が良いという理解でよろしいでしょうか？
>>215
Xに当たるものはいわゆる論理公理・推論規則で|-の左側にくるものは非論理公理と呼ばれるものであっていますか？