「シークエント」の版間の差分
削除された内容 追加された内容
en:Sequent（2007年9月29日 10:09:54(UTC)）の翻訳 |
m編集の要約なし |
||
1行目:
{{Otheruses2|論理学の用語|同名のコンピュータ企業|シークエント・コンピュータ}}
'''シークエント'''（[[英語|英]]: '''Sequent'''）とは、[[演繹]]による[[証明]]過程を示すためによく使われる形式表現である。
| |||
en:Sequent（2007年9月29日 10:09:54(UTC)）の翻訳 |
m編集の要約なし |
||
1行目:
{{Otheruses2|論理学の用語|同名のコンピュータ企業|シークエント・コンピュータ}}
'''シークエント'''（[[英語|英]]: '''Sequent'''）とは、[[演繹]]による[[証明]]過程を示すためによく使われる形式表現である。
| |||