Propositional logic

High school (ages 12+)
Mathematics & Numbers

Name:

Date:

Step 1 · Read the article

Open the article and read it at the level above. Then answer the questions below in your own words.

https://smallwhale.org/articles/propositional-logic

Write what each word means, using the article.

Do not copy the article. Write two things you learned, the way you would explain them to a friend.

Answers below are taken from the article’s stored facts, so they match what the student read.

1. What is the formal system?Studies propositions and their logical relationships using symbolic representation
2. What is the historical development?Evolved from ancient philosophical logic to formal mathematical systems like Boolean algebra
3. How do logical connectives like AND, OR, and NOT work?They join simple statements to make bigger ones, and the truth of the new statement depends on the truth of the parts, shown in truth tables.
4. Why do computers use propositional logic?Digital devices use logic gates that follow propositional logic rules to process information and make decisions.

Propositional Variable: A symbol representing a basic statement that can be true or false.
Logical Connective: Operators (AND, OR, NOT, etc.) that combine propositions into complex statements.
Truth-Functional: The truth value of a compound statement is determined solely by the truth values of its parts.
Atomic Formula: The simplest form of a proposition in a formal language, indivisible into smaller propositions.