{"id":4836,"date":"2004-12-08T07:51:11","date_gmt":"2004-12-08T07:51:11","guid":{"rendered":"http:\/\/davidbosman.fr\/blog\/2004\/12\/08\/20041208121\/"},"modified":"2010-03-27T23:35:33","modified_gmt":"2010-03-27T22:35:33","slug":"20041208121","status":"publish","type":"post","link":"https:\/\/www.davidbosman.fr\/blog\/2004\/12\/08\/20041208121\/","title":{"rendered":"Beautiful LOGic"},"content":{"rendered":"<blockquote><div align=\"justify\">Soit F une formule atomique non close.<\/p> <p>Si une substitution &#711; est telle que l&#8217;instance F&#711; de F est une cons&eacute;quence logique de P, alors &#711; est une r&eacute;ponse correcte &agrave; F. Si aucune instance de F n&#8217;est cons&eacute;quence logique de P, alors &#8220;non&#8221; est la r&eacute;ponse correcte &agrave; F.<\/p> <p>R&eacute;pondre de mani&egrave;re correcte &agrave; une question F?, o&ugrave; F est une formule atomique non close, consiste &agrave; trouver toutes les instances F&#711; de F qui sont cons&eacute;quences logiques de P. S&#8217;il existe de telles instances F&#711;, les r&eacute;ponses correctes sont les diff&eacute;rentes substitutions &#711;, sinon la r&eacute;ponse correcte est non.<\/div><\/p> <p><p align=\"right\"><em>(Programmer en PROLOG<\/em>, Jonathan Elbaz, Ellipses 1991, page 22)<\/p><\/p><\/blockquote>\n\n<p>H&eacute; b&eacute;.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Soit F une formule atomique non close. Si une substitution &#711; est telle que l&#8217;instance F&#711; de F est une cons&eacute;quence logique de P, alors &#711; est une r&eacute;ponse correcte &agrave; F. Si aucune instance de F n&#8217;est cons&eacute;quence logique &hellip; <a href=\"https:\/\/www.davidbosman.fr\/blog\/2004\/12\/08\/20041208121\/\">Read more &rarr;<\/a><\/p>","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[20],"class_list":["post-4836","post","type-post","status-publish","format-standard","hentry","category-chose-a-dit","tag-fun"],"_links":{"self":[{"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/posts\/4836","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/comments?post=4836"}],"version-history":[{"count":1,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/posts\/4836\/revisions"}],"predecessor-version":[{"id":5941,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/posts\/4836\/revisions\/5941"}],"wp:attachment":[{"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/media?parent=4836"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/categories?post=4836"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.davidbosman.fr\/blog\/wp-json\/wp\/v2\/tags?post=4836"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}