Café Intro (Start Here)
Web Help (for using the
internet)
Café Instructor's Tour mainly for profs

Downloading the Logic Café
Downloading and Installing the Logic Font
Optimizing Internet Explorer for the Café
Optimizing Netscape for the Café

Getting the most out of Flash

• The exercises of 1.2
• 'If' is not an indicator (1.2)
• Validity and Soundness (1.2)

• Informal Proofs I (1.3)
• Informal Proofs II (1.4)

• The symbolization exercises.

• Truth Functional and Non-Truth Fucntional Connectives
• Counterfactual Conditionals are not Truth Functional

• Table Tests for Basic Deductive Concepts

• Complex Symbolizations

• Derivations in 5.1
•  A First Derivation          
• A Derivation step-by-step
•  Subderivations

•  Using >I
• Strategy Demo
• ~E Strategy Demo
•  Strategy for more complex derivations

• PL Introduction

• Semantics Demo

• ^I Demo
• %E Demo

• Multiple Quantifiers Demo
• Love Reciprocated Demo