検索結果
ナビゲーションに移動
検索に移動
- 論理定項の二つの重要な型は、[[論理結合子]]と[[量化記号]]である。[[等式]][[述語]]（通常'='と書かれる）もまた、多くの[[形式体系|論理体系]]において論理定項として扱われる。 * [[論理結合子]] …2キロバイト (96 語) - 2024年2月10日 (土) 14:32
- [[Category:論理結合子]] …987バイト (43 語) - 2024年6月6日 (木) 01:01
- [[Category:論理結合子]] …1キロバイト (91 語) - 2025年1月17日 (金) 14:46
- [[Category:論理結合子]] …1キロバイト (91 語) - 2025年1月17日 (金) 14:47
- …ず、[[アリストテレス]]の[[範疇]]のいずれをも表しえない、という問題を解決したかったからである。中世の論理学者や文法家は、量化子や[[論理演算|論理結合子]]は必然的に共義的であると考えた。現代の[[形式意味論]]の研究では、[[一般化量化子]]を指示する表現に対しては自義的定義を与えることができるという …7キロバイト (311 語) - 2024年11月1日 (金) 15:44
- [[Category:論理結合子]] …2キロバイト (130 語) - 2025年1月21日 (火) 10:48
- * [[論理演算子|論理結合子]] …4キロバイト (181 語) - 2024年4月13日 (土) 17:28
- [[Category:論理結合子]] …4キロバイト (208 語) - 2025年2月16日 (日) 00:33
- [[Category:論理結合子]] …6キロバイト (259 語) - 2025年2月22日 (土) 06:29
- 12キロバイト (773 語) - 2017年2月16日 (木) 16:39
- [[Category:論理結合子]] …5キロバイト (279 語) - 2024年1月12日 (金) 13:30
- 原子論理式とは、[[論理演算|論理結合子]]や[[量化|量化子]]を含まない論理式、あるいは厳密な部分論理式を持たない論理式である。原子論理式の厳密な形式は、どんな[[形式体系]]のものかで変 …15キロバイト (1,105 語) - 2024年10月3日 (木) 10:44
- [[Category:論理結合子|*]] …11キロバイト (787 語) - 2024年9月20日 (金) 12:03
- 直観主義論理の論理式の構文は古典[[命題論理]]や古典[[述語論理]]と類似である。しかしながら、直観主義的な[[論理結合子]]は、[[古典論理]]におけるように、他の論理結合子を用いて定義することはできない。（そのため <math>\{\to,\bot\}</math>, …31キロバイト (2,186 語) - 2024年2月11日 (日) 03:30
- [[Category:論理結合子]] …10キロバイト (346 語) - 2024年9月4日 (水) 08:36
- [[Category:論理結合子]] …12キロバイト (645 語) - 2025年1月21日 (火) 10:38
- …的証明|en|Formal proof|label=論理学的証明}}における論理式に現れる括弧の位置を動かしてもよい規則を述べるもので、[[論理演算|論理結合子]]を用いて書けば 真理函数的命題論理における真理函数の[[論理結合子|結合子]]のいくつかは結合性 (''associativity'') を持つ。以下の{{ill2|論理同値|en|logical equivalenc …27キロバイト (1,616 語) - 2024年11月9日 (土) 11:38
- [[Category:論理結合子]] …16キロバイト (484 語) - 2024年12月16日 (月) 15:54
- 43キロバイト (2,437 語) - 2022年8月4日 (木) 13:19
- …}}。例えば、単純命題「火星は赤い」は、述語「赤い」を単称名辞「火星」に適用することで定立される。一方、複合命題「火星は赤い; かつ、金星は白い」は、論理結合子「かつ」で接続された2つの単純命題で定立される{{sfn|Honderich|2005|loc=philosophical logic}}。 …理値の組み合わせが提示され、残りの列で、入力値に対応する各表現の真理値が提示される。例えば、表現 <math>p \land q</math> では、論理結合子 <math>\land</math> ([[論理積|かつ]]) が用いられる。この論理結合子は、「昨日は日曜日であった; かつ、昨日は晴天であった」の …144キロバイト (12,193 語) - 2025年1月13日 (月) 04:05