Category:形式体系

ウィキメディア・コモンズには、形式体系に関連するカテゴリがあります。

形式体系に関するカテゴリ。

下位カテゴリ

このカテゴリには下位カテゴリ 8 件が含まれており、そのうち以下の 8 件を表示しています。

け

形式論理体系‎ （1サブカテゴリ、4ページ）

こ

公理‎ （1サブカテゴリ、18ページ）

し

集合論のシステム‎ （8ページ）
述語論理‎ （2サブカテゴリ、17ページ）

す

推論規則‎ （20ページ）

ふ

部分構造論理‎ （3ページ）

む

矛盾許容型論理‎ （6ページ）

ろ

論理計算‎ （1サブカテゴリ、6ページ）

カテゴリ「形式体系」にあるページ

このカテゴリには 7 ページが含まれており、そのうち以下の 7 ページを表示しています。

*

形式体系

こ

す

推論規則

た

第一原理

ら

ラムダ計算

「https://ja.wikipedia.org/w/index.php?title=Category:形式体系&oldid=81086104」から取得