検索結果
ナビゲーションに移動
検索に移動
- …論理'''（たちろんり）とは、[[真理値]]の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、[[非古典論理]]の一種である。 [[Category:非古典論理]] …6キロバイト (126 語) - 2024年4月6日 (土) 11:00
- [[Category:非古典論理]] …4キロバイト (155 語) - 2023年6月12日 (月) 05:46
- [[Category:非古典論理]] …5キロバイト (377 語) - 2019年9月14日 (土) 14:45
- 上述の対偶の性質は古典論理におけるそれであり、[[非古典論理]]においては成立しない場合がある。例えば[[直観主義論理]]においては、必ずしも「AならばB」とその対偶「BでないならばAでない」の真偽は一致しない。 …5キロバイト (209 語) - 2024年11月23日 (土) 09:17
- [[非古典論理]]など他にも多くの論理の体系があるが、ここでは[[古典論理]]のうちの[[命題論理]]、特にそれを形式化した[[ブール論理]]に話を絞る。従って対象が …11キロバイト (787 語) - 2024年9月20日 (金) 12:03
- …歴史は古く[[アリストテレス]]まで遡ることができる{{Sfn|序説(2010)}}{{Rp|138}}が、形式的な扱いは[[数理論理学]]以降、[[非古典論理]]としてである。 [[Category:非古典論理]] …17キロバイト (696 語) - 2024年5月16日 (木) 05:53
- [[Category:非古典論理]] …10キロバイト (425 語) - 2024年6月1日 (土) 11:07
- ここでは[[古典論理]]のものを例示するが、[[非古典論理]]をはじめ、他の多くの論理体系についても同様な議論は可能である。 …15キロバイト (1,105 語) - 2024年10月3日 (木) 10:44
- [[Category:非古典論理]] …17キロバイト (704 語) - 2023年12月16日 (土) 21:56
- * [[非古典論理]] …72キロバイト (4,629 語) - 2025年2月20日 (木) 04:26
- [[Category:非古典論理]] …31キロバイト (2,186 語) - 2024年2月11日 (日) 03:30
- [[Category:非古典論理]] …28キロバイト (1,639 語) - 2025年3月9日 (日) 14:47