Logic

Intermediate

Logic is the systematic study of valid reasoning and inference. It provides the foundational principles for distinguishing correct arguments from incorrect ones, examining the structure of statements and the relationships between premises and conclusions. Rooted in ancient Greek philosophy, particularly the work of Aristotle, logic has evolved from a branch of philosophy into a rigorous formal discipline that underpins mathematics, computer science, linguistics, and artificial intelligence.

At its core, logic investigates the forms and patterns of thought rather than the specific content of any particular argument. Formal logic uses symbolic languages and precisely defined rules to represent propositions, connectives, quantifiers, and inference steps, enabling the mechanical verification of whether a conclusion follows necessarily from its premises. Propositional logic deals with whole statements connected by operators such as 'and,' 'or,' 'not,' and 'if-then,' while predicate logic extends this framework with variables, predicates, and quantifiers to express more complex relationships about objects and their properties.

Beyond its theoretical elegance, logic has immense practical importance. It is the bedrock of mathematical proof, the design language of digital circuits and programming languages, the engine behind automated theorem provers and database query systems, and a critical tool for clear thinking in law, ethics, and everyday argumentation. The study of informal logic and critical thinking further equips individuals to identify fallacies, evaluate evidence, and construct persuasive, well-reasoned arguments in real-world discourse.

Practice a little. See where you stand.

Ready to practice?5 minutes. No pressure.

Take the Quiz Learn First

Quiz

Reveal what you know — and what needs work

Adaptive Learn

Responds to how you reason, with real-time hints

Start here

Flashcards

Build recall through spaced, active review

Cheat Sheet

The essentials at a glance — exam-ready

Glossary

Master the vocabulary that unlocks understanding

Learning Roadmap

A structured path from foundations to mastery

Book

Deep-dive guide with worked examples

Key Concepts

The branch of logic that deals with propositions (statements that are either true or false) and the logical connectives that combine them, such as conjunction, disjunction, negation, and implication. It provides the simplest formal system for analyzing the logical structure of arguments.

Example

The argument 'If it rains, the ground is wet; it is raining; therefore the ground is wet' is a valid propositional inference known as modus ponens.

An extension of propositional logic that introduces variables, predicates, and quantifiers (universal and existential) to express properties of objects and relationships between them. It is far more expressive than propositional logic and forms the basis of most mathematical reasoning.

Example

The statement 'All humans are mortal' is formalized as 'For all x, if x is human then x is mortal,' which cannot be expressed in propositional logic alone.

An argument is valid if its conclusion necessarily follows from its premises, regardless of whether the premises are actually true. An argument is sound if it is both valid and all of its premises are in fact true. This distinction is central to evaluating arguments rigorously.

Example

The argument 'All fish can fly; Salmon is a fish; therefore Salmon can fly' is valid (the conclusion follows from the premises) but not sound (the first premise is false).

An error in reasoning that renders an argument logically invalid or seriously weakened. Formal fallacies violate the structural rules of valid inference, while informal fallacies involve errors in content, context, or relevance that undermine persuasive force.

Example

Affirming the consequent is a formal fallacy: 'If it rains, the street is wet; the street is wet; therefore it rained' is invalid because other causes could have wet the street.

A form of reasoning in which the conclusion is guaranteed to be true if the premises are true. Deductive arguments aim for certainty and are evaluated by their validity, meaning the truth of the premises necessitates the truth of the conclusion.

Example

From the premises 'All mammals are warm-blooded' and 'A whale is a mammal,' we can deductively conclude with certainty that 'A whale is warm-blooded.'

A form of reasoning in which the premises provide probabilistic support for the conclusion but do not guarantee it. Inductive arguments are evaluated by their strength, that is, how likely the conclusion is given the evidence provided.

Example

After observing that the sun has risen every morning for thousands of years, we inductively conclude that the sun will rise tomorrow, though this is not logically guaranteed.

A mathematical table used to determine the truth value of a compound proposition for every possible combination of truth values of its component propositions. Truth tables provide a mechanical method for checking validity in propositional logic.

Example

A truth table for 'P AND Q' shows that the compound statement is true only when both P and Q are individually true, yielding one true row out of four possible combinations.

Symbols in predicate logic that specify the quantity of subjects to which a predicate applies. The universal quantifier (for all) asserts that a property holds for every element in a domain, while the existential quantifier (there exists) asserts that at least one element satisfies the property.

Example

The universal claim 'For all x, x + 0 = x' states that adding zero to any number yields the same number, while the existential claim 'There exists an x such that x squared equals 2' asserts that a square root of 2 exists.

Two statements are logically equivalent if they have the same truth value in every possible interpretation. Logical equivalences such as De Morgan's laws and double negation are used to simplify and transform logical expressions without changing their meaning.

Example

The statement 'It is not the case that both P and Q' is logically equivalent to 'Not P or not Q' by De Morgan's law, so they can be interchanged in any argument.

One concept at a time.

Explore your way

Choose a different way to engage with this topic — no grading, just richer thinking.

Explore your way — choose one:

Explore with AI →

Curriculum alignment— Standards-aligned

Grade level

Grades 9-12College+

Learning objectives

•Apply propositional and predicate logic including truth tables, natural deduction, and quantifier rules to evaluate argument validity
•Analyze common logical fallacies including affirming the consequent, equivocation, and circular reasoning in everyday and academic discourse
•Evaluate the completeness, soundness, and decidability properties of formal logical systems including first-order predicate logic
•Distinguish between deductive, inductive, and abductive reasoning patterns and their appropriate applications in knowledge construction

Recommended Resources

This page contains affiliate links. We may earn a commission at no extra cost to you.

Books

Introduction to Logic

by Irving M. Copi, Carl Cohen, and Kenneth McMahon

Language, Proof and Logic

by Jon Barwise and John Etchemendy

A Concise Introduction to Logic

by Patrick J. Hurley

Logic: The Laws of Truth

by Nicholas J. J. Smith

An Introduction to Non-Classical Logic: From If to Is

by Graham Priest

My Progress Focus Mode

Arts & Humanities

Philosophy

The systematic study of fundamental questions about existence, knowledge, values, reason, and reality, spanning traditions from ancient Greece and Asia to modern analytic and continental thought.

Intermediate

STEM & Engineering

Mathematics

The study of numbers, quantities, shapes, and patterns using logical reasoning and abstract structures, serving as the foundational language of science and technology.

Intermediate

Tech & Computing

Computer Science

The study of computation, algorithms, data structures, and the design of software systems, encompassing everything from theoretical foundations to artificial intelligence and software engineering.

Intermediate

Tech & Computing

Artificial Intelligence

Artificial Intelligence is the field of computer science focused on building systems that can perform tasks requiring human-like intelligence, including learning, reasoning, perception, and decision-making.

Intermediate

Social Sciences

Cognitive Science

The interdisciplinary study of the mind and its processes, integrating psychology, neuroscience, linguistics, philosophy, computer science, and anthropology to understand perception, cognition, and intelligence.

Intermediate

Logic

Quiz

Adaptive Learn

Flashcards

Cheat Sheet

Glossary

Learning Roadmap

Book

Key Concepts

Propositional Logic

Predicate Logic

Validity and Soundness

Logical Fallacy

Deductive Reasoning

Inductive Reasoning

Truth Table

Modus Ponens

Quantifiers

Logical Equivalence

Explore your way

Grade level

Learning objectives

Recommended Resources

Books

Introduction to Logic

Language, Proof and Logic

A Concise Introduction to Logic

Logic: The Laws of Truth

An Introduction to Non-Classical Logic: From If to Is

Related Topics

Philosophy

Mathematics

Computer Science

Artificial Intelligence

Cognitive Science