Courses Search Method Coverage For institutions

Logic / Logic 271 · Procedure · 60–90 seconds

First Predicate Proof

Video not yet published
to the StudyWalks catalog

Builds on

267Universal Instantiation
270Existential Generalization
193Modus Ponens as a Proof Move

Unlocks

272Proof with EI Restrictions

StudyWalks — college subjects, in order, free. The method Coverage For institutions