--- aliases: [atomic propositions, atomic proposition, atomic statements, atomic statement, molecular proposition, molecular statement] --- #logic ## Definition > [!tldr] Definition > An **atomic proposition** is a [[Propositions|proposition]] that cannot be reduced into smaller propositions joined by connectives. > > A proposition that consists of atomic propositions joined by connectives, is called a **molecular proposition**. ## Examples and Non-Examples The following are atomic propositions: - Bob ate pizza for lunch. - The largest prime factor of 22 is 11. - $5 < 2$ The following are molecular propositions: * Bob ate pizza for lunch and then went for a walk. (Uses a conjunction) * Bob did not eat pizza for lunch. (Uses a [[negation]]) * If Bob eats pizza for lunch, he will not have pizza for dinner. ([[Conditional statements|Conditional statement]] with a negation in its conclusion) ## Resources (video) Other resources: - ## Practice