Review Note
Last Update: 11/12/2024 10:02 PM
Current Deck: ETH CS::Discrete Math
Published
Fields:
Front
When can we interpret formulas as statements?
Back
If for a formula F the interpretation (including the universe U and the meaning of all predicate and function symbols) is fixed (precisely defined), then this can be a mathematical statement that is either true or false.
Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: