This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
Sequent calculus proof tree example. An exmple of using sequent calculus for proving formula in propositional logic Created by myself free for anyone's use en FastilyClone MTC Dan Gluck other versions Original upload log page en Sequentcalculusprooftreeexample Dan Gluck An exmple of using sequent calculus for proving formula