裏 (論理学)

「p⇒q」という形の命題に対して、命題「￢p⇒￢q」を、元の命題の裏（うら、英: Inverse）という。ある命題「p⇒q」とその裏「￢p⇒￢q」の真偽は必ずしも一致しない。