TRABAJO DE TRECALCULO














































Índice.

Introducción………………………………………………………………….…3

1. Definir: lógica, premisa, proposición, notación, contradicción……….…4-6
2. Aplicación de la lógica…………………………………………………….…..6
3. ¿Qué son argumentos y cuando son validos los argumentos?.............6-7
4. ¿Qué sonfalacias?................................................................................8-9
5. Explique las siguientes falacias formales: equivocidad, condicional, cuantitativa…………………………………………………………………....10
6. Símbolos de la lógica. Proposicional: constantes proposicionales, conectivos lógicos, símbolos auxiliare…………………………….…...11-13
7. ¿Cómo formalizar el lenguaje natural en el lenguaje de la lógica proposicional?…………………………………………….……………...13-17
8. Tabla de verdad de cada conectivo lógico…………………………….…..17
9. Definir: estructuras algebraicas. …………………………………….……..18
10. Tipos de estructuras algebraicas. ………………………………….…..19-32
11. Operaciones binarias. ............................................................................32
12. Aplicación de las estructuras algebraicas.………………………….…33-34
Conclusión………………………………………………………………….…..…35Introducción.


En el siguiente trabajo se desarrolla lo que es la lógica proposicional este es un sistema formal cuyos elementos más simples representan proposiciones constantes lógicas llamadas conectivas representan operaciones capaces de formas otras proposiciones de mejor calidad. La lógica proposicionales uno de los lenguajes artificiales especialmentedesarrollos para presentar formas de razonamiento validos, la lógica proposicionales es el más simple lenguaje, no toda forma de razonamiento será representable por su intermedio y en consecuencia sirve para representar formas elementales. La lógica es muy importante ya que permite incluso resolver problemas del ser humano solo utilizando su inteligencia.1. Definir: lógica, premisa, proposición, notación, contradicción.

Lógica: es una ciencia formal que estudia los principios de la demostración e inferencia validad. La palabra deriva del griego antiguo que significa , que a su vez viene de (logos), .

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de lalógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son asentable, lo es por su estructura lógica, y no por el contenido especifico del argumento o el lenguaje utilizado. Por esta razón la lógica e considera una ciencia formal, como la matemática, en vez de una cienciaempírica.

La lógica tradicionalmente se considero una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencias, lo que ha permitido suaplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvo siempre una relación con los argumentos formulados en la lengua natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización escrita ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta comouna parte pequeña de la lógica de clases.

Premisa: es cada una de las proposiciones anteriores a la conclusión de un argumento. En un argumento valido, las premisas implican la conclusión, pero no es necesario para que una proposición sea una premisa: lo único relevantes es su lugar en el argumento, no su rol. Al ser proposiciones, las premisas siempre afirman o...