Ing Sistemas
Páginas: 2 (448 palabras)
Publicado: 28 de julio de 2012
Lógica en al Ing. De sistemas
LA LÓGICA Y COMPUTACIÓN:
La lógica está presente en la computación a través de los siguientes aspectos:
• A. Es tan importante la relación lógica-computación que todoordenador tiene una unidad en la cual se realizan las operaciones lógicas ; es la unidad aritmético –lógica . En ella, se efectúan las operaciones lógicas de cualquier programa. Nos referimos a losoperadores lógicos "y", "o", etc., los cuales trabajan en base a las tablas de verdad.
• B. La lógica se hace presente en los programas. Cada uno de ellos es un conjunto formal y secuencial deoperaciones, las cuales permiten realizar un trabajo. Decimos "formal " y con ello evidenciamos de la lógica formal, puesto que teóricamente, un mismo programa puede estar referido a varios contenidos,siempre y cuando tengan los mismos esquemas.
Sistemas lógicos
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino variossistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un conjunto de cosas, que nos ayudan en la toma de decisionesque sean lo más convenientemente posible.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (lagramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas(posición clara). Cada axioma debe ser una fórmula bienformada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el MODUS PONENS, según el cual, dadauna fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.
Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún...
LA LÓGICA Y COMPUTACIÓN:
La lógica está presente en la computación a través de los siguientes aspectos:
• A. Es tan importante la relación lógica-computación que todoordenador tiene una unidad en la cual se realizan las operaciones lógicas ; es la unidad aritmético –lógica . En ella, se efectúan las operaciones lógicas de cualquier programa. Nos referimos a losoperadores lógicos "y", "o", etc., los cuales trabajan en base a las tablas de verdad.
• B. La lógica se hace presente en los programas. Cada uno de ellos es un conjunto formal y secuencial deoperaciones, las cuales permiten realizar un trabajo. Decimos "formal " y con ello evidenciamos de la lógica formal, puesto que teóricamente, un mismo programa puede estar referido a varios contenidos,siempre y cuando tengan los mismos esquemas.
Sistemas lógicos
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino variossistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un conjunto de cosas, que nos ayudan en la toma de decisionesque sean lo más convenientemente posible.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (lagramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas(posición clara). Cada axioma debe ser una fórmula bienformada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el MODUS PONENS, según el cual, dadauna fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.
Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún...
Leer documento completo
Regístrate para leer el documento completo.