Media Summary: 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 provides an example of how to navigate and use the This video is a tutorial focusing on how to use Existential Elimination ("

Language Proof And Logic Practice - Detailed Analysis & Overview

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 provides an example of how to navigate and use the This video is a tutorial focusing on how to use Existential Elimination (" This video covers the basics of constructing a truth table, determining truth values, classifying individual and compared statements ... This video continues the discussion of validity and soundness from last week (Chapter 2). The focus here is on distinguishing the ... This video covers the following concepts: individual constants,

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

Photo Gallery

"Language, Proof and Logic": Chapter 6 Practice  with Structuring Proofs
"Language, Proof and Logic": Practice with Universal Introduction and Existential Elimination
LPL You Try It 2.5: Demonstrating Nonconsequence
Language, Proof, and Logic Website Tutorial
"Language, Proof and Logic": Practice with Existential Elimination
"Language, Proof and Logic": Chapter 4, Sections 4.1-4.6
LPL You Try It 4.1: Using Boole for Truth Tables
Pierce College (Symbolic Logic, Spring 2020): "Language, Proof and Logic": Validity and Soundness
"Language, Proof and Logic": Chapter 1, Sections 1.1-1.4
LPL Exercise 1.2
10 minute Lean tutorial : proving logical propositions
How to Crack ANY Logic Proof | The Hunting Strategy
View Detailed Profile
"Language, Proof and Logic": Chapter 6 Practice  with Structuring Proofs

"Language, Proof and Logic": Chapter 6 Practice with Structuring Proofs

This video focuses exclusively on

"Language, Proof and Logic": Practice with Universal Introduction and Existential Elimination

"Language, Proof and Logic": Practice with Universal Introduction and Existential Elimination

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

LPL You Try It 2.5: Demonstrating Nonconsequence

LPL You Try It 2.5: Demonstrating Nonconsequence

This goes through the "You Try It"

Language, Proof, and Logic Website Tutorial

Language, Proof, and Logic Website Tutorial

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

"Language, Proof and Logic": Practice with Existential Elimination

"Language, Proof and Logic": Practice with Existential Elimination

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

"Language, Proof and Logic": Chapter 4, Sections 4.1-4.6

"Language, Proof and Logic": Chapter 4, Sections 4.1-4.6

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

LPL You Try It 4.1: Using Boole for Truth Tables

LPL You Try It 4.1: Using Boole for Truth Tables

This goes through the "You Try It"

Pierce College (Symbolic Logic, Spring 2020): "Language, Proof and Logic": Validity and Soundness

Pierce College (Symbolic Logic, Spring 2020): "Language, Proof and Logic": Validity and Soundness

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

"Language, Proof and Logic": Chapter 1, Sections 1.1-1.4

"Language, Proof and Logic": Chapter 1, Sections 1.1-1.4

This video covers the following concepts: individual constants,

LPL Exercise 1.2

LPL Exercise 1.2

How to do LPL

10 minute Lean tutorial : proving logical propositions

10 minute Lean tutorial : proving logical propositions

I show how to prove a basic result in

How to Crack ANY Logic Proof | The Hunting Strategy

How to Crack ANY Logic Proof | The Hunting Strategy

Struggling with natural deduction

"Language, Proof and Language": Chapter 8 Practice with Structuring Proofs

"Language, Proof and Language": Chapter 8 Practice with Structuring Proofs

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