Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.

Packet : 73462680wanghao.rar filelist
WangHao_07工学_20717013_赵修伟\lib\swt-win32-3236.dll
WangHao_07工学_20717013_赵修伟\lib\swt.jar
WangHao_07工学_20717013_赵修伟\WangHao.jar
WangHao_07工学_20717013_赵修伟\run.bat
WangHao_07工学_20717013_赵修伟\lib
WangHao_07工学_20717013_赵修伟

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．