zeroth-order logic

first-order logic without variables or quantifiers

ক্যাটাগরি: