Duration of the online course: 4 hours and 48 minutes
New
Build sharp logic skills with a free online course: master conditionals, truth tables, and clear reasoning for school, work, and tests—plus practice.
In this free course, learn about
Why formal logic matters and how it benefits many professions
Identify simple sentences (atomic propositions) within everyday statements
Represent propositions with letters and build symbolic logical expressions
Use negation (NOT) correctly, including double negation
Understand inclusive OR (disjunction) and avoid ambiguity with grouping/parentheses
Use AND (conjunction) to form compound statements and evaluate their truth
Work with conditionals (IF–THEN), material implication, and vacuous truth
Use biconditionals (IFF) to express “exactly when” relationships
Construct and interpret truth tables to evaluate compound statements
Solve truth table practice problems with mixed operators and precedence
Understand exclusive OR (XOR) and express it using basic connectives
Apply contraposition to rewrite conditionals into equivalent forms
Apply DeMorgan’s Laws to simplify negations of conjunctions/disjunctions
Recognize why full truth tables can be inefficient for complex expressions
About the free online course
Logical reasoning is a practical skill that improves how you think, argue, and solve problems. This free online course helps you turn everyday statements into clear, testable forms so you can spot errors, avoid ambiguity, and make decisions with confidence. Whether you are strengthening school foundations, preparing for exams, or aiming to communicate more precisely at work, you will learn to analyze ideas the way mathematicians, programmers, scientists, and strong critical thinkers do.
You will start by learning how to recognize simple statements and represent them in a compact way, which makes complex arguments easier to handle. From there, you will build powerful tools step by step: negation, disjunction and conjunction, and the core relationships behind if-then reasoning and if and only if statements. Along the way you will see how small wording differences change meaning, why certain expressions can become ambiguous, and how symbolic notation helps keep your thinking consistent and precise.
A major focus is understanding truth conditions. You will use truth tables to evaluate whether statements hold under different scenarios, practice analyzing combinations, and develop intuition for patterns that repeatedly appear in logical problems. You will also learn why some implications are considered true even when their starting condition is false, a concept that often surprises beginners but becomes clear once you work with the formal definitions.
As you progress, you will learn efficient transformations that let you simplify and reframe expressions without recalculating everything. You will work with exclusive or, double negation, material implication, contraposition, and DeMorgan’s laws, all of which help you rewrite statements into equivalent forms that are easier to check and use. By the end, you will be able to translate complicated sentences into logic, verify reasoning reliably, and apply these skills to school subjects, structured writing, and analytical tasks in many professions.
Course content
Video class: Logic 101 (#1): Introduction08m
Exercise: Why is learning logic beneficial across various professions?
Video class: Logic 101 (#2): Overview06m
Exercise: What is the focus of Topic 1 in the Logic 101 course?
Video class: Logic 101 (#3): Finding Simple Sentences07m
Exercise: How many simple sentences are in this statement?
Video class: Logic 101 (#4): Representing Simple Sentences04m
Exercise: Why use single letters to represent simple sentences in logic?
Video class: Logic 101 (#5): Negation05m
Exercise: What is the primary function of the negation operation in logic?
Video class: Logic 101 (#6): OR/Disjunction05m
Exercise: What does the inclusive 'or' represent in logic?
Video class: Logic 101 (#7) Compound Sentences05m
Exercise: What can cause ambiguity in logical expressions involving disjunctions?
Video class: Logic 101 (#8): AND/Conjunction05m
Exercise: How does the 'and' conjunction function in logic?
Video class: Logic 101 (#9): Conditional (If-Then) Statements08m
Exercise: Understanding the Conditional Logic Operator
Video class: Logic 101 (#10): Biconditional (IF AND ONLY IF)04m
Exercise: What is the function of the biconditional logical operator?
Video class: Logic 101 (#11): Truth Tables05m
Exercise: Why are truth tables useful in logic?
Video class: Logic 101 (#12): Truth Table Practice04m
Exercise: What is the correct fifth column value for 'not P or P and Q' given P true and Q false?
Video class: Logic 101 (#13): Why Are Vacuously True Statements True?08m
Exercise: What is the truth value of the implication "If P then Q" when the antecedent P is false?
Video class: Logic 101 (#14): Exclusive OR05m
Exercise: What does the expression 'P or Q and not P and Q' represent?
Video class: Logic 101 (#15): Complicated Truth Tables09m
Exercise: Why is calculating truth tables considered inefficient?
Video class: Logic 101 (#16): Double Negation04m
Exercise: What is Double Negation in Logic?
Video class: Logic 101 (#17): Material Implication05m
Exercise: What is material implication in logic?
Video class: Logic 101 (#18): Contraposition05m
Exercise: What is the rule of contraposition in logic?
Video class: Logic 101 (#19): DeMorgan's Law, Part 106m
Exercise: What is the simplified form of '(not P or not Q) using de Morgan's law?
Video class: Logic 101 (#20): DeMorgan's Law, Part 204m
Exercise: What is the simplified form of 'not not P and not Q' according to de Morgan's Rule?
Video class: Logic 101 (#21): Applying Replacement Rules06m
Video class: Logic 101 (#22): Associativity03m
Video class: Logic 101 (#23): Commutativity01m
Video class: Logic 101 (#24): Hard Replacement Rule Problem09m
Video class: Logic 101 (#25): Distribution04m
Video class: Logic 101 (#26): Idempotence02m
Video class: Logic 101 (#27): Modus Ponens06m
Video class: Logic 101 (#28): Modus Tollens05m
Video class: Logic 101 (#29): Disjunctive Syllogism03m
Video class: Logic 101 (#30): Hypothetical Syllogism02m
Video class: Logic 101 (#31): Constructive Dilemma03m
Video class: Logic 101 (#32): Destructive Dilemma05m
Video class: Logic 101 (#33): Conjunction Introduction01m
Video class: Logic 101 (#34): Simplification01m
Video class: Logic 101 (#34.5): Biconditional Introduction and Elimination02m
Video class: Logic 101 (#35): Disjunction Introduction02m
Video class: Logic 101 (#36): Introduction to Proofs07m
Course comments: Logic Reasoning 101
muhammad nadeem khan
good
muhammad nadeem khan
it is great and skillful