immediate inference

logical inference from a single statement

Kategorie: