Re: プログラミングと論理学(R e:Re[2]: 大文字と小文字の区別 )

DSS です．

"Shinji KONO" wrote
    <3991280news.pl@rananim.ie.u-ryukyu.ac.jp>
    about "Re: プログラミングと論理学(R e:Re[2]: 大文字と小文字の区別 )"
    on Fri, 18 Feb 2005 05:00:35 +0000 (UTC)

>僕は、
>       日常言語と、論理学
>ってのは、それほど差はないと思う。ちゃんと日常言語でコミュニケーション
>できるってのは、論理学の基本を理解していることなんだよね。論理学の言葉
>で言えば、
>       命題論理の完全性
>       述語論理の充足性
>あたりを理解してないと日常会話できないと思う。これは、そんなに難しくない。

茶々になってしまうんですが．．．．
命題が真であれば対偶も真なんですが，一般的な会話で対偶で突っ込むと「誰
がそんなこと言ったぁっ！！！！！！！！」ってなります(笑)

2005/02/24(Thu) 15:53:06
-- 
                                   Word by DSS
DSS@mbj.nifty.com
http://homepage2.nifty.com/DSS/