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.

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.


0 comentarios: