記号論理学装置