WordNet: logic

Sanatista
the branch of philosophy that analyzes inference



logic