サクサク読めて、アプリ限定の機能も多数!
3値論理だと不動点が簡単に形成できるとか、ラッセルのパラドックスが矛盾ではなくなるとかの効用があるらしいが、それ以外はどうなの?という話らしい。
kgbu のブックマーク 2008/08/28 01:14
ラッセルのパラドックス:傾向と対策 (3.2.1) : クリーネ3値論理・・・お手軽に不動点を - あいまいな本日の私 blog[logic][paradox][不動点]3値論理だと不動点が簡単に形成できるとか、ラッセルのパラドックスが矛盾ではなくなるとかの効用があるらしいが、それ以外はどうなの?という話らしい。2008/08/28 01:14
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ytb.hatenablog.com2008/02/19
まず最初に、クリーネの3値論理をご紹介しましょう。 これは真理値として 真(t)、偽(f)、不定(i)の三つを持ちます。 論理結合子に関して、以下の二つの例を紹介しましょう。 否定 ¬ に関して A が t (f) ならば ¬...
3 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
3値論理だと不動点が簡単に形成できるとか、ラッセルのパラドックスが矛盾ではなくなるとかの効用があるらしいが、それ以外はどうなの?という話らしい。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ラッセルのパラドックス:傾向と対策 (3.2.1) : クリーネ3値論理・・・お手軽に不動点を - あいまいな本日の私 blog
まず最初に、クリーネの3値論理をご紹介しましょう。 これは真理値として 真(t)、偽(f)、不定(i)の三つを持ちます。 論理結合子に関して、以下の二つの例を紹介しましょう。 否定 ¬ に関して A が t (f) ならば ¬...
3 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /