logical consequence

fundamental concept in logic

Categorie: