UA-54609520-1

ifpthenq.net Intro to Symbolic Logic

Intro to Symbolic Logic

Stacks Image 176
Unit 1: The Basics of Propositional Logic
Symbolization Intro: Conditionals(→)/Conjunctions(&)
Validity and Soundness
Proof Intro: Proofs Using →out
Proofs Using &out and &in
Symbolizing Complex Conditionals
Stacks Image 138
Unit 2: Building on the Basics
Symbolizing "Only If," and Nec. and Suff.
Proofs Using →in
Symbolizing Negations (~)
Proofs Using ~out and ~in
Proofs Using Advanced Strategies
Stacks Image 142
Unit 3: Completing the System
Symbolizing Biconditionals (↔)
Proofs Using ↔in and ↔out
Symbolizing Disjunctions (v)
Proofs Using vin and vout
Proofs Using Derived Rules
Stacks Image 140
Unit 4: Truth Tables and Truth Trees
Intro to Truth Tables
Truth Tables for Validity
Intro to Truth Trees
True/False Questions
Stacks Image 144
Unit 5: Intro to Predicate Logic
Predicate Logic Symbolization
Symbolizing Quantifiers with Negations
Predicate Logic Proofs
Predicate Logic Trees
Validity and Soundness Revisited
Note: All of the videos and exercises on this site are numbered in correspondence to the Course Packet.

Course Packet

About this site

Proof Rules

Table Rules

Tree Rules

Links