About the Course

Introduction to Logic and Proofs

  • Grade 7+
  • CTY-Level
  • Session-Based

Explore advanced mathematical concepts in fun and interesting ways and build a strong foundation for high school, computer science, and college-level logic coursework in this introductory logic class.

Through logic puzzles, adaptive world arguments, peer collaboration and feedback, you’ll strengthen your understanding of mathematics and sharpen your problem-solving skills as you delve into these key mathematical ideas.

This course is ideal for curious students who are eager to deepen their understanding of mathematics through games, world applications, and collaboration.

In addition to weekly virtual class meetings, students may schedule weekly one-on-one virtual meetings directly with the instructor to answer questions or concerns.

Meeting times
Early fall, winter, mid-summer: Tuesday 7-8 p.m. ET
Late fall, spring, early summer: Wednesday 7-8 p.m. ET

Time Commitment: 9-11 hours per week (1 hour class time, 8-10 hours independent work).

Important Dates
Apply by June 7 to start:

Classes

Register for an Online course by selecting an open class below. If no open classes are listed, then course enrollment is currently closed. Note: You will need to have an active CTY Account to complete registration through MyCTY.

Summer

-
12 weeks
$1,100
Enroll

Fall

-
12 weeks
$1,135
Enroll
-
12 weeks
$1,135
Enroll

Testing and Prerequisites

  Math Verbal
Required Level CTY-Level Not required
Check your eligibility using existing test scores If you do not have existing test scores:

Students must achieve qualifying scores on an advanced assessment to be eligible for CTY programs. If you don’t have qualifying scores, you have several different testing options. We’ll help you find the right option for your situation.

Sign up for Testing Learn More

Course Prerequisites

Introduction to Logic and Proofs requires:

1 prerequisite

Successful completion Honors Algebra I or equivalent

Cost and Financial Aid

  • Tuition
    • Varies
  • Application fee
    • Nonrefundable Application Fee - $15 (Waived for financial aid applicants)
    • Nonrefundable International Fee - $20 (outside US only)

Financial Aid is available

We are committed to serving all talented youth regardless of financial circumstances. Financial assistance is available based on need.

Learn More

Technical Requirements

This course requires a computer with high-speed Internet access and an up-to-date web browser such as Chrome or Firefox. You must be able to communicate with the instructor via email. Visit the Technical Requirements and Support page for more details.

This course uses a virtual classroom for instructor-student communication. The classroom works on standard computers with the Zoom desktop client, and on tablets or handhelds that support the Zoom Mobile app. Recorded meetings can only be viewed on a computer with the Zoom desktop client installed. The Zoom desktop client and Zoom Mobile App are both free to download.

About Mathematics at CTY

Our online Mathematics courses—spanning elementary through college-level curricula—cover a wide range of topics, from algebra and geometry to chess, cryptology, and AP Calculus and are guided by expert instructors. You’ll join group sessions with classmates to ensure you stay on track with challenging course content. Whether you’re looking for pure math fun and enrichment, to move up the math ladder and advance your honors and AP (and beyond) academic standing, or to train for mathematics competitions, there’s a CTY course that’s right for you.

New math enrichment courses available!

Explore our new math enrichment courses, including Excursions in Pre-algebra, Mathematical Modeling, and Introduction to Logic and Proofs.

Join the exciting world of competitive math

Participate in the High School Math Club or enroll in 7 IP courses: Math Olympiad for Elementary School Students, Middle School Competitive Math I, Middle School Competitive Math II, Middle School Competitive Math III, Competitive Mathematics Prep, Competitive Mathematics I, Competitive Mathematics II.

Meet our Mathematics Instructors