Interpretation (logic)

ウィキペディアから