1 truth-conditional semantics: 진리 조건적 의미론