익명 두더지
논리학의 조건문에서 전건이 거짓일 때 전체 조건문이 참이 되는 것을 '공허참' 이라고 하잖아요? 제가 알기로, 후건이 참이라면 이 또한(전건의 진리치에 싱관 없이) 전체 조건문이 참이 되는 걸로 알고있는데요. 이 경우 '공허참' 처럼 이를 부르는 명칭이 따로 있을까요?
Fragestellung
일반적으로 후건이 참이면 전건의 진리치와 상관없이 조건문 전체는 참이 되는 건 맞습니다만, 특별히 이 경우를 지칭하는 명칭은 없는 것으로 알고 있습니다. 다만 그 경우를 포함해 단순 조건문(material implication)과 관련해서 생기는 특이한 현상들을 일컬어 '단순 조건문의 역설'이라 부르기는 합니다.