💍 Propositional function

= a collection of incomplete symbols, which accepts permissible arguments to form a statement1

Properties

Relations

Procedures

Notation

📖 Example:

  • “x is a city in Germany”

Footnotes

  1. Carnap, R. (1963). The Logical Structure of the World.