矛盾 矛盾 を を満たす何らかの命題と定義する。 否定 命題Aの否定を と定義する。 vacuously true 矛盾の定義より、前提が矛盾している命題は結論がどうあれ真である。こういう命題をvacuously trueという(らしい)。 証明で便利な用語。 背理法 否定の定義…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。