Jump to content

automated thoerem proving - natural deduction

minhnhat93
in Computer Science

Featured Replies

Hello, i have to make an automated thoerem prover using natural
deduction method and express the proof in a human-friendly style. i've
been searching google but most of the materials there are about
resolution method. Can anyone give me some books/hints/algorithm about
this please? Thanks.

example show how to display the proof:
http://nv2.upanh.com...67502.resol.png

Archived

This topic is now archived and is closed to further replies.

Go to topic listing

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.