Conséquence Logique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Relation selon laquelle un ensemble de phrases garantit sémantiquement la vérité d'une autre phrase dans chaque interprétation : une relation de conséquence entre prémisses et conclusion sur tous les modèles des prémisses.