{"id":92,"date":"2010-11-14T14:35:37","date_gmt":"2010-11-14T14:35:37","guid":{"rendered":"https:\/\/blogs.ua.es\/dar15\/?p=92"},"modified":"2010-11-14T14:35:37","modified_gmt":"2010-11-14T14:35:37","slug":"teoria-sesion-8","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/dar15\/2010\/11\/14\/teoria-sesion-8\/","title":{"rendered":"Teor\u00eda sesi\u00f3n 8"},"content":{"rendered":"<p>Entrada de la sesion correspondiente a (09\/11\/2010)<\/p>\n<ul>\n<li> <strong>Deducci\u00f3n natural:<\/strong> a partir de unas premisas y una conclusi\u00f3n hab\u00eda que averiguar si esa conclusi\u00f3n era cierta. Esto se deduc\u00eda haciendo suposiciones y utilizando las reglas de inferencia.<\/li>\n<\/ul>\n<p>Ejemplos:<\/p>\n<ul>\n<li><strong>PRIMERO<\/strong><\/li>\n<\/ul>\n<blockquote><p>Premisas: ja \u2192 v , v\u2192ma\u00a0Conclusi\u00f3n: ja \u2192ma<\/p>\n<p>-1 ja \u2192 v<\/p>\n<p>-2 v \u2192ma<\/p>\n<p><strong>3 ja <\/strong> Suponemos que ja es cierta<\/p>\n<p><strong>4 v <\/strong> De lo anterior se deduce v , se utiliza la regla MP en las proposiciones 1 y 3<\/p>\n<p><strong>5 ma<\/strong> MP de 2,4<\/p>\n<p>6 ja \u2192ma Se hace la TD de 3-5<\/p>\n<p>De 3 a 5, hay una subdeducci\u00f3n que debe ir en un corchete, yo la he puesto en negrita.<\/p><\/blockquote>\n<ul>\n<li><strong>SEGUNDO<\/strong><\/li>\n<\/ul>\n<blockquote><p>Premisas: at\u2192\u00a0so <strong>v<\/strong> in, in \u2192\u00acju \u00a0 Conclusi\u00f3n: at\u2192\u00a0(\u00acso\u2192\u00a0\u00acju)<\/p>\n<p>-1 at\u2192\u00a0so\u00a0<strong>v<\/strong> in<\/p>\n<p>-2 in \u2192\u00acju<\/p>\n<p><strong>3 at <\/strong><\/p>\n<p><strong>4 \u00acso<\/strong><\/p>\n<p><strong>5<\/strong><strong> so v in \u00a0 MP 1,3<\/strong><\/p>\n<p><strong>6<\/strong><strong> in \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 SD 4,5<\/strong><\/p>\n<p><strong>7<\/strong><strong> \u00acju \u00a0 \u00a0 \u00a0 \u00a0MP 2,6<\/strong><\/p>\n<p><strong>8 \u00acso\u2192\u00a0\u00acju \u00a0 \u00a0 \u00a0TD 4,7<\/strong><\/p>\n<p>9 at\u2192\u00a0(\u00acso\u2192\u00a0\u00acju)<\/p><\/blockquote>\n<ul>\n<li><strong>TERCERO ( Utilizaci\u00f3n la reducci\u00f3n al absurdo)<\/strong><\/li>\n<\/ul>\n<blockquote><p>Premisas: A \u2192\u00a0C ^P , V, P \u2192\u00a0\u00acV \u00a0 \u00a0 Conclusi\u00f3n: \u00a0 \u00acA<\/p>\n<p>Consiste en comenzar la deducci\u00f3n suponiendo como cierto lo contrario de la conclusi\u00f3n, en este caso: A<\/p>\n<p>-1 A \u2192\u00a0C ^P<\/p>\n<p>-2 V<\/p>\n<p>-3 P \u2192\u00a0\u00acV<\/p>\n<p><strong>4 \u00a0A <\/strong><\/p>\n<p><strong>5 C ^P \u00a0 \u00a0 \u00a0 \u00a0MP 1,4<\/strong><\/p>\n<p><strong>6 P \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 EC 5<\/strong><\/p>\n<p><strong>7 \u00acV \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0MP 3,6<\/strong><\/p>\n<p><strong>8 V^\u00acV \u00a0 \u00a0 IC 2,7<\/strong><\/p>\n<p>9 \u00acA \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 IN (Abs) 4-8<\/p><\/blockquote>\n<ul>\n<li>\n<h2><strong> Matem\u00e1tica discreta<\/strong><\/h2>\n<\/li>\n<\/ul>\n<h3><strong>&#8211; Fundamentos de grafos<\/strong><\/h3>\n<p>Un grafo es una estructura discreta formada por v\u00e9rtices y aristas. Seg\u00fan se conecten los v\u00e9rtices tenemos distintos tipos de grafos: dirigidos y no dirigidos.<\/p>\n<p><strong>No dirigidos<\/strong> \u2013 Ambos sentidos son correctos o posibles.<\/p>\n<p><strong>Dirigidos <\/strong>&#8211; Se indican los sentidos posibles.<\/p>\n<p><strong>No dirigido<\/strong>: tiene un par (V, A) donde:<\/p>\n<p>V= {V<sub>1<\/sub>,\u2026V<sub>n<\/sub>} conjunto de v\u00e9rtices<\/p>\n<p>A= {e<sub>1<\/sub>,\u2026e<sub>m<\/sub>} es una familia de pares no ordenados de v\u00e9rtices, que llamaremos \t\t\taristas, cada  e<sub>k <\/sub>={V<sub>i<\/sub>, V<sub>j<\/sub>} con  V<sub>i<\/sub>, V<sub>j <\/sub>pertenecientes a V.<\/p>\n<p>Los v\u00e9rtices  V<sub>i<\/sub>, V<sub>j <\/sub>son extremos de la arista  e<sub>k <\/sub>.<\/p>\n<p>Familia quiere decir que puede haber m\u00e1s de una arista uniendo el mismo par de v\u00e9rtices.<\/p>\n<p>Ejemplo de grafo no dirigido:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone\" src=\"http:\/\/upload.wikimedia.org\/wikipedia\/commons\/6\/67\/Kaari_suuntaamaton_graafiteoria.png\" alt=\"\" width=\"600\" height=\"200\" \/><\/p>\n<p><strong>Dirigido:<\/strong> Si las aristas tienen una direcci\u00f3n o sentido son grafos dirigidos.<\/p>\n<p>V= {V<sub>1<\/sub>,\u2026V<sub>n<\/sub>} conjunto de v\u00e9rtices<\/p>\n<p>A= {e<sub>1<\/sub>,\u2026e<sub>m<\/sub>} es una familia de pares ordenados de v\u00e9rtices, que llamaremos arcos, cada  e<sub>k <\/sub>={V<sub>i<\/sub>, V<sub>j<\/sub>} con  V<sub>i<\/sub>, V<sub>j <\/sub>pertenecientes a V.<\/p>\n<p>Los v\u00e9rtices  V<sub>i<\/sub>, V<sub>j <\/sub>son extremos de la arista  e<sub>k <\/sub>.<\/p>\n<p>Ejemplo de grafo dirigido:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone\" src=\"http:\/\/upload.wikimedia.org\/wikipedia\/commons\/3\/32\/Kaari_suunnattu_graafiteoria.png\" alt=\"\" width=\"600\" height=\"200\" \/><\/p>\n<p>En este caso el orden de los v\u00e9rtices en los arcos no es indiferente, hay que poner primero el v\u00e9rtice saliente y despu\u00e9s el entrante.<\/p>\n<p>Los extremos de una arista pueden tener v\u00e9rtices <strong>incidentes, adyacentes o formando un bucle<\/strong>.<\/p>\n<p>Los extremos de una arista (arco) son incidentes.<\/p>\n<p>Los v\u00e9rtices conectados por una misma arista (arco) son adyacentes.<\/p>\n<p>Un v\u00e9rtice unido consigo mismo es un bucle.<\/p>\n<p>La pr\u00f3xima sesi\u00f3n m\u00e1s cosas&#8230;.<\/p>\n<p><strong><br \/>\n<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Entrada de la sesion correspondiente a (09\/11\/2010) Deducci\u00f3n natural: a partir de unas premisas y una conclusi\u00f3n hab\u00eda que averiguar si esa conclusi\u00f3n era cierta. Esto se deduc\u00eda haciendo suposiciones y utilizando las reglas de inferencia. Ejemplos: PRIMERO Premisas: ja \u2192 v , v\u2192ma\u00a0Conclusi\u00f3n: ja \u2192ma -1 ja \u2192 v -2 v \u2192ma 3 ja [&hellip;]<\/p>\n","protected":false},"author":1754,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-92","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/92","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/users\/1754"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/comments?post=92"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/92\/revisions"}],"predecessor-version":[{"id":96,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/92\/revisions\/96"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/media?parent=92"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/categories?post=92"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/tags?post=92"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}