Sequent_calculus_proof_tree_example.png
Summary
Description 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. |
Source | Transferred from en.wikipedia to Commons by FastilyClone using MTC! . |
Author | Dan Gluck at Wikipedia |
Licensing
Public domain Public domain false false |
I, the copyright holder of this work, release this work into the
public domain
. This applies worldwide.
In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose , without any conditions, unless such conditions are required by law. |
Original upload log
The original description page was
here
. All following user names refer to en.wikipedia.
Date/Time | Dimensions | User | Comment |
---|---|---|---|
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. {{PD-self}} |