Not logged in. · Lost password · Register

Jonas S
Member since Jul 2016
84 posts
Subject: Fitch style natural deduction
Are we allowed to use fitch style proofs for our homework assignments, or does it have to be tree proofs?
Jazzpirate
Member since Oct 2016
770 posts
It has to be a sequence of natural deduction rules, applied in the correct order to the correct formulas with clear demarcation which formulas are assumptions and where they are discarded :P

That's literally it. I always was confused with fitch style, because it was not clear to *me* what happened there. I assume a couple of annotations would be sufficient, but if someone has to *know* fitch-style nontation in order to read them, then they're not the way to go.
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