gentzen

5/2/09 10 Software

Example only

Tutorial 16 Symbolization using the quantifiers.

1/27/09 10 Software

Skill to be acquired in this tutorial:

To learn how to use the Universal and Existential Quantifiers in symbolizing propositions.

12/28/20

Roll your own derivations

You may have derivations of your own that you wish to try. Just type, paste, or drag and drop, them into the panel, select your derivation, and click 'Start from selection'.

[Often copy-and-paste won't work directly from a Web Page; however, usually drag-and-drop will work!]

You will need to use the correct logical symbols. Here they are

F ∴ F ∧ G ∼ ∧ ∨ ⊃ ≡ ∀ ∃ ∴

Tutorial 6: Abelian Groups Tutorial 7: Boolean Algebra Tutorial 8: Linearly Ordered Sets Coming sometime!

1/2/2021

Solutions

Theorem 1

Theorem 2

1/17/20

1/17/20

1/9/09

Your browser does not support the video tag.
-->

[What is shown below is a Video, with sound. Your computer should be able to run this. If you have external speakers, or similar, you may need to turn them on and turn the volume up.]

The video shows an older implementation (but it should convey the principles).

1/9/09

Help with Ex3 1.

This shows the general technique for proving identities between sets.

1/10/09 13 Software

Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them (click 'Derive It' off the Wizard Menu, if you want help).