Johnny's Math

446 subscribers

103 videos

People have always been coming to me for help with math since elementary school. If my teaching was helpful to them, I have hope that it can be helpful for a...

Latest Videos

Symbolic Logic 26 Countermodel for Modal Logic

Symbolic Logic 25 Rules of Inference and Tree Method for Modal Logic

Symbolic Logic 24 Introduction to Modal Logic

Symbolic Logic 23 Soundness Lemma, Soundness Theorem

Symbolic Logic 22 Completeness Lemma, Completeness Theorem

Symbolic Logic 21 Validity, Countermodels, Soundness and Completeness

Symbolic Logic 20 Non-Classical Logic

Symbolic Logic 19 Numerical Statements

Symbolic Logic 18 Identity

Symbolic Logic 17 Translation Exercises

Symbolic Logic 16 Relational Predicates, Overlapping Quantifiers

What's the difference between who and whom

Symbolic Logic 15 Change of Quantifiers

Symbolic Logic 14 Existential Generalization, Existential Instantiation

Symbolic Logic 13 Universal Instantiation, Universal Generalization

Symbolic Logic 12 Universal Quantifiers, Existential Quantifiers

Symbolic Logic 11 Predicate Logic, Symbols, Translations

Symbolic Logic 10 Indirect Proof

Symbolic Logic 9 Conditional Proof

Symbolic Logic 8 Rules of Replacement

Symbolic Logic 7 Rules of Implication, Intro to Proofs

Symbolic Logic 6 Indirect Truth Tables

Symbolic Logic 5 Truth Tables for Arguments

Symbolic Logic 4 Truth Tables for Propositions, Statement Classifications

Symbolic Logic 3 Truth Functions, Truth Tables

Symbolic Logic 2 Main Operator, Examples

Symbolic Logic 1 Introduction, Statements, and Operators

Pigeonhole Principle

Functions Continued

Introduction to Functions