対偶 (論理学)
前原昭二『記号論理入門』安東祐希 補足(新装版)、日本評論社〈日評数学選書〉、2005年12月。ISBN 978-4-535-60144-4。
矢野健太郎『新しい数学』岩波書店〈岩波新書 青版 G-8〉、1966年2月21日。ISBN 4-00-416008-1。