Keywords: Sequent calculus proof tree example.png An exmple of using sequent calculus for proving a formula in propositional logic Created by myself free for anyone's use en wikipedia FastilyClone MTC Dan Gluck w other versions Original upload log page en wikipedia Sequent+calculus+proof+tree+example png wikitable - 2016-06-25 13 42 38 617× 501× Dan Gluck An exmple of using sequent calculus for proving a formula in propositional logic Created by myself free for anyone's use - Uncategorized 2016 June 29 |