derivations

4/24/06

Tutorial 25 Exercises e

4/24/06

Tutorial 25 Exercises d

4/24/06

4/9/06 10Software

Skill to be acquired:

To understand the concepts of scope, free, bound, and free for.

Why this is useful:

The new predicate rules of inference using quantifiers have restrictions on them which are expressed in terms of these concepts.

10/29/06

Quiz 8 Applet

10Software

The Tutorial

Existential Instantiation permits you to remove an existential quantifier from a formula which has an existential quantifier as its main connective. It is one of those rules which involves the adoption and dropping of an extra assumption (like ∼I,⊃I,∨E, and ≡I).

The circumstance that Existential Instantiation gets invoked looks like this.

3/31/06  10Software

The Tutorial

There is a rule for adding a Existential Quantifier. This permits the step illustrated by the following proof fragments.

10Software

The Tutorial

There also is a rule for adding a Universal Quantifier. This permits the step illustrated by the following proof fragments.

 

 

3/4/06 10Software

Skill to be acquired:

To understand the concepts of scope, free, bound. To meet substitution and a simplified version of the rule for removing a Universal Quantifier.

2013

The Tutorial

The propositional rules of derivation carry over unchanged into Predicate Logic

If you can see this, your browser does not understand IFRAME.

-->