Title: Implication, endometry, universe of discourse =
Subjects: Reasoning, Symbolic and mathematical Logic