쌍조건문 소거
논리학에서, 쌍조건문 소거(雙條件文消去, 영어: biconditional elimination)는 두 명제의 동치로부터 두 명제의 서로 함의를 유도하는 추론 규칙이다.
정의 편집
쌍조건문 소거는 다음과 같은 두 개의 추론 규칙이다.[1]:183, §16.3.1
또는
여기서
성질 편집
같이 보기 편집
각주 편집
- ↑ Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.