bergmann

2/3/08 10 Software

Quiz 2 Applet

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.

11/4/08 10Software

Skills to be acquired in this tutorial:

To become familiar with the new rules for predicate logic trees.

Reading

M.Bergmann, J.Moor, J.Nelson, [2004] The Logic Book Chapter 9

Tutorial:

Introduction

There are further rules for predicate logic trees (which we will come to shortly).

10/24/07 10Software

Skill to be acquired:

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

Reading

Bergmann[2004] The Logic Book Section 10.1.

Quiz 7 Invalidity

6/19/09

Quiz 7 Invalidity

[This has been done in the downloadable application, but the principles apply to the applet version also.]

Quiz 7 Consistency

6/19/09

Quiz 7 Consistent

[This has been done in the downloadable application, but the principles apply to the applet version also.]

Quiz 7 Satisfiability

6/19/09

Quiz 7 first few tabs

[This has been done in the downloadable application, but the principles apply to the applet version also.]

Quiz 7.

6/19/09 10Software

Quiz 7 Applet

The later parts of this can be quite difficult, so it is configured in such a way that the bulk of the work and marks are on intermediate level material. [There is a small quantity of the more challenging material to engage the advanced students.]

12/25/06

Introduction to Free Variables

This video illustrates use of the downloadable application (and the symbol ∧ for 'and' and (∀x) for the universal quantifier, some systems use (x) for this). But, what the film depicts and explains is equally good if you happen to be using the web pages applets (or different symbols for 'and' and the universal quantifier).

10Software

The Tutorial

We will certainly wish to discuss the truth and falsity of formulas with quantifiers in them.

Let us start with an Interpretation

Interpretation 1

Universe= {a,b}
F={a}

6/18/07 10 Software

Skill to be acquired in this tutorial:

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

Reading

Bergmann[2008] The Logic Book Sections 7.4

The Tutorial

In Predicate Logic there are two new logical connectives, the Universal Quantifier (∀x) and the Existential Quantifier (∃x). These are used for symbolizing certain English constructions (they also have their own rules of inference and their own semantics, which we will learn about later).