{"id":45,"date":"2009-12-06T10:30:56","date_gmt":"2009-12-06T09:30:56","guid":{"rendered":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/?page_id=45"},"modified":"2009-12-06T11:21:15","modified_gmt":"2009-12-06T10:21:15","slug":"software-sobre-logica","status":"publish","type":"page","link":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/software-sobre-logica\/","title":{"rendered":"Software para L\u00f3gica Primer Orden"},"content":{"rendered":"<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-47\" src=\"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/files\/2009\/12\/ADN.jpg\" alt=\"ADN\" width=\"151\" height=\"100\" srcset=\"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/files\/2009\/12\/ADN.jpg 151w, https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/files\/2009\/12\/ADN-150x100.jpg 150w\" sizes=\"auto, (max-width: 151px) 100vw, 151px\" \/> <a href=\"http:\/\/www.dccia.ua.es\/logica\/ADN\/index.htm\" target=\"_blank\">Asistente para Deducci\u00f3n Natural (ADN)<\/a><\/strong><\/p>\n<p><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">El <em> Asistente          para Deducci\u00f3n Natural <\/em>(<strong>ADN<\/strong>)<em> <\/em>es una herramienta did\u00e1ctica que          asiste al alumno que se inicia en la t\u00e9cnica de Deducci\u00f3n          Natural a elaborar sus propias deducciones.<\/span><\/p>\n<p><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Comprueba si la       f\u00f3rmula obtenida es <strong>sint\u00e1cticamente<\/strong> <strong>correcta<\/strong> (<strong>fbf<\/strong>) y si\u00a0 se ha       obtenido de forma adecuada (<strong>reglas b\u00e1sicas<\/strong>). Adem\u00e1s, posee las siguientes herramientas de apoyo:<\/span><\/p>\n<ul>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Ayudante, que gu\u00eda la interacci\u00f3n            del usuario con el ADN.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Visor            de \u00e1rboles sint\u00e1cticos de las f\u00f3rmulas.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Informe            detallado de los errores.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Visor            de reglas b\u00e1sicas.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Aconsejador.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Multilenguaje: posibilidad de ejecutarlo             en cualquier idioma.<\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Permite cargar ejercicios desde el  \t\tservidor. <\/span><\/li>\n<li><span style=\"font-family: Verdana,Arial,Helvetica,sans-serif;font-size: x-small\">Tutorial de deducci\u00f3n natural.<\/span><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Asistente para Deducci\u00f3n Natural (ADN) El Asistente para Deducci\u00f3n Natural (ADN) es una herramienta did\u00e1ctica que asiste al alumno que se inicia en la t\u00e9cnica de Deducci\u00f3n Natural a elaborar sus propias deducciones. Comprueba si la f\u00f3rmula obtenida es sint\u00e1cticamente correcta (fbf) y si\u00a0 se ha obtenido de forma adecuada (reglas b\u00e1sicas). Adem\u00e1s, posee las [&hellip;]<\/p>\n","protected":false},"author":1543,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-45","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/pages\/45","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/users\/1543"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/comments?post=45"}],"version-history":[{"count":9,"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/pages\/45\/revisions"}],"predecessor-version":[{"id":65,"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/pages\/45\/revisions\/65"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/friedrichludwiggottlobfrege\/wp-json\/wp\/v2\/media?parent=45"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}