Section outline

• Select section INTRODUCTION

  Collapse Expand

  INTRODUCTION

  Collapse all Expand all

  

  Logic is the study of reasoning that helps us decide whether a statement is true or false. In mathematics and computer science, it is used to solve problems and make clear arguments. A proof is a step-by-step way of showing that a statement is true, explaining why something is correct instead of just believing it.

  In this topic, we will learn important concepts such as propositions, logical connectives, truth tables, implications and logical equivalences, which are the basic tools used to understand and apply logic in problem solving.

  • Select activity Announcements

    

    Announcements Forum
• Select section SET INDUCTION

  Collapse Expand

  SET INDUCTION

  

  • Select activity Text and media area

    

  • Select activity Mind and Logic | Micro Credential POLYCC | JMSK PSP 2025

    

    Mind and Logic | Micro Credential POLYCC | JMSK PSP 2025 URL

    Completion

    Students must

    

    View

• Select section PROPOSITIONAL LOGIC

  Collapse Expand

  PROPOSITIONAL LOGIC

  

  • Select activity Text and media area

    

  • Select activity Introduction to Propositional Logic

    

    Introduction to Propositional Logic URL

    Completion

    Students must

    

    Mark as done

  • Select activity Text and media area

    

  • Select activity Learning Note: Propositional Logic

    

    Learning Note: Propositional Logic File

    Not available unless: The activity Introduction to Propositional Logic is marked complete
  • Select activity Text and media area

    

  • Select activity Let’s Explore The Idea of Propositions

    

    Let’s Explore The Idea of Propositions URL

    

    Not available unless: The activity Learning Note: Propositional Logic is marked complete
  • Select activity Text and media area

    

  • Select activity Mind Workout 1

    

    Mind Workout 1 URL

    Not available unless: The activity Let’s Explore The Idea of Propositions is marked complete
  • Select activity Text and media area

    

  • Select activity Let’s Test Your Knowledge 1

    

    Let’s Test Your Knowledge 1 Quiz

    Not available unless: The activity Mind Workout 1 is marked complete
• Select section PREDICATE LOGIC

  Collapse Expand

  PREDICATE LOGIC

  

  • Select activity Text and media area

    

  • Select activity Introduction to Predicate Logic

    

    Introduction to Predicate Logic URL

    Not available unless: The activity Let’s Test Your Knowledge 1 is marked complete
  • Select activity Text and media area

    

  • Select activity Learning Note: Predicate Logic

    

    Learning Note: Predicate Logic File

    Not available unless: The activity Introduction to Predicate Logic is marked complete
  • Select activity Text and media area

    

  • Select activity Discovering Predicates in Logic

    

    Discovering Predicates in Logic URL

    

    Not available unless: The activity Learning Note: Predicate Logic is marked complete
  • Select activity Text and media area

    

  • Select activity Mind Workout 2

    

    Mind Workout 2 Quiz

    Not available unless: The activity Discovering Predicates in Logic is marked complete
  • Select activity Text and media area

    

  • Select activity Let’s Test Your Knowledge 2

    

    Let’s Test Your Knowledge 2 Quiz

    Not available unless: The activity Mind Workout 2 is marked complete
• Select section FEEDBACK

  Collapse Expand

  FEEDBACK

  • Select activity MIND AND LOGIC FEEDBACK

    

    MIND AND LOGIC FEEDBACK

    Not available unless: The activity Let’s Test Your Knowledge 2 is marked complete
• Select section CERTIFICATE

  Collapse Expand

  CERTIFICATE