{"id":41,"date":"2011-01-04T14:22:23","date_gmt":"2011-01-04T12:22:23","guid":{"rendered":"https:\/\/blogs.ua.es\/jabibics\/?p=41"},"modified":"2011-01-19T23:02:59","modified_gmt":"2011-01-19T21:02:59","slug":"capitulo-2-el-lenguaje-de-la-logica","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/jabibics\/2011\/01\/04\/capitulo-2-el-lenguaje-de-la-logica\/","title":{"rendered":"Cap\u00edtulo 2 \u201cEl lenguaje de la l\u00f3gica\u201d"},"content":{"rendered":"<p>El <span style=\"text-decoration: underline\">lenguaje formal de la l\u00f3gica<\/span> de primer orden (LPO), es uno de los lenguajes m\u00e1s potentes para la representaci\u00f3n del conocimiento en teor\u00eda de la computaci\u00f3n, carece de ambig\u00fcedades y posee una forma clara de representaci\u00f3n basada en la forma y no en el contenido, se puede realizar en dos niveles de abstracci\u00f3n:<\/p>\n<blockquote><p>lenguaje proposicional<br \/>\nlenguaje predicativo.<\/p><\/blockquote>\n<table>\n<tbody>\n<tr>\n<td width=\"300px\">Ambos lenguajes se componen de:<\/p>\n<p>&#8211;\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Letras: variables proposicionales.<\/p>\n<p>&#8211;\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Las siguientes conectivas l\u00f3gicas:<\/td>\n<td><img decoding=\"async\" src=\"https:\/\/blogs.ua.es\/jabibics\/files\/2011\/01\/conectivas.jpg\" alt=\"\" \/><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>El lenguaje formal de la l\u00f3gica de primer orden (LPO), es uno de los lenguajes m\u00e1s potentes para la representaci\u00f3n del conocimiento en teor\u00eda de la computaci\u00f3n, carece de ambig\u00fcedades y posee una forma clara de representaci\u00f3n basada en la forma y no en el contenido, se puede realizar en dos niveles de abstracci\u00f3n: lenguaje [&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-41","post","type-post","status-publish","format-standard","hentry","category-matematicas-logicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/41","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=41"}],"version-history":[{"count":22,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/41\/revisions"}],"predecessor-version":[{"id":446,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/41\/revisions\/446"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/media?parent=41"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/categories?post=41"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/tags?post=41"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}