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

m
m (Bot: ==== 例 ==== → === 例 === ,Corrected level of heading(s) ∵Check Wikipedia #25)
{{DEFAULTSORT:とうしゆつ}}
[[Category:推論規則]]
[[Category:命題論理の定理]]
[[Category:数理論理学]]
[[Category:形式手法]]
50

回編集