Term logic

ウィキペディアから