Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14 Hierarchy: NounDescription: {{logic}} A formula with no free variables. {{defdate|from 20th c.}}Ngram: sentenceNgram Text: sentenceSource: WiktionaryIssue: 0Wiktionary tag: logicfrom 20th c.Ngram Count: 1Wikokit WikiText ID: 1206677