Bienvenid@s a este blog de Lógica Computacional, en el que encontraran todos los conocimientos que adquiera en el transcurso del primer ciclo de ésta cátedra.

Estarán publicados los desafíos que el docente proponga y que como alumna tendré que superar.

Lógica proposicional

La lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.

Se pueden utilizar conectivas lógicas:


Reflexión:
Aprendí a utilizar las conectivas lógicas según se sugiera en los argumentos, y comprendí cómo definir mediante lógica proposicional las proposiciones que fueron planteadas en este desafío.

https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8yMWNrNm10NTY0&hl=en

Pensamiento Lateral

Problemas Lógicos.
LO QUE DIJO EL REO:
En un determinado país donde la ejecución de un condenado a muerte solamente puede hacerse mediante la horca o la silla eléctrica, se da la situación siguiente, que permite a un cierto condenado librarse de ser ejecutado. Llega el momento de la ejecución y sus verdugos le piden que hable, y le manifiestan: "Si dices una verdad, te mataremos en la horca, y si mientes te mataremos en la silla eléctrica". El preso hace entonces una afirmación que deja a los verdugos tan perplejos que no pueden, sin contradecirse, matar al preso ni en la horca, ni en la silla eléctrica. ¿Qué es lo que dijo el reo?
Si guarda silencio, los verdugos no sabrán que hacer ya que no dijo ni una verdad ni una mentira.


LA CESTA DE LOS HUEVOS:
A la señora se le cayó al suelo la cesta de los huevos, y alguien quería saber cuántos huevos había en la cesta. - ¿Cuantos huevos llevaba? - le preguntaron. - No lo se, recuerdo que al contarlos en grupos de 2, 3, 4 y 5, sobraban 1, 2, 3 y 4 respectivamente.

Descarté los números pares, los múltiples de 3 y 5, entonces quedaron: 7, 11 ,13 , 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, etc., y empecé a sumarle 4 al número 5 y a sus múltiplos, entonces saqué las posibles respuestas: 19, pero en grupos de 3 sobra 1. 29, pero en grupos de 4 sobra 1. Entonces al comprobar 59: en grupos de 5 sobra 4, en grupos de 4 sobra 3, en grupos de 3 sobra 2 y en grupos de 2 sobra 1.
59-1=58 58/2=29 grupos de 2
59-2=57 57/3=19 grupos de 3
59-3=56 56/4=14 grupos de 4
59-4=55 55/5=11 grupos de 5

La lógica y sus célebres personajes a travez de la historia.

Personajes que contribuyeron a la lógica en sus diferentes etapas.

Etapa: Lógica Matemática



Etapa: Ciencia Matemática.



Etapa: Formalización de las Matemáticas.




Etapa: Revolución Digital.

Línea de tiempo de la historia de la lógica.

Gracias a este desafío conozco la historia de la lógica, los personajes que han establecido la lógica como ciencia y sobre como a pesar de que la lógica existe desde el principio de la existencia del hombre, ésta ha evolucionado.

Mapa Conceptual de Tipos de Lógica.

Existen 19 tipos de lógica, los cuales se presentan en un mapa conceptual, en el cual se lista y se describe cada uno de los tipos de lógica.

Visualizar mapa conceptual de Tipos de Lógica:
http://bubbl.us/view.php?sid=540317&pw=yaahFMK34I7NIMjhYY3dIUFAuRWlaWQ

Desafío 3

https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8yZnY2ajM2Y2s&hl=en

  • Ciencia Formal.

Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser.

Algunos ejemplos de las ciencias formales son: matemáticas, la lógica, ciencias de la computación teórica, etc

  • Ciencia Natural.

Ciencias naturales, ciencias de la naturaleza, ciencias físico-naturales o ciencias experimentales son aquellas ciencias que tienen por objeto el estudio de la naturaleza siguiendo la modalidad del método científico conocida como método experimental. Estudian los aspectos físicos, y no los aspectos humanos del mundo. Así, como grupo, las ciencias naturales se distinguen de las ciencias sociales o ciencias humanas (cuya identificación o diferenciación de las humanidades y artes y de otro tipo de saberes es un problema epistemológico diferente). Las ciencias naturales, por su parte, se apoyan en el razonamiento lógico y el aparato metodológico de las ciencias formales, especialmente de las matemáticas, cuya relación con la realidad de la naturaleza es menos directa (o incluso inexistente).

A diferencia de las ciencias aplicadas, las ciencias naturales son parte de la ciencia básica, pero tienen en ellas sus desarrollos prácticos, e interactúan con ellas y con el sistema productivo en los sistemas denominados de investigación y desarrollo o investigación, desarrollo e innovación (I+D e I+D+I).

No deben confundirse con el concepto más restringido de ciencias de la tierra o geociencias.

  • Ley de Inferencia.
Alguna reglas de inferencia clásicas, muy utilizadas en matemáticas para la demostración de Teoremas, se detallan a continuación:

Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q también lo es.

En símbolos:

p, p → q entonces, q


Ley del modus Tolens: si p → q es verdadero y q es falsa, infiere que p es falsa, ya que si la proposición p fuera verdadera, la proposición compuesta p → q sería falsa.

En símbolos:

p → q, -q entonces, -p

Ley del Silogismo hipotético: si p → q y q → r son ambos verdaderos, entonces p → r

En símbolos:

p → q, q → r entonces, p → r


Desafío 2

Este desafío es muy interesante, ya que nos propone analizar e identificar conceptos utilizando la lógica.  Para mí ha sido muy importante  aprender a identificar conceptos como axiomas, teoremas, etc. en estas sentencias, y ha distinguir entre cada una de ellas.

Para ver la solución, click en el enlace:
https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8zZ3gyOGsyY3Q&hl=en




Desafío 1

En este desafío hé aprendido acerca el significado de términos que antes simplemente los había escuchado, pero ahora sé en que consisten éstos términos y así puedo aplicarlos e identificar algunas sentencias.

 Enlace:
https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8xZ3FtYnR0ZDk&hl=en


  • Argumentar.
Aducir, alegar, poner argumentos.

  • Argumento.
Razonamiento que se emplea para probar o demostrar una proposición, o bien para convencer a alguien de aquello que se afirma o se niega.

  • Ambiguo.
El término ambiguo es lo que puede entenderse de varios modos o admitir distintas interpretaciones y dar, por consiguiente, motivo a dudas, incertidumbre o confusión.Dicho de una persona: Que, con sus palabras o comportamiento, vela o no define claramente sus actitudes u opiniones.Incierto, dudoso.

  • Axioma.
Proposición tan clara y evidente que se admite sin necesidad de demostración.

  • Ciencia.
Conjunto de conocimientos obtenidos mediante la observación y el razonamiento, sistemáticamente estructurados y de los que se deducen principios y leyes generales.

  • Conclusión.
Proposición que se pretende probar y que se deduce de las premisas.

  • Deducción.
Método por el cual se procede lógicamente de lo universal a lo particular.

  • Dialéctico.
Dialéctica es el método de razonamiento desarrollado a partir de principios, también en filosofía es la serie ordenada de verdades o teoremas que se desarrolla en la ciencia o en la sucesión y encadenamiento de los hechos. Así, dialéctico es lo perteneciente o relativo a la dialéctica, o la persona que profesa la dialéctica.

  • Enunciado.
Secuencia finita de palabras delimitada por pausas muy marcadas, que puede estar constituida por una o varias oraciones.

  • Filosofía.
Conjunto de saberes que busca establecer, de manera racional, los principios más generales que organizan y orientan el conocimiento de la realidad, así como el sentido del obrar humano.

  • Inducción.
En el ámbito de la lógica, el razonamiento inductivo, que es una modalidad del razonamiento no deductivo consistente en obtener conclusiones generales a partir de premisas que contienen datos particulares. Principio de inducción completa es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposición a un tipo de razonamiento en donde se obtienen conclusiones tan sólo probables (concepción más moderna). La inducción matemática es un caso especial, donde se va de lo particular a lo general y, no obstante, se obtiene una conclusión necesaria. Típicamente, el razonamiento inductivo se contrapone al razonamiento deductivo, que va de lo general a lo particular y sus conclusiones son necesarias.

  • Inferencia.
Se define inferencia como sacar una consecuencia o deducir algo de otra cosa. Una inferencia es una evaluación que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracción para lograr entender las unidades que componen el problema, creando un punto axiomático o circunstancial, que nos permitirá trazar una línea lógica de causa-efecto, entre los diferentes puntos inferidos en la resolución del problema. Una vez resuelto el problema, nace lo que conocemos como postulado, o una transformada de la original, que al estar enmarcado en un contexto referencial distinto, se obtiene un significado equivalente.

  • Lógica.
Ciencia que expone las leyes, modos y formas del conocimiento científico.

  • Predicado.
En informática, un predicado es un operador o función que devuelve un valor booleano, cierto o falso.

  • Premisa.
Se denomina premisa a cada una de las proposiciones de un razonamiento que dan lugar a la consecuencia o conclusión de dicho razonamiento. Las premisas son expresiones lingüísticas que afirman o niegan algo y pueden ser verdaderas o falsas.

  • Proposición.
Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuando es susceptible de ser verdadero o falso. Por ejemplo “Es de noche” puede ser Verdadero o Falso.

  • Razón.
Argumento o demostración que se aduce en apoyo de algo.
Orden y método en algo.

  • Silogismo.
Argumento que consta de tres proposiciones, la última de las cuales se deduce necesariamente de las otras dos.

  • Teorema.
Proposición demostrable lógicamente partiendo de axiomas o de otros teoremas ya demostrados, mediante reglas de inferencia aceptadas.


Normas de Convivencia

Estas son algunas normas de convivencia que sugiero para la cátedra de Lógica Computacional:

  • Respetar las pertenencias de l@s compañer@s.
  • Referirse a l@s compañer@s sin usar apodos o un lenguaje soez.
  • No ser causa de distracción al momento de escuchar la catedra.
  • Mantener aseado el centro de cómputo.
  • No introducir alimentos al centro de cómputo.

Bienvenid@s

Hola!

Soy estudiante de la Universidad Pedagógica de El Salvador y en este blog encontrarás publicaciones acerca de mis conocimientos y competencias que alcance durante el ciclo I del año 2010 en la cátedra de Lógica Computacional.
Bienvenid@s!!!