Submitted by György Chityil ... on Fri, 01/19/2018 - 20:39 Hierarchy: NounDescription: {{logic}} Given a formula, a formula that is part of the given formula.Ngram: subformulaNgram Text: subformulaSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 1