- 245 名前：１３２人目の素数さん [2011/11/05(土) 21:23:51.57 ]
- >>244
＞「論理的述語記号だけ特別扱いするのは卑怯ではないだろうか？」
上記の文章は理解できない。
もし、
「論理記号によって書かれた述語だけを
述語として認めるのはおかしいだろう？」
といいたいのであれば、全くその通りである。
実は一階述語論理と二階述語論理の違いはそこにある。
一階述語論理では、論理式として書けるものしか拘束できない。
しかしながら、二階述語論理では、述語全体を束縛する演算子
として∀、∃を用いることができる。
