Search for tag: "bi"

11:44 SomeBasicProofs SomeBasicProofs	SomeBasicProofs This video walks through some short proofs in sentential logic, using the basic rules for proof. logic phil 2303 elimination conjunction disjunction rule proof rules step proofs lines bi t. alright introduction process disjunct premises thing couple biconditional h. From Nathan Smith on 04/14/2015 0 likes 0