๐ 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. โฉ