viernes, 9 de mayo de 2008

CONECTIVOS Y OPERADORES LÓGICOS

POR: GRUPO Nº 1 : ASTERIO GONZALEZ, YAIVETTE VARGAS, JESÚS PERNIA Y ZORAILEN BRAVOS.

El presente informe trata de la lógica proposicional que es una rama de la lógica clásica, ya que estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de la verdad, en el caso ideal, y su nivel absoluto de la verdad. Una proposición se define como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediantes letras. Con la combinación de variables proposicionales y conjunciones, definidas como factores o funciones de la verdad, se obtienen fórmulas senténciales o sentencias. Estas pueden ser, según su tabla de la verdad: esta tabla de la verdad depende del número de variables de la expresión proposicional y se puede calcular por medio de formulas. Al elaborar o construir una tabla de la verdad, es un proceso bastante importante, ya que nos permite establecer la validez o falsedad de un enunciado, de acuerdo a la verdad o falsedad de las proposiciones que componen el enunciado, identificando sus conectores lógicos y determinando en todas las relaciones posibles entre las proposiciones un valor que nos permite conocer su validez.

Al analizar cualquier enunciado, desde el punto de vista de la lógica, nos damos cuenta que existen componentes que los integran, que son las premisas y sus conectores lógicos.
Los conectores lógicos son:

La conjunción: nos permite realizar proposiciones p, q que es la operación binaria que tiene por resultado p y q, se representa por p ^ q, esta nos sirve para indicar que se cumplen dos condiciones simultáneamente.( terminode enlace Y)

La disyunción: a diferencia de la conjunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión P o Q , se representas p ∨ q sea verdadera. La disyunción esta conformada por exclusiva e inclusiva. (termino de enlace O)

La condicional: podemos decir respecto a este operador binario, que lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso. Cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador. ( si P entonces Q, y se representa P → Q)

La bicondicional: esta depende de dos proposiciones p, q que da lugar a la proposición;( p si y sólo si q,) se representa por p ↔ q. Combinando los operadores anteriores podemos formar nuevas expresiones.

La negación: la negación es un conectivo unitario, este operador lógico cambia el valor de la verdad de las proposiciones de verdadero a falso o viceversa. En la negación también podemos encontrar dos tipos la negación conjunta y alternativa.

La exclusión: es aquella que afirma que por lo menos uno de los miembros debe ser falso para que la proposición sea verdadera.

En fin podemos decir que ya no vemos una oración solo de forma estructural donde existe un sujeto, verbo y predicado, ahora aprendemos a ver la relación de validez que estas oraciones tienen asignando valores a las proposiciones, lo cual, de acuerdo a sus conectores nos indica de forma determinante si lo que se dice es verdad o mentira.

Por lo tanto, aprender a prender de la lógica, nos brinda la oportunidad de determinar lo que es correcto o no al momento de tomar decisiones sobre enunciados escritos, de los cuales desconocemos su validez o falsedad. La lógica proposicional es un elemento fundamental de la lógica matemática.


viernes, 2 de mayo de 2008

Saludo

Desde aqui les envio un afectuoso saludo a todos los de la sección 12 de razonamiento lógico.

jueves, 1 de mayo de 2008

Justificación y Bienvenida

El aporte de las teorías constructivistas encuentra en la educación abierta y holísta un excelente campo de aplicación. Este tipo de educación académicamente exigente, requiere, de los estudiantes un conjunto de capacidades que deben desarrollar entre ellas: lectura comprensiva, identificación y solución de problemas, análisis, habilidad para investigar y comunicar adecuadamente resultados, entre otras.La capacidad de repetir algo no es ninguna garantía de aprendizaje para la vida, una concepción moderna del aprendizaje, por su parte, busca sistematizar para comprobar si las experiencias obtenidas han quedado como aptitud, como capacidad para actuar o como posibilidad para resolver nuevos problemas.La experiencia demuestra que es más difícil ubicarse en una concepción moderna porque es más desafiante y compleja. Más fácil resulta para un educador recurrir al libro que ya posee lo que se debe enseñar y trasmitírselo al alumno. En cambio, no es tan fácil organizar el medio ambiente o el conjunto de experiencias o situaciones que posibilitan crecer y alcanzar futuras modificaciones de conducta.La lógica matemática trata todo aquello que tiene sentido común, que parece suceder de forma natural en la mente humana y se entiende a medida que se va estudiando y profundizando en ella. Desarrollar la madurez matemática del estudiante a través del estudio de un área muy diferente a lo que tradicionalmente se incluye en la misma, brindando la oportunidad de establecer mejores resultados de manera significativa al estudio subsiguiente en el ámbito numérico.El hecho de enseñar al estudiante cómo realizar una demostración, le ayudará a presentar casos en forma lógica, aportando a la formación integral de los estudiantes conforme a las nuevas tendencias en educación y formándolos en el desarrollo de aptitudes y actitudes con las que se pretende; la cualificación en el saber y en el hacer, incluyendo conocimientos y habilidades para un adecuado desenvolvimiento profesional. Se aspira motivar en el estudiante, la aparición o desarrollo de comportamientos reflexivos, proactivos, sensibles e innovadores, frente a las diversas situaciones a la que se enfrentan y enfrentarán como estudiante, profesional y persona.La UNEFA con su política para formar egresados de excelencia académica, incorpora la asignatura Razonamiento Lógico en el inicio de la carrera de Ingeniería con el propósito de mejorar la forma de pensar a través de herramientas lógicas, facilitando en el estudiante la formulación, evaluación y resolución de problemas de índole numérico a lo largo de su carrera, así como aquellos aspectos relacionados con su comunidad, insertándolos activamente en la solución de los mismos y promoviendo en él la asunción de lo público y la acción ciudadana como espacio de interés. Lo anterior puede facilitar la equidad, la disminución de brechas entre las comunidades, el Estado y en consecuencia la universalización de los derechos sociales.De Aqui en adelante los alumnos correspondientes a la sección 12 realizaran un trabajo de investigación el cual estará enfocado en la lógica matemática y sus aplicaciones. En el transcurso de la asignatura el resto de los participantes harán sus comentarios respectivos que determinará el alcance del blog.