Search for tag: "bi"

SomeBasicProofs

This video walks through some short proofs in sentential logic, using the basic rules for proof.

From  Nathan Smith on April 14th, 2015 0 likes 0