Submitted by György Chityil ... on Fri, 01/19/2018 - 23:40 Hierarchy: NounDescription: {{logic}} A statement Q in relation to statement P such that P implies Q.Ngram: necessary conditionNgram Text: necessary conditionSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2