heyting algebraのrelative pseudo complementの記号x→yってさ
■ このスレッドは過去ログ倉庫に格納されています
classical propositional logicのimplicationの記号P→Qと同じでややこしいなと思ってたら、
intuitionistic logicでのimplicationのtruth valueは、relative pseudo complementによってassignされるってマジ? intuitionistic logicのinterpretationでassignするのはtruth valueなのか知らんけども ■ このスレッドは過去ログ倉庫に格納されています