|
Solving a System by
Elimination
|
|
Solve the system of equaations 2x - 3y = 6 and 3y - 2x = 3
|
|
Dr. Smith works through two more examples of proofs using the subproof method.
|
|
This video provides an introduction to subproofs: conditional proof and indirect proof. The video provides several examples of proofs using the subproof method.
|
|
This video walks through some short proofs in sentential logic, using the basic rules for proof.
|
|
This video provides a general overview of the concept of proofs in sentential logic. It demonstrates the use of a proof in a natural language (English) setting and it introduces the basic procedure…
|
|
This video explains the 7 basic rules of proof for sentential logic.
|