Symbolic Logic

Understanding Overlapping Quantifiers Sharing Predicates and Scope

Multiple Quantifiers

Scope of a Quantifier

Quantifiers

First Order Predicate Logic

Validity and Invalidity of Syllogisms

Translating Non-Standard Propositions into Standard Form Categorical Propositions

Understanding Logical Relations in Standard Form Categorical Propositions

Basic 4 Types of Categorical Propositions

Limitation of Propositional Logic

Conditional Proof

More on Conditional Proof

More on Derivations

Indirect Proof

Completeness : What it is

Formal Proof of Validity

Proofs with All Rules

Understanding the Rules

How to Apply the Rules of Inference in a Proof

Valid Argument Forms:

More on Truth Trees

Using the Truth Trees

More on Truth-Tree Recovery of Partial Truth - Values

Introduction to Truth Trees

Truth Tree Rules and their Application

Prof Chhanda Chakraborti

Propositional Logic: Semantics Basics of a Truth Table

Using Truth Table: Tautology, Contradiction, Contingent Propositions

Shorter Truth Table

Using Truth Table: Testing Arguments for Validity and Invalidity