素性論理