From: Masou <mas@...>
Date: 2006-12-11T17:31:18+09:00
Subject: [ruby-list:43035] Re: 「何もない(nil)」＋「何か(v)」→「何か(v)」

Masouと申します。

take_tk wrote:
> 「何もない(nil)」ところに「何か(v)」を「加えた」場合には、加えた「何か(v)」
> そのものになるのが、「論理的」ではないか？

「論理的」には「値がある」を否定したとき、
1.「値がない」　empty
2.「値が不明」　unknown
と２つの場合（それ以上は？）を一般的に考えます。

empty の場合は、take_tkさんの考え方でもいいかもしれませんが、
unknown の場合は、「unknown」+「何か] = 「unknown」です。

３値理論では、empty も unknown も nil として扱います。
４値理論では、一般的に empty と unknown とを区別します。