An open formula is a formula that contains at least one free variable. == Definition and uses == An open formula does not have a truth value assigned to it, in contrast with a closed formula which constitutes a proposition and thus can have a truth value like true or false.
An open formula is a formula that contains at least one free variable. == Definition and uses == An open formula does not have a truth value assigned to it, in contrast with a closed formula which constitutes a proposition and thus can have a truth value like true or false.
Source: Wikipedia "Open formula" · CC BY-SA 4.0
Share this article: X · Bluesky