|
|
Definition of Subformula
1. Noun. (logic) Given a formula, a formula that is part of the given formula. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Subformula
Other Resources:
|
|
1. Noun. (logic) Given a formula, a formula that is part of the given formula. ¹
¹ Source: wiktionary.com