Phi 321 Formal Logic Predicate

Solutions to the problems in HW#10. Problem 1 - 5:59 Problem 2 - 7:19 Problem 3 - 13:44 Problem 4 - 22:03 Problem 5 - 28:02 ...

An introduction to Existential Elimination. Recommend viewing prior to this video: Universal Elimination: ...

Here I work problem #2l (the theorem) and #6h, from Homework #9. Shortcut to #6h: 11:23

Proving three identity theorems: Reflexivity, Symmetry, Transitivity

An introduction to Quantifier Negation.

An introduction to Universal Introduction - a

A somewhat complex identity proof, requiring strategic use of universal elimination.

Solutions to HW#8.

An introduction to Universal Elimination, a

An introduction to Identity Introduction and Identity Elimination.

This video gives some extra practice with the rules Universal Elimination and Existential Introduction.

Introduction to Existential Introduction, a

A great little identity proof.

Another practice proof.

The first of two videos demonstrating quantificational equivalence with

Practicing a simple theorem with Universal Elimination and Universal Introduction.

This video gives some extra practice with the rules Universal Elimination, Existential Introduction, and Universal Introduction.

Another practice derivation

Working Practice Proof 05 a different way.

Another practice derivation.