Directory
References
atomic formula
logic
Learn about this topic in these articles:
contribution by Cannizzaro
- In Stanislao Cannizzaro: A single system of atomic formulas
In his 1858 pamphlet, Cannizzaro showed that a complete return to the ideas of Avogadro could be used to construct a consistent and robust theoretical structure that fit nearly all of the available empirical evidence. The few remaining anomalies, he argued, could easily…
Read More
predicate calculus
- In formal logic: The predicate calculus
…wff is known as an atomic formula, and the predicate variable in it is said to be of degree n, if n is the number of individual variables following it. The degree of a predicate variable is sometimes indicated by a superscript—e.g., ϕxyz may be written as ϕ3xyz; ϕ3xy would…
Read More