「導出原理」の版間の差分

m
Bot: ==== 例 ==== → === 例 === ,Corrected level of heading(s) ∵Check Wikipedia #25
m
m (Bot: ==== 例 ==== → === 例 === ,Corrected level of heading(s) ∵Check Wikipedia #25)
導出は[[完全性|完全]]な証明系であることが知られている。
 
==== 例 ====
<math> p \to q </math> を節形式にすると <math> \lnot p \lor q </math> となる。<math> C_R </math> を<math> C_1, C_2 </math> の導出節とすると、[[モーダスポネンス|前件肯定]]は以下の導出と同じである。
 
125,305

回編集