💍 Propositional function
= a collection of incomplete symbols, which accepts permissible arguments to form a statement1
Properties
- 💑 Isogeny
- Falsifiability
- an evaluation B exists, for which B(A) = f holds
- Satisfiability
- an evaluation B exists, for which B(A) = w holds
Relations
Procedures
Notation
📖 Example:
- “x is a city in Germany”
Footnotes
-
Carnap, R. (1963). The Logical Structure of the World. ↩