Introduction to Mathematical Logic

Last Updated : 21 Jul, 2026

Mathematical logic is the branch of mathematics that studies how to represent, analyze, and evaluate statements using logical rules and symbols. It helps determine whether a statement is true or false and forms the foundation for mathematical proofs, reasoning, computer science, and digital circuits.

For example:

  • Statement: "If it is raining, then the ground is wet."
  • If it is raining, we can logically conclude that the ground is wet.

The main branches of mathematical logic are:

  • Set Theory: Deals with sets, which means collections of elements.
  • Model Theory: A part of mathematical logic that deals with the models of different theories of mathematics.
  • Proof Theory: Deals with the proofs and easy analysis of different mathematical methods.
  • Recursion Theory: Logic used to construct computable functions, Turing machines, and recursively enumerable sets.

Mathematical Logic Operators

The basic mathematical logic operators are:

1. Conjunction: In mathematical logic, the conjunction of two statements results in true when both the statements are true; otherwise, it is false. Also known as the AND operator and is represented by ∧.

2. Disjunction: In mathematical logic, the disjunction of two statements results in false if both the statements are false; otherwise, it is true. Also known as the "OR" operator and is represented by "∨."

3. Negation: In mathematical logic, negation of two statements results in the "not" of the given statement, i.e., if the statement is true, it results in false, and if the statement is false, it results in true. Also known as the NOT operator and is represented by "~" or "¬".

4. Implication: In mathematical logic, the implication of two statements results in false if the first statement is true and the second statement is false; otherwise, it is true. Implication is also known as the conditional operator and is represented by → or ⇒. The implication X→Y is read as "If X, then Y."

5. Double Implication: In mathematical logic, the double implication of two statements results in true when either both statements are true or both statements are false. Double implication is also known as the biconditional operator and is represented by ↔ or ⇔. Double implication X↔Y is read as "Y iff X" or "Y if and only if X."

Mathematical Logic Formulas

Some of the basic mathematical formulas are listed below:

Formula Names

Mathematical Logic Formula

Identity Law

  • (a ∧ T) ≣ a
  • (a ∨ F) ≣ a

Domination Law

  • (a ∧ F) ≣ F
  • (a ∨ T) ≣ T

Idempotent law

  • (a ∧ a) ≣ a
  • (a ∨ a) ≣ a

Double Negation Law

  • ¬ (¬ a) ≣ a

Commutative Law

  • (a ∧ b) ≣ (b ∧ a)
  • (a ∨ b) ≣ (b ∨ a)

Associative Law

  • (a ∧ b) ∧ c ≣ a ∧ (b ∧ c)
  • (a ∨ b) ∨ c ≣ a ∨ (b ∨ c)

Distributive Law

  • a ∧ (b ∨ c) ≣ (a ∧ b) ∨ (a ∧ c)
  • a ∨ (b ∧ c) ≣ (a ∨ b) ∧ (a ∨ c)

De Morgan Law

  • ¬ (a ∧ b) ≣ ¬a ∨ ¬b
  • ¬ (a ∨ b) ≣ ¬a ∧ ¬b

Absorption Law

  • a ∧ (a ∨ b) ≣ a
  • a ∨ (a ∧ b) ≣ a

Negation Law

  • a ∧ ¬a ≣ F
  • a ∨ ¬a ≣ T

Mathematical Logic Truth Table

The truth table in mathematical logic is a table that takes inputs and provides output when a logic is applied to it. The truth tables for different mathematical logic operators are given below.

Negation

The truth table for negation is given below.

A

~A

True

False

False

True

Conjunction

The truth table for conjunction is given below.

A

B

A∧B

True

True

True

True

False

False

False

True

False

False

False

False

Disjunction

The truth table for disjunction is given below.

A

B

A∨B

True

True

True

True

False

True

False

True

True

False

False

False

Implication

The truth table for implication is given below.

A

B

A→B

True

True

True

True

False

False

False

True

True

False

False

True

Double Implication

The truth table for double implication is given below.

A

B

A↔B

True

True

True

True

False

False

False

True

False

False

False

True

Comment

Explore