1. Introduction to Mathematical Logic

On a very high level, mathematical logic is the science of reasoning. Namely it tells you how to verify or how to conclude whether a statement or mathematical statement is true or mathematical statement is false.

Mathematical logic is a fundamental area of mathematics that focuses on the principles and methods of valid reasoning. It provides the tools we need to assess the truth or falsity of mathematical statements. Understanding whether something is true or false is crucial, especially in fields such as mathematics and computer science. For instance, if we have a mathematical claim, mathematical logic helps us determine if that claim can be proven true or false through various methods, called proofs.

Imagine a detective solving a mystery. The detective gathers clues, evaluates evidence, and draws conclusions based on logical reasoning. Similarly, mathematical logic is like a detective's toolkit that helps mathematicians determine the truthfulness of mathematical statements.

Consider this theorem statement: for every n ≥ 0, the summation of first n numbers is n(n+1)/2. We want to verify if this statement is true or false.

This theorem states a formula for calculating the sum of consecutive numbers. To verify it, we can use a method called proof by mathematical induction. This involves two steps: first, proving that the statement is true for a starting point (usually n=1), and second, assuming it is true for an arbitrary value n=k, and proving it holds for the next value n=k+1. If both steps are proven, we can conclude the original statement is true for all n ≥ 0.

Think of it like a staircase. The first step (n=1) is valid. If you can safely step onto the second step (if step k is valid, then step k+1 is also valid), you can confidently say you can reach any step ahead of you. Mathematical induction works similarly to confirm that all steps in our theorem are valid.

There are several applications of logic, such as in Boolean algebra, program verification, and artificial intelligence.

Mathematical logic plays a crucial role in various fields. In Boolean algebra, the principles of logic help in computer architecture by allowing computers to perform binary calculations. Program verification ensures that software works as intended; for critical applications, it is necessary to confirm that software behaves correctly under all conditions. Similarly, in artificial intelligence, languages like PROLOG utilize logic to perform automated reasoning and problem-solving.

Consider a pilot checking the functionality of an airplane before takeoff. Each component must be verified to ensure safety—a small failure can lead to severe consequences. In software and AI, mathematical logic serves as the safety checks that give us confidence that our programs and decisions will function correctly.

Informally, a proposition is a declarative statement that is either true or false, but cannot take both values simultaneously.

A proposition is a basic building block in mathematical logic. To qualify as a proposition, a statement must clearly present a fact that can only be true or false. For example, 'The sky is blue' is a proposition because it can definitively be labeled true or false, while 'Is the sky blue?' is not a proposition because it is asking a question, not declaring a fact.

Think about a light switch. When you flip it, the light is either on or off. It can't be both on and off at the same time. Similarly, propositions work the same way; they either hold a truth value (true or false) without any ambiguity.

Propositional variables are typically denoted by lowercase letters (e.g., p, q, r), representing arbitrary propositions.

Propositional variables serve as placeholders that represent any proposition. Their truth value depends on the specific proposition assigned to them. For instance, if we say 'p represents the statement

No real-life example available.