{"id":62,"date":"2011-01-04T18:55:31","date_gmt":"2011-01-04T16:55:31","guid":{"rendered":"https:\/\/blogs.ua.es\/jabibics\/?p=62"},"modified":"2011-01-19T23:02:55","modified_gmt":"2011-01-19T21:02:55","slug":"capitulo-3-lenguaje-proposicional","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/jabibics\/2011\/01\/04\/capitulo-3-lenguaje-proposicional\/","title":{"rendered":"Cap\u00edtulo 3 \u201cLenguaje Proposicional\u201d"},"content":{"rendered":"<p>El <span style=\"text-decoration: underline\">lenguaje proposicional<\/span> nos permite construir f\u00f3rmulas l\u00f3gicas proposicionales<em> fbf<\/em> (f\u00f3rmulas bien formadas) a partir de proposiciones at\u00f3micas y moleculares, como ya he dicho este lenguaje se compone de letras (variables proposicionales) y de conectivas l\u00f3gicas para relacionar las variables entre s\u00ed.<\/p>\n<blockquote><p>Ejemplo: (A = Javier estudia)<\/p>\n<p>\u00ac A = Javier no estudia<\/p><\/blockquote>\n<p>Tambi\u00e9n debemos usar los par\u00e9ntesis, ya que no todas las conectivas l\u00f3gicas tienen el mismo nivel jer\u00e1rquico, esta es la jerarqu\u00eda:<\/p>\n<blockquote>\n<ol>\n<li>Negaci\u00f3n<\/li>\n<li>Conjunci\u00f3n y Disyunci\u00f3n<\/li>\n<li>Condici\u00f3n y Bi-Condici\u00f3n<\/li>\n<\/ol>\n<\/blockquote>\n<p>Usaremos los par\u00e9ntesis cuando haya conflictos con las conectivas l\u00f3gicas, c\u00f3mo por ejemplo:<\/p>\n<blockquote><p>Ejemplo: Mar\u00eda no estudia y Pablo s\u00ed o Mar\u00eda estudia y Pablo no<\/p>\n<p>A = Mar\u00eda estudia<br \/>\nB = Pablo estudia<\/p>\n<pre>\u00acA ^ B v A ^ \u00acB     =     (\u00acA ^ B) v (A ^ \u00acB)\r\n<\/pre>\n<p>Existir\u00eda conflicto entre las conectivas l\u00f3gicas conjuntivas y disyuntivas, ya que ambas pertenecen al mismo nivel jer\u00e1rquico, a\u00f1adiendo los par\u00e9ntesis eliminamos este problema.<\/p><\/blockquote>\n<p>Para los siguientes ejemplos<\/p>\n<p style=\"padding-left: 30px\">A = Mar\u00eda estudia<br \/>\nB = Pablo estudia<br \/>\nC = Mar\u00eda aprueba<\/p>\n<blockquote><p>Ejemplo: Mar\u00eda estudia pero Pablo no.<\/p><\/blockquote>\n<pre>A ^ \u00acB<\/pre>\n<blockquote><p>Ejemplo: Para que Mar\u00eda apruebe es necesario que estudie<\/p><\/blockquote>\n<pre>A \u2192 C<\/pre>\n<blockquote><p>Ejemplo: Para que Mar\u00eda apruebe es suficiente que estudie<\/p><\/blockquote>\n<pre>C \u2192 A<\/pre>\n<blockquote><p>Ejemplo: Mar\u00eda estudia si y s\u00f3lo si Pablo estudia<\/p><\/blockquote>\n<pre>A \u2194 B<\/pre>\n<blockquote><p>Ejemplo: Para que Mar\u00eda estudie es suficiente y necesario que Pablo estudie<\/p><\/blockquote>\n<pre>A \u2194 B<\/pre>\n","protected":false},"excerpt":{"rendered":"<p>El lenguaje proposicional nos permite construir f\u00f3rmulas l\u00f3gicas proposicionales fbf (f\u00f3rmulas bien formadas) a partir de proposiciones at\u00f3micas y moleculares, como ya he dicho este lenguaje se compone de letras (variables proposicionales) y de conectivas l\u00f3gicas para relacionar las variables entre s\u00ed. Ejemplo: (A = Javier estudia) \u00ac A = Javier no estudia Tambi\u00e9n debemos [&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-62","post","type-post","status-publish","format-standard","hentry","category-matematicas-logicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/62","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=62"}],"version-history":[{"count":11,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/62\/revisions"}],"predecessor-version":[{"id":445,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/posts\/62\/revisions\/445"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/media?parent=62"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/categories?post=62"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/jabibics\/wp-json\/wp\/v2\/tags?post=62"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}