9: 2016-03-09 (水) 16:16:59 osinko | 現: 2016-03-10 (木) 21:00:10 osinko | ||
---|---|---|---|
Line 56: | Line 56: | ||
*** ??? [#m4f73069] | *** ??? [#m4f73069] | ||
- | 論理で使われる記号に割り当てられた自然言語は、日常的に使う意味と必ずしも合致しているとは言えない(たとえば、「ならば」等は直観的感覚で使われている日本語のならばの意味とは少し違ったりする)。その意味は真理値表で表したものが一番正確と言える。また選言標準形に直したものや連言標準形に変換したものの方がより直観的にわかりやすい場合がある | + | 論理で使われる記号に割り当てられた自然言語は、日常的に使う意味と必ずしも合致しているとは言えない(たとえば、「ならば」等は直観的感覚で使われている日本語のならばの意味とは少し違ったりする)。その意味は真理値表で表したものが一番正確と言える。(個人的にはC#等のコンピュータ言語で利用される数学記号を使った判定式などの方がより判りやすいと思っている)。また選言標準形に直したものや連言標準形に変換したものの方がより直観的にわかりやすい場合がある |