term logic

ウィキペディアから