In mathematical logic, a formula is said to be absolute to some class of structures (also called models), if it has the same truth value in each of the members of that class. One can also speak of absoluteness of a formula between two structures, if it has the same truth value in both of them.
In mathematical logic, a formula is said to be absolute to some class of structures (also called models), if it has the same truth value in each of the members of that class. One can also speak of absoluteness of a formula between two structures, if it has the same truth value in both of them.
Source: Wikipedia "Absoluteness (logic)" · CC BY-SA 4.0
Share this article: X · Bluesky