Master Quantified Statements and Formal Logic: The Ultimate Companion for Your Logic Course

Are you currently tackling challenging concepts in your mathematical logic or formal logic class? This course is your go-to resource for mastering quantified statements, logical implications, and proofs. Ideal for students seeking to deepen their understanding with hands-on worksheets and structured video lessons.

Course Overview

    • Intro to Statements
      Preview
    • Algebra On Statements
      Preview
    • Logical Equivalence And Implication
    • Example: Comparing Two Statements
    • Example: Grimaldi 2.2 Q9a
    • Quantifiers
    • Example: Quantifiers In Real Life And Negating Them
    • Example: Mixed Quantifiers
    • Definitions
    • Rules for Proofs
    • Intro To Valid Arguments
    • Tautologies And Contradictions
    • DeMorgan's Laws And Other Laws
    • Induction on Statements Example - Generalizing DeMorgan's Law
    • Negating Quantified Statements
      Preview
    • Open Statements Worksheet
    • Open Statement And Quantifiers Worksheet
    • Quantified Statements To English
    • Translating English To Quantified Statements

Why This Course Complements Your Formal Logic Class

  • Reinforce Course Concepts: Our structured lessons align with the typical topics taught in logic courses, including quantified statements and logical proofs.

  • Hands-On Practice: Strengthen your problem-solving skills with interactive worksheets that cover common exam-style questions.

  • Example-Driven Learning: Watch example problems being solved step-by-step to understand how to apply logic rules effectively.

  • Stay Ahead of the Curve: Supplement your class material with in-depth explanations and exercises tailored to help you succeed in exams.

Is This Course Right for You?

Who Should Enroll?

  • Current students enrolled in Mathematical Logic or Formal Logic courses.

  • Anyone struggling with quantified statements, logical equivalence, or proofs.

  • Students looking for additional practice problems and video tutorials to improve their grades.

Get To Know Your Instructor

Rob Borgersen is the lead minister of the Winnipeg Church of Christ and a former mathematics instructor at the University of Manitoba, where he taught for nearly 20 years. With a deep passion for teaching and helping others think critically, Rob is now offering a course on the logic behind mathematics. His aim is to help students sharpen their critical thinking skills, using the principles of logic to enhance their ability to analyze, reason, and communicate effectively.

Testimonials

"As a second degree student, Rob is one of the best instructors I’ve had. He does an excellent job of explaining content through real world applications which greatly helps in understanding and visualizing problems." - Dylan Z.

"Rob gave easy to follows instructions on how to pass the course, which was to work has many examples has possible in the text book and worksheet. Personally, I finished all examples and exercises in the worksheet and text books respectively while I also engaging the TA on area that needs clarification." - Taiwo O.

"Coming from another country, I was so sure that I wasn’t going to perform that well in my first course since I am new to the system and the teaching style is different from the one I am used to but Rob’s teaching made things really easy for me and to my surprise I performed so well in the course. Thank you so much Rob!" - Abimbola S.

"Rob's a dedicated teacher and clearly loves his job. He was always willing to look over a proof...and the constant feedback is the main reason I did so well in the class." - Luke W.

"Amazing professor. He’s real and friendly! He also helps a lot and is always within reach, he was the first professor I did not feel bad or scared reaching out to- that too, just over text. He’s also passionate about the course and that’s what really mattered to me in the end." - Sheikha W.

RB

Logic And Working With Quantified Statements

Course

C$49.97