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 [email protected].
 

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 high school curricula—cover a wide range of topics, from algebra and geometry to chess, and cryptology 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 academic standing, or to train for mathematics competitions, there’s a CTY course that’s right for you.

Uncover the Exciting World of Cryptology

Unlock the world of secret communication! In Cryptology: Cracking Codes you and your classmates will uncover the logic, patterns, and problem-solving strategies that drive cryptographic systems. Thorugh hands-on activities like encrypting and decrypting messages and creating your own ciphers, you’ll deepen your understanding of how cryptology has developed throughout history to shape our modern encryption systems and secure our digital world.