Language Proof And Language Chapter

This video covers the following concepts: individual constants, logical predicates, and the atomic, singular sentence.

This video covers the basics of constructing a truth table, determining truth values, classifying individual and compared statements ...

This video involves working through several derivations using the relevant structuring subproofs. The focus here is on Conditional ...

Here we prove the following problem about

This video provides an introduction to the following concepts and their applications in Tarski's World and Fitch: Logical ...

How to do LPL Exercise 1.2 in Tarski's World. If you find this helpful, check out our textbook, Logic Course Adventure at ...

Professor Gregory's Formal Logic Textbook, Instructional Videos

We know that all regular

This video introduces the connectives, negation, conjunction, and disjunction, and their operators. In addition, the truth definitions ...

Explanation of how to do Exercise in LPL,

This video offers a fairly in-depth explanation of each of the introduction and elimination rules for negation, conjunction, and ...

Explanation of how to do Exercise 5.1 andf 5.2 in LPL,

Explanation of how to do Exercise 4.24 in LPL,

This video focuses exclusively on practicing the

Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...

This video covers the basics of using the Submit program to send exercises (completed in Tarski's World, Boole, and Fitch) to the ...

This video covers the basics of the intro. and elim. rules for the universal and existential quantifiers.

This video covers the basics of multiple quantifiers and domains of discourse. More specifically, the discussion covers multiple ...