検索結果

ナビゲーションに移動 検索に移動

  • モーダスポネンス
    4キロバイト (112 語) - 2025年1月31日 (金) 18:34
  • 命題論理
    21キロバイト (888 語) - 2024年2月26日 (月) 15:49
  • シークエント計算
    …後、論理導出を行うのに非常に有効であることから普及した。LK（エルケー、エルカー） という名称はドイツ語の ''Logischer Kalkül''（論理計算）に由来する。 [[Category:論理計算]] …
    16キロバイト (853 語) - 2023年8月24日 (木) 10:06
  • 関係論理
    [[Category:論理計算]] …
    11キロバイト (342 語) - 2024年2月21日 (水) 15:01
  • 概念記法
    17キロバイト (931 語) - 2023年12月19日 (火) 12:50
  • 自然演繹
    [[Category:論理計算]] …
    43キロバイト (2,437 語) - 2022年8月4日 (木) 13:19
「https://ja.wiki.beta.math.wmflabs.org/wiki/特別:検索」から取得