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 covers the basics of constructing a truth table, determining truth values, classifying individual and compared statements ... 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 covers the basics of constructing a truth table, determining truth values, classifying individual and compared statements ... This video is a tutorial focusing on how to use Existential Elimination (" This video provides an example of how to navigate and use the 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 offers a fairly in-depth explanation of each of the introduction and elimination rules for negation, conjunction, and ... This video involves working through several derivations using the relevant structuring subproofs. The focus here is on Conditional ...

Photo Gallery

"Language, Proof and Logic": Practice with Universal Introduction and Existential Elimination
"Language, Proof and Logic": Chapter 4, Sections 4.1-4.6
"Language, Proof and Logic": Chapter 6 Practice  with Structuring Proofs
"Language, Proof and Logic": Practice with Existential Elimination
Language, Proof, and Logic Website Tutorial
LPL You Try It 2.5: Demonstrating Nonconsequence
Pierce College (Symbolic Logic, Spring 2020): "Language, Proof and Logic": Validity and Soundness
LPL Exercise 1.2
LPL You Try It 4.1: Using Boole for Truth Tables
"Language, Proof and Logic": Chapter 1, Sections 1.1-1.4
"Language, Proof and Logic": Chapter 6 Focus on Understanding Intro and Elim Rules
LPL Exercise 5.7 Language Proof and Logic
View Detailed Profile
"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 ...

"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 ...

"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 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 Website Tutorial

Language, Proof, and Logic Website Tutorial

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

LPL You Try It 2.5: Demonstrating Nonconsequence

LPL You Try It 2.5: Demonstrating Nonconsequence

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 ...

LPL Exercise 1.2

LPL Exercise 1.2

How to do LPL

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"

"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,

"Language, Proof and Logic": Chapter 6 Focus on Understanding Intro and Elim Rules

"Language, Proof and Logic": Chapter 6 Focus on Understanding Intro and Elim Rules

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

LPL Exercise 5.7 Language Proof and Logic

LPL Exercise 5.7 Language Proof and Logic

Explanation of how to do

"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 ...