monotonicity of entailment

property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences

Pronunciations

These IPA transcriptions are generated from the name above. Proper names may have other pronunciations, and current converter results may differ. How transcription works

Entity details on Wikidata

Categories: