Media Summary: This video covers the basics of using the This video provides an example of how to navigate and use the This goes through the "You Try It" exercise in

Language Proof And Logic Submit - Detailed Analysis & Overview

This video covers the basics of using the This video provides an example of how to navigate and use the This goes through the "You Try It" exercise in Explanation of how to do Exercise 5.1 andf 5.2 in LPL, Explanation of how to do Exercise in LPL, This video shows you how you can purchase the textbook and required software online.

In this video, I explain why setting up an assumptive Explanation of how to do Exercise 4.24 in LPL, This video covers the following concepts: individual constants, Explanation of how to do Exercise 5.7 in LPL,

Photo Gallery

"Language, Proof and Logic": Submit Program Basics
Language, Proof, and Logic Website Tutorial
Pierce College (Spring 2020): "Language, Proof and Logic": Atomic Sentences; TW and Submit Prgs.
LPL You Try It 2.5: Demonstrating Nonconsequence
LPL Exercise 5.1 and 5.2 Language Proof and Logic
LPL Exercise 4.34 & 4.36 Language Proof and Logic
10 minute Lean tutorial : proving logical propositions
Buying Language, Proof and Logic Online
LPL Exercise 1.2
"Language, Proof and Logic" (Chapter 13): Assumptive Name Restriction and Invalid Arguments
LPL Exercise 4.24 Language Proof and Logic
"Language, Proof and Logic": Chapter 1, Sections 1.1-1.4
View Detailed Profile
"Language, Proof and Logic": Submit Program Basics

"Language, Proof and Logic": Submit Program Basics

This video covers the basics of using the

Language, Proof, and Logic Website Tutorial

Language, Proof, and Logic Website Tutorial

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

Pierce College (Spring 2020): "Language, Proof and Logic": Atomic Sentences; TW and Submit Prgs.

Pierce College (Spring 2020): "Language, Proof and Logic": Atomic Sentences; TW and Submit Prgs.

This video consists of discussions of "

LPL You Try It 2.5: Demonstrating Nonconsequence

LPL You Try It 2.5: Demonstrating Nonconsequence

This goes through the "You Try It" exercise in

LPL Exercise 5.1 and 5.2 Language Proof and Logic

LPL Exercise 5.1 and 5.2 Language Proof and Logic

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

LPL Exercise 4.34 & 4.36 Language Proof and Logic

LPL Exercise 4.34 & 4.36 Language Proof and Logic

Explanation of how to do Exercise in LPL,

10 minute Lean tutorial : proving logical propositions

10 minute Lean tutorial : proving logical propositions

I show how to prove a basic result in

Buying Language, Proof and Logic Online

Buying Language, Proof and Logic Online

This video shows you how you can purchase the textbook and required software online.

LPL Exercise 1.2

LPL Exercise 1.2

How to do LPL

"Language, Proof and Logic" (Chapter 13): Assumptive Name Restriction and Invalid Arguments

"Language, Proof and Logic" (Chapter 13): Assumptive Name Restriction and Invalid Arguments

In this video, I explain why setting up an assumptive

LPL Exercise 4.24 Language Proof and Logic

LPL Exercise 4.24 Language Proof and Logic

Explanation of how to do Exercise 4.24 in LPL,

"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 5.7 Language Proof and Logic

LPL Exercise 5.7 Language Proof and Logic

Explanation of how to do Exercise 5.7 in LPL,