{"author_name":"hanaaaaaachiru","version":"1.0","description":"\u30c9\u30fb\u30e2\u30eb\u30ac\u30f3\u306e\u6cd5\u5247 \u5b58\u5728\u8a18\u53f7 ex. \u306e\u5426\u5b9a \u306e\u8a3c\u660e How to prove Find x so that P(x) is true. Prove that Q(x) is true. \u5168\u79f0\u8a18\u53f7 ex. \u306e\u5426\u5b9a \u306e\u8a3c\u660e How to prove Let x be any element satisfying P(x). Prove Q(x) \u547d\u984c\u304c\u507d\u3067\u3042\u308b\u3053\u3068\u306e\u8a3c\u660e Statement X. It is True if we prove X. It is False if we prove the negation \u5168\u79f0\u8a18\u53f7\u306e\u66f8\u304d\u63db\u3048 \u4ee5\u4e0b\u306e3\u5f0f\u306f\u3059\u3079\u3066\u540c\u3058\u610f\u5473 \u306e\u8a3c\u660e For \"\", P \u2026","image_url":null,"provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.hanachiru-blog.com%2Fentry%2F2021%2F05%2F13%2F120000\" title=\"\u3010\u6570\u5b66\u3011\u547d\u984c\u3068\u8ad6\u7406\u5f0f\uff0c\u305d\u306e\u8a3c\u660e\u306e\u30c1\u30fc\u30c8\u30b7\u30fc\u30c8 - \u306f\u306a\u3061\u308b\u306e\u30de\u30a4\u30ce\u30fc\u30c8\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/hanaaaaaachiru/","categories":["\u52c9\u5f37\u30e1\u30e2","\u6570\u5b66"],"type":"rich","height":"190","url":"https://www.hanachiru-blog.com/entry/2021/05/13/120000","published":"2021-05-13 12:00:00","title":"\u3010\u6570\u5b66\u3011\u547d\u984c\u3068\u8ad6\u7406\u5f0f\uff0c\u305d\u306e\u8a3c\u660e\u306e\u30c1\u30fc\u30c8\u30b7\u30fc\u30c8","blog_url":"https://www.hanachiru-blog.com/","provider_url":"https://hatena.blog","width":"100%","blog_title":"\u306f\u306a\u3061\u308b\u306e\u30de\u30a4\u30ce\u30fc\u30c8"}