tag:blogger.com,1999:blog-14586210019391019082024-02-19T14:54:18.668-08:00LOGICA MATEMATICAlogicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.comBlogger11125tag:blogger.com,1999:blog-1458621001939101908.post-82132032647388193592011-11-08T14:16:00.000-08:002011-11-08T14:27:55.690-08:00PROPOSICIONES<div class="vspace" style="background-color: white; font-family: Verdana, Geneva, Helvetica, Arial, sans-serif; font-size: 14px; line-height: 20px; margin-top: 1.33em;"><br />
<div style="background: white; line-height: 15.0pt; margin-bottom: .0001pt; margin: 0cm;"><span style="background: black; color: white; font-family: "Verdana","sans-serif"; font-size: 10.5pt; mso-highlight: black; mso-themecolor: background1;">Una proposición lógica es Expresión enunciativa a la que puede atribuirse un sentido o función lógica de verdad o falsedad.<o:p></o:p></span></div><div style="background: white; line-height: 15.0pt; margin-bottom: .0001pt; margin: 0cm;"><span style="background: black; color: white; font-family: "Verdana","sans-serif"; font-size: 10.5pt; mso-highlight: black; mso-themecolor: background1;">Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.<o:p></o:p></span></div><div style="background: white; line-height: 15.0pt; margin-bottom: .0001pt; margin: 0cm;"><span style="background: black; color: white; font-family: "Verdana","sans-serif"; font-size: 10.5pt; mso-highlight: black; mso-themecolor: background1;">Otro tipo de entes que se utilizan en computación que también está asociado a “dos” opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas ó falsas y de acuerdo a esta condición se desarrolla el estudio sobre dichos conceptos. Este tema se conoce como cálculo de proposiciones.</span><span style="color: white; font-family: "Verdana","sans-serif"; font-size: 10.5pt; mso-themecolor: background1;"><o:p></o:p></span></div><div class="MsoNormal"><br />
</div></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-88668650856534258752011-11-08T14:13:00.000-08:002011-11-08T14:13:52.224-08:00VALOR DE LA VERDAD DE UNA PROPOSICION<h2 style="background-color: white; color: #445555; font-family: Georgia, 'Times New Roman', Times, serif; font-size: 18px; margin-bottom: 6px; margin-left: 0px; margin-right: 0px; margin-top: 0px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;"><a href="" id="valoresdea" name="valoresdea"><b><em>Valores de Verdad de Una Proposición</em></b></a></h2><div style="background-color: white; color: #445555; font-family: Georgia, 'Times New Roman', Times, serif; font-size: 14px; line-height: 18px; margin-bottom: 9px; margin-top: 9px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;">El valor de verdad de una proposición tiene por <a class="autolink" href="http://www.monografias.com/trabajos16/objetivos-educacion/objetivos-educacion.shtml" id="autolink" style="border-bottom-color: rgb(51, 102, 0); border-bottom-width: 1px; color: #008040; text-decoration: none;">objetivo</a> demostrar con que valor de verdad esta actuando una proposición. Este valor puede ser verdadero o falso dependiendo de la veracidad de dicha oración. Se simboliza de la siguiente manera tomando el siguiente significado.</div><div style="background-color: white; color: #445555; font-family: Georgia, 'Times New Roman', Times, serif; font-size: 14px; line-height: 18px; margin-bottom: 9px; margin-top: 9px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; padding-top: 0px;"><b>? (P) = F o V "Significa el valor de verdad de la proposición P es igual a F o V"</b></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-82254765504511413182011-11-08T14:09:00.000-08:002011-11-08T14:09:19.575-08:00NEGACIÓN DE UNA PROPOCISIONDada una proposición cualquiera, p, llamaremos “ negación de p” a la proposición “no p” y la notaremos ¬p. Sera verdadera cuando p sea falsa y falsa cuando p sea verdadera.<br />
5Universidad de Cadiz Departamento de Matemáticas<br />
La tabla de verdad de esta nueva proposici´on, ¬p, es:<br />
p<br />
V<br />
F<br />
¬p<br />
F<br />
V<br />
De esta forma, el valor verdadero de la negación de cualquier proposición es siempre opuesto al valor<br />
verdadero de la af afirmación original. <br />
Ejemplo 1.6 Estudiar la veracidad o falsedad de las siguientes proposiciones:<br />
p1: El Pentium es un microprocesador.<br />
p2: Es falso que el Pentium sea un microprocesador.<br />
p3: El Pentium no es un microprocesador.<br />
p4: 2 + 2 = 5<br />
p5: Es falso que 2 + 2 = 5<br />
p6: 2 + 2 = 4<br />
Soluci´on<br />
X p2 y p3 son, cada una, la negaci´on de p1.<br />
X p5 y p6 son, cada una, la negaci´on de p4.<br />
Pues bien, de acuerdo con la tabla de verdad para la negación, tendremos:<br />
X p1 es verdad, luego p2 y p3 son falsas.<br />
X p4 es falsa, luego p5 y p6 son verdad.<br />
Ejemplo 1.7 Construir la tabla de verdad de la proposici´on ¬(p ∧ ¬q).<br />
Soluci´on<br />
p q ¬q p ∧ ¬q<br />
V V F F<br />
V F V V<br />
F V F F<br />
F F V F<br />
¬ (p ∧ ¬q)<br />
V<br />
F<br />
V<br />
Vlogicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-81168385604598561302011-11-08T14:04:00.000-08:002011-11-08T14:04:58.218-08:00PROPOCISIONES COMPUESTASProposición Compuesta<br />
Si las proposiciones simples p1, p2, . . . , pn se combinan para formar la proposicion P , diremos que P<br />
la es una proposición compuesta de p1, p2, . . . , pn.<br />
Ejemplo 1.4 “La Matemática Discreta es mi asignatura preferida y Mozart fue un gran compositor”<br />
es una proposición compuesta por las proposiciones “La Matemática Discreta es mi asignatura preferida”<br />
y “Mozart fue un gran compositor”.<br />
“El es inteligente o estudia todos los días” es una proposición compuesta por dos proposiciones: “El es<br />
inteligente” y “El estudia todos los d´ıas”. <br />
Nota 1.2 La propiedad fundamental de una proposición compuesta es que su valor de verdad esta<br />
completamente determinado por los valores de verdad de las proposiciones que la componen junto con<br />
la forma en que están conectadas.logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-21282758715996708482011-11-08T13:57:00.000-08:002011-11-08T14:24:51.344-08:00CONECTIVOS LOGICOSEl significado de las conectivas lógicas no es nada más que su comportamiento como funciones de verdad. Cada conectiva lógica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-9768699892558681532011-11-08T13:56:00.000-08:002011-11-08T13:56:26.625-08:00TABLAS DE VERDAD<span class="Apple-style-span" style="background-color: white; color: #222222; font-family: arial, sans-serif; font-size: x-small; line-height: 15px;">Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.</span><br />
<span class="Apple-style-span" style="background-color: white; color: #222222; font-family: arial, sans-serif; font-size: x-small; line-height: 15px;"><br />
</span><br />
<span class="Apple-style-span" style="background-color: white; color: #222222; font-family: arial, sans-serif; font-size: x-small; line-height: 15px;"><br />
</span><br />
<span class="Apple-style-span" style="background-color: white; color: #222222; font-family: arial, sans-serif; font-size: x-small; line-height: 15px;"><br />
</span><br />
<br />
<div class="separator" style="clear: both; text-align: center;"><a href="http://t1.gstatic.com/images?q=tbn:ANd9GcQkfpJYuB5-NuoZjsFVZTgq2MkK2uBqSkFqFNSK2kpw3bQyG_4OLw" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" src="http://t1.gstatic.com/images?q=tbn:ANd9GcQkfpJYuB5-NuoZjsFVZTgq2MkK2uBqSkFqFNSK2kpw3bQyG_4OLw" /></a></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-27714993554073952122011-11-08T13:36:00.000-08:002011-11-08T13:36:23.230-08:00LA CONJUNCION<span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px;">Las proposiciones conjuntivas llevan la conjunción copulativa ‘y’, o sus expresiones equivalentes como ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto... como...’, ‘sino’, ‘ni... ni‘, ‘sin embargo’, ‘además’, etc.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Ejemplos:</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">a) ‘El’ es un artículo y ‘de’ es una preposición.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">b) El número dos es par, pero el número tres es impar.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">c) Silvia es inteligente, sin embargo es floja.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">d) Tanto el padre como el hijo son melómanos.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Una proposición conjuntiva es conmutativa, es decir, se puede permutar el orden de sus proposiciones componentes sin alterar la conjunción.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Una pseudoproposicion Conjuntiva se forma cuando la "Y" tiene carácter de término relacional y no propiamente de conjunción copulativa o conectiva.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Ejemplo:</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">a) Sansón y Dalila son hermanos.</span>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-59177627669308545772011-11-08T13:35:00.000-08:002011-11-08T13:35:20.350-08:00LA DISYUNCION<span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px;">Las proposiciones disyuntivas llevan la conjunción disyuntiva ‘o’, o sus expresiones equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’, ‘ora... ora’, ‘sea... sea’, ‘y/o’, etc.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">En español la disyunción 'o' tiene dos sentidos: uno inclusivo o débil y otro exclusivo o fuerte.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">La </span><em style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;"><strong>proposición disyuntiva inclusiva</strong></em><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;"> admite que las dos alternativas se den conjuntamente.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Ejemplo:</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">a) Roberto es profesor o es estudiante. (Puede ser los dos)</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">La </span><strong style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;"><em>proposición disyuntiva exclusiva</em></strong><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;"> no admite que las dos alternativas se den conjuntamente.</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">Ejemplo:</span><br style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;" /><span class="Apple-style-span" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 20px; text-align: left;">b) Elena está viva o está muerta. (No puede ser los dos)</span>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-9042478776423085792011-11-08T13:32:00.000-08:002011-11-08T13:32:38.134-08:00LA DISYUNCION EXCLUSIVA<h3 class="post-title entry-title" style="font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 18px; font-weight: normal; line-height: 1.4em; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0.25em; padding-bottom: 4px; padding-left: 0px; padding-right: 0px; padding-top: 0px; text-align: left;"></h3><h3 class="post-title entry-title" style="background-color: black; font-size: 18px; font-weight: normal; line-height: 1.4em; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0.25em; padding-bottom: 4px; padding-left: 0px; padding-right: 0px; padding-top: 0px;"><span class="Apple-style-span" style="color: cyan;">Tabla de verdad de la Disyuncion Exclusiva</span></h3><div class="post-header" style="background-color: black; color: #cccccc; font-size: 13px; line-height: normal;"><div class="post-header-line-1"></div></div><div class="post-body entry-content" id="post-body-2161316640584380513" style="background-color: black; color: #cccccc; font-size: 13px; line-height: 1.6em; margin-bottom: 0.75em; margin-left: 0px; margin-right: 0px; margin-top: 0px;">Una fórmula disyuntiva exclusiva es verdadera solo cuando sus variables son diferentes, en otro caso es falsa.<br />
<br />
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEifjO5k0lUmbOm9DebP10vO9ofQLNR6oAsRnaik96ue_5y679epXPl4zzcEArBWs-buxKmkEhcL6pPlOaMZ4G8DIAqr8LhyNqohOAIL84EhAmmcLugJP9b-yZID_YKbwSYNLPGHuEiACy0/s1600/Disyuncion_Inclusiva.jpg" style="color: #aadd99;"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5407592903051730354" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEifjO5k0lUmbOm9DebP10vO9ofQLNR6oAsRnaik96ue_5y679epXPl4zzcEArBWs-buxKmkEhcL6pPlOaMZ4G8DIAqr8LhyNqohOAIL84EhAmmcLugJP9b-yZID_YKbwSYNLPGHuEiACy0/s320/Disyuncion_Inclusiva.jpg" style="border-bottom-color: rgb(51, 51, 51); border-bottom-style: solid; border-bottom-width: 1px; border-left-color: rgb(51, 51, 51); border-left-style: solid; border-left-width: 1px; border-right-color: rgb(51, 51, 51); border-right-style: solid; border-right-width: 1px; border-top-color: rgb(51, 51, 51); border-top-style: solid; border-top-width: 1px; cursor: pointer; display: block; height: 195px; margin-bottom: 10px; margin-left: auto; margin-right: auto; margin-top: 0px; padding-bottom: 4px; padding-left: 4px; padding-right: 4px; padding-top: 4px; text-align: center; width: 170px;" /></a></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0tag:blogger.com,1999:blog-1458621001939101908.post-27430834180715329372011-11-08T13:30:00.000-08:002011-11-08T13:30:19.173-08:00LA DISYUNCION INCLUSIVA<h3 class="post-title entry-title" style="background-color: black; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 18px; font-weight: normal; line-height: 1.4em; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0.25em; padding-bottom: 4px; padding-left: 0px; padding-right: 0px; padding-top: 0px; text-align: left;"><span class="Apple-style-span" style="color: cyan;">Tabla de verdad de la Disyuncion Inclusiva</span></h3><div class="post-header" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; text-align: left;"><div class="post-header-line-1"></div></div><div class="post-body entry-content" id="post-body-3365328269439535735" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em; margin-bottom: 0.75em; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-align: left;">La disyunción Inclusiva es verdadera en todos los casos menos cuando ambas son falsas.<br />
<br />
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgOtd1_8AFxxY-OKpvviAkJd0JekveWzZTa6upUO1cs66VJnU11usnjI6_BwMizUUOzxfIZ9awxopSErnCYMNyUr4b0bTIfiWt9OShdNVzZpuW8U9H9uoDAcYwG-wIrDEmJabKgXmrYnBE/s1600/Disyuncion_Exclusiva.jpg" style="color: #aadd99;"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5407591650891320738" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgOtd1_8AFxxY-OKpvviAkJd0JekveWzZTa6upUO1cs66VJnU11usnjI6_BwMizUUOzxfIZ9awxopSErnCYMNyUr4b0bTIfiWt9OShdNVzZpuW8U9H9uoDAcYwG-wIrDEmJabKgXmrYnBE/s320/Disyuncion_Exclusiva.jpg" style="border-bottom-color: rgb(51, 51, 51); border-bottom-style: solid; border-bottom-width: 1px; border-left-color: rgb(51, 51, 51); border-left-style: solid; border-left-width: 1px; border-right-color: rgb(51, 51, 51); border-right-style: solid; border-right-width: 1px; border-top-color: rgb(51, 51, 51); border-top-style: solid; border-top-width: 1px; cursor: pointer; display: block; height: 115px; margin-bottom: 10px; margin-left: auto; margin-right: auto; margin-top: 0px; padding-bottom: 4px; padding-left: 4px; padding-right: 4px; padding-top: 4px; text-align: center; width: 193px;" /></a></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com2tag:blogger.com,1999:blog-1458621001939101908.post-44003276454324011892011-11-08T13:27:00.000-08:002011-11-12T14:13:45.853-08:00LA IMPLICACION<h3 class="post-title entry-title" style="background-color: black; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 18px; font-weight: normal; line-height: 1.4em; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; margin-top: 0.25em; padding-bottom: 4px; padding-left: 0px; padding-right: 0px; padding-top: 0px; text-align: left;"><span class="Apple-style-span" style="color: cyan;">Implicación </span></h3><div class="post-header" style="background-color: black; color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; text-align: left;"><div class="post-header-line-1"></div></div><div class="post-body entry-content" id="post-body-4091432417710952360" style="background-color: black; margin-bottom: 0.75em; margin-left: 0px; margin-right: 0px; margin-top: 0px; text-align: left;"><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Una fórmula ‘A’ implica a ‘B’ si y sólo si unidas en forma condicional,‘A’ como antecedente y ‘B’ como consecuente, su matriz resulta tautológica; si su matriz es consistente o contradictoria, se dice que ‘A’ no implica a ‘B’.</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><br />
</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Ejemplo:</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Si las matrices de las siguientes fórmulas son:</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">A: VVFF</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">B. VVVF</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">C: FFVV</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">D: FFFV</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Determine, mediante la tabla de verdad, si:</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><em><strong>1)</strong></em> “La conjunción de las negaciones de A y C implica a la negación</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">de la negación conjunta de B y D”.</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Procedimiento:</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><em><strong>a)</strong></em> Se expresa simbólicamente el enunciado.</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><em><strong>b)</strong></em> Se evalúa la fórmula mediante la tabla de verdad.</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><em><strong>c)</strong></em> Si su matriz es tautológica se dice que ‘A’ implica a ‘B’; si es consistente o contradictoria, se dice que ‘A’ no implica a ‘B’.</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEixcijOyxP5FuFrvHWEcXEcRbIFegcucL6SShyphenhyphen5UzBkuvyKl56jWAoQ7REW01QG29qDykNM6Ol4nAio5d_JCZyKRhYrbW2NV9ogy37V47kMWGfjJ97MQN0CXBAdzTicN4Y8JZ_aPjrma74/s1600/IMPLICA.jpg" style="color: #99aadd; text-decoration: none;"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5407607074249591234" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEixcijOyxP5FuFrvHWEcXEcRbIFegcucL6SShyphenhyphen5UzBkuvyKl56jWAoQ7REW01QG29qDykNM6Ol4nAio5d_JCZyKRhYrbW2NV9ogy37V47kMWGfjJ97MQN0CXBAdzTicN4Y8JZ_aPjrma74/s320/IMPLICA.jpg" style="border-bottom-color: rgb(51, 51, 51); border-bottom-style: solid; border-bottom-width: 1px; border-left-color: rgb(51, 51, 51); border-left-style: solid; border-left-width: 1px; border-right-color: rgb(51, 51, 51); border-right-style: solid; border-right-width: 1px; border-top-color: rgb(51, 51, 51); border-top-style: solid; border-top-width: 1px; cursor: pointer; display: block; height: 202px; margin-bottom: 10px; margin-left: auto; margin-right: auto; margin-top: 0px; padding-bottom: 4px; padding-left: 4px; padding-right: 4px; padding-top: 4px; text-align: center; width: 310px;" /></a></div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">RESPUESTA: A implica B (A->B)</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><br />
</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">Otro ejemplo:</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><br />
</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">“El bicondicional de la negación de A y la disyunción débil de C</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">y D implica a la negación de la disyunción débil de B y la negación</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">de A”</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj1kOToodtca_aAbCfpA1ZEytT74Ghd7NPga7MPAfdVYuSW6LXZBGlp4oaV3FqBRVFBkm2EAJOOqSN4OgX1MJ_G_NfbawyYy9UMl4VYUeeR_Q2VYT4HIadrJUey7URieJMILdSFqv_NrVg/s1600/NO+IMPLICA.jpg" style="color: #aadd99;"><img alt="" border="0" id="BLOGGER_PHOTO_ID_5407607717169028482" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj1kOToodtca_aAbCfpA1ZEytT74Ghd7NPga7MPAfdVYuSW6LXZBGlp4oaV3FqBRVFBkm2EAJOOqSN4OgX1MJ_G_NfbawyYy9UMl4VYUeeR_Q2VYT4HIadrJUey7URieJMILdSFqv_NrVg/s320/NO+IMPLICA.jpg" style="border-bottom-color: rgb(51, 51, 51); border-bottom-style: solid; border-bottom-width: 1px; border-left-color: rgb(51, 51, 51); border-left-style: solid; border-left-width: 1px; border-right-color: rgb(51, 51, 51); border-right-style: solid; border-right-width: 1px; border-top-color: rgb(51, 51, 51); border-top-style: solid; border-top-width: 1px; cursor: pointer; display: block; height: 230px; margin-bottom: 10px; margin-left: auto; margin-right: auto; margin-top: 0px; padding-bottom: 4px; padding-left: 4px; padding-right: 4px; padding-top: 4px; text-align: center; width: 320px;" /></a></div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;">RESPUESTA: A NO IMPLICA B</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><br />
</div><div style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: 13px; line-height: 1.6em;"><br />
</div><span class="Apple-style-span" style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: x-small;"><span class="Apple-style-span" style="line-height: 1.6em;">A </span><span class="Apple-style-span" style="line-height: 20px;">CONTINUACIÓN</span><span class="Apple-style-span" style="line-height: 1.6em;"> UN </span><span class="Apple-style-span" style="line-height: 20px;">EJEMPLO</span><span class="Apple-style-span" style="line-height: 1.6em;"> </span></span><br />
<span class="Apple-style-span" style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: x-small;"><span class="Apple-style-span" style="line-height: 1.6em;"><br />
</span></span><br />
<div class="separator" style="clear: both; text-align: center;"><br />
</div><span class="Apple-style-span" style="color: #cccccc; font-family: 'Trebuchet MS', Trebuchet, Verdana, sans-serif; font-size: x-small;"><span class="Apple-style-span" style="line-height: 1.6em;"><br />
</span></span></div>logicamatematicahttp://www.blogger.com/profile/03210082486807694477noreply@blogger.com0