{"height":"190","author_name":"derwind","url":"https://randommemory.hatenablog.com/entry/2016/02/21/013939","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F21%2F013939\" title=\"\u8a18\u53f7\u8ad6\u7406\u5b66(6) - \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>","blog_url":"https://randommemory.hatenablog.com/","image_url":null,"author_url":"https://blog.hatena.ne.jp/derwind/","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","title":"\u8a18\u53f7\u8ad6\u7406\u5b66(6)","published":"2016-02-21 01:39:39","width":"100%","version":"1.0","categories":["logic"],"type":"rich","provider_name":"Hatena Blog","description":"\u3044\u307e\u3053\u308c\u4ee5\u4e0a\u3001\u8a18\u53f7\u8ad6\u7406\u5b66\u3092\u6df1\u8ffd\u3044\u3057\u3088\u3046\u3068\u306f\u601d\u308f\u306a\u3044\u304c\u3001\u6238\u7530\u5c71\u672c\u306e\u300c10.2 \u30b7\u30f3\u30bf\u30af\u30b9\u3068\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u300d\u3067\u89e6\u308c\u3089\u308c\u3066\u3044\u308b\u8b70\u8ad6\u306f\u8208\u5473\u6df1\u3044\u3002\\begin{equation} A_1,A_2,\\cdots,A_n \\vDash C \\end{equation}\u306f\u7d50\u8ad6\u306f\u524d\u63d0\u304b\u3089\u306e\u8ad6\u7406\u7684\u5e30\u7d50\u3067\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u3002\u610f\u5473\u8ad6(\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9)\u7684\u8868\u73fe\u3067\u3042\u308b\u3002 \u4e00\u65b9\u3001 \\begin{equation} A_1,A_2,\\cdots,A_n \\vdash C \\end{equation}\u306f\u3001\u516c\u7406\u3084\u898f\u5247\u3092\u3082\u3068\u306b\u5f0f\u5909\u5f62\u3092\u7e70\u308a\u8fd4\u3059\u3053\u3068\u3067\u524d\u63d0\u304b\u3089\u6f14\u7e79\u3067\u7d50\u8ad6\u304c\u5c0e\u51fa\u3055\u308c\u308b\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u3002\u69cb\u6587\u8ad6(\u30b7\u30f3\u30bf\u30af\u30b9)\u7684\u8868\u73fe\u3067\u3042\u308b\u3002\u3053\u3053\u3067\u2026","provider_url":"https://hatena.blog"}