๐ฌ 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