File:Sequent calculus proof tree example.png

From Vigyanwiki

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

This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

Summary

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

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

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

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

File history

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

Date/TimeThumbnailDimensionsUserComment
current06:35, 29 June 2016Thumbnail for version as of 06:35, 29 June 2016617 × 501 (14 KB)wikimediacommons>FastilyCloneTransferred from en.wikipedia (MTC!)

The following page uses this file:

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitise it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Retrieved from ‘https://www.vigyanwiki.in/wiki/File:Sequent_calculus_proof_tree_example.png’