Not logged in. · Lost password · Register

jbetzendahl
Tutor
Member since Nov 2017
17 posts
Subject: Tool for learning / doing Proofs in Natural Deduction
Hey everyone!

Since we're finally doing Logic (wheee! \o/) and the current exercise sheet includes a problem on Natural Deduction, I wanted to share this neat little tool by Bob Atkey with you:

https://bentnib.org/docs/natural-deduction.html

You enter a formula in propositional logic and it lets you prove them by structuring your proof trees and highlighting which inference rules are applicable for a given goal.
Think of it as your first (?) little interactive proof assistant. :D

I hope this helps. If you have questions, feels free to contact your tutors or write here.

Don't forget to be awesome!
Jonas

P,S,; I spoke with Dennis and he's fine with me sharing this tool since it doesn't do the work for you, it just helps you *ahem* verify your proofs!
Shadow992
Member since Jan 2014
290 posts
+4 tannenbaum, Feyven, kristin97, Fertu
Quote by jbetzendahl:
Hey everyone!

Since we're finally doing Logic (wheee! \o/) and the current exercise sheet includes a problem on Natural Deduction, I wanted to share this neat little tool by Bob Atkey with you:

https://bentnib.org/docs/natural-deduction.html

You enter a formula in propositional logic and it lets you prove them by structuring your proof trees and highlighting which inference rules are applicable for a given goal.
Think of it as your first (?) little interactive proof assistant. :D

I hope this helps. If you have questions, feels free to contact your tutors or write here.

Don't forget to be awesome!
Jonas

P,S,; I spoke with Dennis and he's fine with me sharing this tool since it doesn't do the work for you, it just helps you *ahem* verify your proofs!

Dazu kann ich nur sagen:

[Image: http://s2.quickmeme.com/img/11/110be7d30760991814e04e78a47f0a7e2cb6bb14962c4008f2c54965332cb007.jpg]

Sorry, aber ich musste das unbedingt los werden! :D
jbetzendahl
Tutor
Member since Nov 2017
17 posts
Obligatory joke is obligatry. ;)
tyr
Avatar
Member since Oct 2014
93 posts
*bump*

(Just making sure that you, the students of this term, are also aware of this neat tool ;) )

EDIT It seems the tool is somewhat broken, as I can not enter my own formula ... :(
"Debugging is like doing surgery by randomly squeezing stuff in a patient's body and going like 'lmao tell me when this guy stops breathing'." -- Orteil, Creator of Cookie-Clicker
This post was edited on 2019-01-08, 18:10 by tyr.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen