指示連体詞的論理の創設

• 束縛変項から自由変項へ

とする．

　　(二階述語論理)

手順

①　あるの指定

②　　∨　

③　，

例

(1)　すべての日本人はある人間である(束縛変項)

①　ある人間の中に日本人がいる(在る・有る)

②　

③　この日本人は人間である(自由変項)

(2)　すべての人間はある日本人である(束縛変項)

①　ある日本人は人間である

②　

③　この人間は日本人である(自由変項)

• 結果

長方形ならば正方形である

正方形ならば長方形である

長方形=正方形

となる背理を解消した．