
「全てのマクドナルドは24時間営業である」という命題があるとします。ってのを、「マクドナルドの店舗」に北から順番に番号をつけて、n番目の店舗をnとして、「nは24時間営業である」をA(n)って表すと、「任意のnについて、A(n)」と書き換えることが出来ます。これが一階の述語論理。この論理では、真である命題は、推論規則によって必ず真と判定されるし、偽である命題は推論規則によって必ず偽と判・・・ --
http://bukubukubun.blog90.fc2.com/blog-entry-290.html
コメント欄を閉じる