選言とは
・選言
『』より :
選言の情報をYahoo!JAPANで検索
・論理和 - Wikipedia
論理和. 出典: フリー百科事典『ウィキペディア(Wikipedia)』 (選言 から転送) ... 離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。 ... 選言三段論法. 選言肯定. マスク (情報工学) 表・話・編・歴. 論理演算 ...
・選言三段論法 - Wikipedia
これが「選言三段論法」と呼ばれるのは、論証が三段階(三段論法)であることと、「または」で表される論理和 ... モーダスポネンスやモーダストレンスとは異なり、選言三段論法は論理体系における明確な推論規則や公理とされないことが多く、 ...
・選言
選言 せんげん disjunction : 大辞林によると、命題と命題を「あるいは」「または」に相当する ... <選言的概念>白と赤と黒、男と女のように、同一の類に属しながら、それらの外延が重なることなく、 ...
・PDF形式
知覚についての選言主義. 横山幹子( Mikiko Yokoyama) ... というテーマのもとでなされた知覚の選言理論に対する ... この決定原則を受け入れるのが非選言主義である。 その立場に立つならば、一人称の視. 点 ...
・Introduction to Mathematical Logic
すなわち,和・積と違って選言と連言の役割は完全に対等で, それを入れ替えてもさまざまな性質は変わらない (ド・モルガンの法則や分配律を思い出してみられたい) ... 連言標準形と選言標準形が¬によって互いに移り合うことは, 次のより一般的な結果からの帰結である. ...
選言の情報をGoogleで検索
・
選言ウォッチ！：その他リンク集
・設計図
・アクティビティ
・勧業
・耐故障
・都立
・証人
・受け皿
・省庁
・アウトサイダー
・日向
・[MEMO]消尽したもの。
... そのような変化、置換、つまりあらゆる 排他的 選言 命題 （夜―昼、外出する―帰る）こそが、結局人を疲労させるのだ。 消尽することは、これとはまったく別である。 ... 選言 命題 は あいかわらず 存在し、 言葉 の区別はますますあからさまになっ ...
・[ビジネス系]ロジカルシンキングと論理学(4)〜ロジックツリ ...
... これと関連させていうならば，今日の問いは，「ビジネス系ロジシンは選言三段論法を目指しているのか？」ということになるかと思います。適当な言い方かどうかはわかりませんが。 これについては，明確にこうだ，という考えには至っていません。 ...
・[ビジネス系]ロジカルシンキングと論理学(3)〜MECEの論理性
... 「考えられる可能性を排除していって最後まで残ったものが真実ってやつ？」という ブックマーク ・コメントをいただきましたが，私もそうだろうなと思います。論理学的には，「選言 三段論法 」ですね（↓） *1 。 ...
・[caty][型検査]Conjunctive Positive Set Constraints
原子論理式（atomic formula）ってのがなんか決まっているとき、それら原子論理式をベースに、∧（連言）、∨（選言）、¬（否定）を使って組み立てた式（formula）の全体が 古典論理 の式。ド・モルガンの法則を使えば ...
・[Curry]「parallel conjunction」ってなんじゃ。
... conjunctive nomal formで連言標準系だから連言で， DNFはdisjunctive nomalformで選言標準系だから選言かなー． CNF, DNFっぽく考えるとなにかひらめきがあるかもしれないような気もする ... いかが…？ ていうかさすがCS専攻。選言と連言てはじめてみたよ…。 ...
・[PC]notepad++の正規表現
... いやできるはず。しかしながら以下の表現は受け付けてくれなかった。 (N(0140|01010|01140)G90X.*)Y.*Z.* G9(0|1) どうやら"|"に対応していないようだ。"|"による選言は 正規表現 の極基本だと思うのだが違ったのか。 ■ [ PC ]notepad++の 正規表現
・[哲学っぽいメモ] クオリアと感じ方
... クオリア が持ち出される問題は、 クオリア が担っている説明力を選言的説明と、対象の'''感じ方'''に移し変えることによって、同様に説明することが可能だろう。 私が 黒鉛 を見たとき感じる色を、 小麦粉 を見たときに感じ ...
・[misc]論理的思考力の要諦
... 論理 学のもっとも基本的な、「 命題 論理 」すなわち、否定・連言(and)・選言(or)・条件法(ならば)の導入則と除去則が関係する 演繹 的推論の体系を紹介している。 ... すべてを「または」（選言）でつなげば存在となる。 無限 の対象を扱う述語 論理 の場合には ...
・ジレンマ
... ディレンマ【dikemma】(ジレンマとも) ??〔論〕二つの仮言的判断を大前提とし、これを小前提で選言的に承認もｓ…（以下略） ??相反する二つの事の板ばさみになって、どちらとも決めかねる状態。抜きさしならない羽目。進退両難。 ...
・[Diary][現場にて](7/3)あと２週の正念場
むむむ…、 夏バテ おさまらず。不調が体を襲うが、体にむち打って出講。 「 論理 的」もあと２回。今日は仮言 三段論法 と選言 三段論法 。 演繹 推理 の厳密さが、まだ今ひとつ浸透しない様子。特に「後件肯定の虚偽」には質問がいくつか出た。 ...