File:Sequent calculus proof tree example.png

Sequent_calculus_proof_tree_example.png(617 × 501 pixels, file size: 14 KB, MIME type: image/png)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

edit
Description

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

edit
Public domain 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

edit
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}}

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current01:05, 29 June 2016Thumbnail for version as of 01:05, 29 June 2016617 × 501 (14 KB)FastilyClone (talk | contribs)Transferred from en.wikipedia (MTC!)

There are no pages that use this file.

File usage on other wikis

The following other wikis use this file:

Metadata