Quantifiers and counterexample construction

Knowledge package outline

Topic

Mathematics and quantitative reasoning

Purpose

Separates some, all and exactly one.

Package contents

Nested statements; negation practice; witness examples.

Dependencies

Logic.