About the Course

Logic and Proofs: Fundamentals

Through engaging symbolic logic puzzles, Sudoku challenges, thought-provoking problems, and real-world applications, this course introduces advanced mathematical concepts that challenge the mind. Students will uncover patterns, construct logical arguments, and develop problem-solving strategies that prepare them for high school and college-level logic coursework. We’ll examine the basic concepts of logic, quantifying statements, logical connectives, and quantifiers to transform everyday statements into logical forms that we can attempt to prove or disprove. Logic puzzles, adaptive world arguments, peer collaboration, and feedback, will strengthen our understanding of mathematics and sharpen our problem-solving skills as we delve into these key mathematical ideas.

Time commitment: 2.5-3.5 hours per week (1.5 hours of class time, 1-2 hours of independent work). Course will include 3 sessions over 3 weeks.

Course Overview

About Mini Courses

Taught over 1-3 sessions, these short survey courses are designed to give students the opportunity to sample a topic, engage with a community of advanced learners, and take a course that suits their busy schedule.

The content in Logic and Proofs: Fundamentals overlaps with the CTY course Introduction to Logic and Proofs. Students who have already taken Introduction to Logic and Proofs may wish to consult with an enrollment advisor before enrolling in this course.

This course is

ungraded.

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.

Wednesdays
-
2 weeks
7:00 p.m. (ET)
$446
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

Cost and Financial Aid

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

CTY Financial Aid Availability for Online Programs

Academic Year 2025-26 (Course start dates July 1, 2025- June 30, 2026): Financial Aid funding is currently available for all eligible students while funding lasts. If interested in applying for financial aid, please select a course with start date of July 1, 2025, or later.

Learn More

Course Materials

Please acquire all course materials by the course start date, unless noted as perishable. Items marked as “perishable” should not be acquired until the student needs them in the course. If you have questions about these materials or difficulty locating them, please contact ctyinfo@jhu.edu.
 

Families will be notified by email of any required materials one week prior to the course start date. 

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.

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 and Introduction to Logic and Proofs.

Join the exciting world of competitive math

Participate in the High School Math Club or enroll in 6 IP courses: 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