💬 Statement

=== a meaningful, declarative sentence has a value of truth==

Types

• Composed: Consists of multiple expressions
• Atomic: Singular expression
  • Reference + predication

Statements about propositional functions

• Extensional: it can be transformed into an 🔗 Extension statement
• Intensional

Classification

• In 🤔 Logical Reasoning:
  • Rule
  • Case
  • Result