{"blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","image_url":null,"width":"100%","categories":["logic"],"height":"190","title":"\u8a18\u53f7\u8ad6\u7406\u5b66(1)","provider_name":"Hatena Blog","blog_url":"https://randommemory.hatenablog.com/","description":"\u4f55\u306e\u30e1\u30e2\u304b\u3089\u6b8b\u305d\u3046\u304b\u3068\u601d\u6848\u3057\u3064\u3064\u3001\u30e0\u30ba\u30ab\u30b7\u30a4\u3084\u3064\u304b\u3089...\u3002\u5168\u90e8\u96e3\u3057\u3044...\u3002\u542b\u610f(implication)\u3002\u3068\u308a\u308f\u3051\u96e3\u3057\u3044\u3002 \\begin{equation} P \\to Q,\\ P \\supset Q,\\ P \\Rightarrow Q,\\ P \\vdash Q \\end{equation}\u8272\u3005\u66f8\u304d\u65b9\u306f\u3042\u308b\u3088\u3046\u3060\u3002\u4f55\u304c\u4e00\u756a\u826f\u3055\u305d\u3046\u304b\u5206\u304b\u3089\u306a\u3044\u3002 \u65b0\u3057\u3044\u8ad6\u7406\u5e8f\u8aac (\u3059\u3046\u304c\u304f\u3076\u3063\u304f\u3059) | \u672c\u6a4b \u4fe1\u7fa9 | \u672c | Amazon.co.jp \u8ad6\u7406\u5b66\u3092\u3064\u304f\u308b | \u6238\u7530\u5c71 \u548c\u4e45 | \u672c | Amazon.co.jp \u73fe\u4ee3\u96c6\u5408\u8ad6\u5165\u9580 (\u65e5\u8a55\u6570\u5b66\u9078\u66f8) | \u7af9\u5185 \u5916\u53f2 | \u672c | Amazon.co.j\u2026","provider_url":"https://hatena.blog","type":"rich","url":"https://randommemory.hatenablog.com/entry/2016/02/20/021721","author_name":"derwind","author_url":"https://blog.hatena.ne.jp/derwind/","published":"2016-02-20 02:17:21","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F20%2F021721\" title=\"\u8a18\u53f7\u8ad6\u7406\u5b66(1) - \u3089\u3093\u3060\u3080\u306a\u8a18\u61b6\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}