検索結果

ページ名と一致

• 論理記号の一覧
  '''論理記号の一覧'''（ろんりきごうのいちらん）では、[[論理学]]における[[論理記号|記号]]について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。 [[Category:論理記号|*]] …
  28キロバイト (2,406 語) - 2022年8月10日 (水) 15:43

ページ本文と一致

• 外積 (曖昧さ回避)
  [[Category:論理記号]] …
  574バイト (38 語) - 2023年2月2日 (木) 04:59
• 否定標準形
  2キロバイト (87 語) - 2018年1月28日 (日) 05:14
• 垂直記号
  [[Category:論理記号]] …
  2キロバイト (76 語) - 2024年8月19日 (月) 02:51
• 論理定項
  [[Category:論理記号|*]] …
  2キロバイト (96 語) - 2024年2月10日 (土) 14:32
• 分配法則
  3キロバイト (128 語) - 2024年4月13日 (土) 17:23
• 恒真式
  7キロバイト (380 語) - 2024年10月9日 (水) 12:11
• 真理値表
  4キロバイト (386 語) - 2024年4月13日 (土) 17:27
• 論理記号の一覧
  '''論理記号の一覧'''（ろんりきごうのいちらん）では、[[論理学]]における[[論理記号|記号]]について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。 [[Category:論理記号|*]] …
  28キロバイト (2,406 語) - 2022年8月10日 (水) 15:43
• 原始帰納的算術
  7キロバイト (448 語) - 2022年11月19日 (土) 10:07
• 部分構造論理
  [[Category:論理記号]] …
  4キロバイト (155 語) - 2023年6月12日 (月) 05:46
• 各点収束
  4キロバイト (212 語) - 2024年6月23日 (日) 21:46
• 対偶 (論理学)
  5キロバイト (209 語) - 2024年11月23日 (土) 09:17
• 無矛盾
  [[Category:論理記号]] …
  6キロバイト (289 語) - 2021年11月18日 (木) 16:00
• ダイヤ (シンボル)
  [[Category:論理記号]] …
  5キロバイト (214 語) - 2023年7月8日 (土) 05:35
• 自由変数と束縛変数
  [[Category:論理記号]] …
  7キロバイト (289 語) - 2022年8月1日 (月) 11:09
• ラムダ計算
  35キロバイト (1,496 語) - 2024年11月1日 (金) 22:44
• 差集合
  7キロバイト (560 語) - 2024年12月23日 (月) 12:17
• XNORゲート
  7キロバイト (275 語) - 2024年10月4日 (金) 20:52
• 論理演算
  [[Category:論理記号|*]] …
  11キロバイト (787 語) - 2024年9月20日 (金) 12:03
• XORゲート
  8キロバイト (326 語) - 2024年9月4日 (水) 07:51