AMAT 19Logic module
More
ReferenceSavedSettings
Local first

Module 01 · Logic

Reason with structure.

Move from controlled language to symbols, truth values, equivalence, argument validity, and line-by-line proof.

Open Logic Workbench Practice module
1workbench
10core skills
5notes

Open the workbench.

One focused place for the hard parts of Logic.

P → QLogic WorkbenchBuild a truth table and test an argument against every assignment.
Read the notes5 concept notesCheck notationFormulas and assumptions
Optional topics (2)
Conditional proof scopesOpen and discharge an assumption to establish an implication.Indirect proof scopesAssume a negated goal, derive contradiction, and discharge the scope.

Search AMAT 19

Study QueueRecommended next work and recent sessionsWorkspaceCourse MapFive connected AMAT 19 modulesWorkspaceProgressSkill-level learning evidenceWorkspace
Logic WorkbenchLogic · Build a truth table and test an argument against every assignment.WorkbenchesProbability WorkbenchProbability · Explore conditional probability, discrete distributions, random variables, and supplemental inference.WorkbenchesMoney TimelineFinancial Mathematics · Place cash flows on a timeline and move every amount to one focal date.WorkbenchesMatrices & SystemsMatrices & Systems · Inspect exact matrix operations, solve systems, reduce rows, and find inverses.Workbenches
SavedBookmarks and saved problemsLibraryFormula & Notation ReferenceSymbols, formulas, and repair linksLibrarySettingsNotation, motion, and display preferencesLibrary
Mixed Course CheckWhole-course check with feedback after submissionChecks

11 results · use ↑ ↓ and Enter

Developer contact

Connect with the person building and maintaining AMAT 19 Study Lab.

Aedrian PonceFounder & Lead Developer