「部分構造論理」の版間の差分
削除された内容 追加された内容
m フォント修正 |
m ページ改名に伴うリンク変更 タグ: 2017年版ソースエディター |
||
13行目:
{{Indent|(<math>A</math> '''かつ''' <math>B</math>) は <math>C</math> を'''含意'''する。}}
ここで、右辺 <math>\Sigma</math> が単一の命題 <math>C</math> であるとしたが（[[
論理積には[[交換法則]]と[[結合法則]]が成り立つので、シークエント <math>\Gamma</math> を書き換える'''構造規則'''にも同じ法則に対応したもの（転置規則）がある。例えば、
| |||