Title: Truth-functional logic
Subjects: Truth-functions, First-order logic, Logique du premier ordre, PHILOSOPHY, General