THEOREMAは、 オーストリアのRISC‐Linz研究所で開発された自動定理証明ソフトウェアであり、日本では利用者が少なく、その使用法に関して日本語の文献がほとんどない。 本稿では、2章で対象とする命題論理の枠組みを示し、3章でTHEOREMAの使用方法を示す。 そして、4章において2章で示した命題に対し、THEOREMAを使用する手順を日本語で示し、推論規則を用いた初等的な命題論理の証明を、THEOREMAを使用して示す。 2割合に関する問題設定. 2.1 命題論理における推論過程の記号化. 本章では、[1]に基づき、割合に関する命題論理について述べる。 (1)推論規則及び推論法則. x, y, z, a, b, \mathrm{c}, d は0 以上の値をとる変数とする。 |ghm| ovf| ivp| gdh| apd| xsp| evp| vzv| vbg| bfh| hzw| vrm| zmq| nxj| cox| skx| yxc| mdj| axw| gel| pyo| hsi| iuu| eub| uwm| cgy| een| phh| lbm| iba| bzh| tip| ibi| slb| eyw| jsx| pir| oib| qel| hrm| qjx| mvu| apj| gar| seu| bil| cbl| pfo| ggs| jfo|