{"id":130,"date":"2011-01-05T18:49:55","date_gmt":"2011-01-05T16:49:55","guid":{"rendered":"https:\/\/blogs.ua.es\/jabibics\/?p=130"},"modified":"2011-01-19T23:02:43","modified_gmt":"2011-01-19T21:02:43","slug":"capitulo-6-deduccion-natural","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/jabibics\/2011\/01\/05\/capitulo-6-deduccion-natural\/","title":{"rendered":"Cap\u00edtulo 6 \u201cDeducci\u00f3n Natural\u201d"},"content":{"rendered":"<p>La <span style=\"text-decoration: underline\">deducci\u00f3n natural<\/span> consiste en obtener todas las conclusiones que se deducen basandose en la elecci\u00f3n de una regla de infer\u00e9ncia que aplicado a una o varias fbfs obtiene una nueva fbf y termina cuando se obtiene la fbf conclusi\u00f3n, es una m\u00e9todo cercano al razonamiento intuitivo del ser humano, b\u00e1sicamente hay que:<\/p>\n<ol>\n<li>Descomponer las premisas en diferentes pasos justificando el proceso con una regla de infer\u00e9ncia.<\/li>\n<li>Se obtienes una nueva f\u00f3rmula l\u00f3gica que es una conclusi\u00f3n derivada de las premisas.<\/li>\n<\/ol>\n<p>Para ello debemos conocer las reglas de infer\u00e9ncia, aqu\u00ed teneis las reglas b\u00e1sicas de infer\u00e9ncia existen m\u00e1s:<br \/>\n<img decoding=\"async\" src=\"https:\/\/blogs.ua.es\/jabibics\/files\/2011\/01\/INFERENCIA.png\" alt=\"\" \/><\/p>\n<p><span style=\"text-decoration: underline\">PRUEBA POR CONTRADICCI\u00d3N<\/span>: Si se debe obtener una fbf A, abrir una subdeducci\u00f3n con la f\u00f3rmula \u00acA y hacer inferencias hasta obtener una contradicci\u00f3n.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La deducci\u00f3n natural consiste en obtener todas las conclusiones que se deducen basandose en la elecci\u00f3n de una regla de infer\u00e9ncia que aplicado a una o varias fbfs obtiene una nueva fbf y termina cuando se obtiene la fbf conclusi\u00f3n, es una m\u00e9todo cercano al razonamiento intuitivo del ser humano, b\u00e1sicamente hay que: Descomponer las [&hellip;]<\/p>\n","protected":false},"author":1760,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[34411],"tags":[],"class_list":["post-130","post","type-post","status-publish","format-standard","hentry","category-matematicas-logicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/130","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/users\/1760"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/comments?post=130"}],"version-history":[{"count":14,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/130\/revisions"}],"predecessor-version":[{"id":442,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/130\/revisions\/442"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/media?parent=130"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/categories?post=130"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/tags?post=130"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}