이환 (contraposition) 한 정언적 문장의 이환문은 주어와 술어의 위치를 맞자꾸고 그것들을 각기 부정함으로써 얻어진다. 한 조건언의 이환문은 전건과 후건의 위치를 맞바꾸고 그것들을 각기 부정함으로써 얻어진다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 404. 아 이환
