Language Proof And Logic Practice

This video focuses exclusively on

This goes through the "You Try It"

In this video, part of which was recorded in class, and part of which was recorded in Fitch, I walk through the universal ...

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

This video provides an example of how to navigate and use the

This video covers the following concepts: individual constants,

This video is a tutorial focusing on how to use Existential Elimination ("

This video continues the discussion of validity and soundness from last week (Chapter 2). The focus here is on distinguishing the ...

This goes through the "You Try It"

How to do LPL

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

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

This video covers how to enter an argument in Fitch, and how the Goal tool works.

Explanation of how to do

This goes through the second "You Try It"

NOTE: Video begins at :58. In this video, I work through derivations involving strategies from Chapter 6 and Chapter 8 of ...

Explanation of how to do

Unfortunately, most of the workshop was not recorded. What I have here is a tutorial focusing on deriving the conclusion of a valid ...