Hierarchy:
Description:
{{logic}} A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.
Ngram:
Ngram Text:
formula
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1
Wikokit WikiText ID:
649570