¿Que es un sistema logico?

Un sistema logico es aquel que hace que funcione todo un proceso, por lo general lo sistemas logicos estan conectados a una computadora que es la que se encarga de q el sistema funcione

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 (la gramá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. Cada axioma debe ser una fórmula bien formada.
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, dada una 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 significado a los símbolos discutidos tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. En consecuencia, dependiendo de la interpretación, variará también el valor de verdad de la oración. Las interpretaciones formales asignan significados inequívocos a los símbolos, y valores de verdad a las fórmulas.

Sistemas logicos aplicados dentro de la ingenieria de sistemas

Los componentes lógicos incluyen, entre muchos otros, las aplicaciones informáticas; tales como el procesador de texto, que permite al usuario realizar todas las tareas concernientes a la edición de textos; el software de sistema, tal como el sistema operativo, que, básicamente, permite al resto de los programas funcionar adecuadamente, facilitando también la interacción entre los componentes físicos y el resto de las aplicaciones, y proporcionando una interfaz con el usuario.

El diseño lógico traduce los escenarios de uso creados en el diseño conceptual en un conjunto de objetos de negocio y sus servicios. El diseño lógico se convierte en parte en la especificación funcional que se usa en el diseño físico. El diseño lógico es independiente de la tecnología. El diseño lógico refina, organiza y detalla la solución de negocios y define formalmente las reglas y políticas específicas de negocios.

¿Que es un lenguaje formal?

En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.Al conjunto de los símbolos primitivos se le llama el alfabeto del lenguaje, y al conjunto de las reglas se lo llama la gramática formal. A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas

• Sintaxis: es el conjunto de normas que regulan y coordinan las distintas variables y su asociación. En la lengua, la sintaxis es el conjunto de normas y leyes combinatorias que estructuran la construcción de oraciones y textos. La sintaxis hace referencia a la inclusión de sujeto y predicado y al rol de las palabras en relación con otras. En las ciencias de la computación, la sintaxis comprende un concepto equivalente.

• Lexico: Es un lenguaje de programación didáctico en español para facilitar el aprendizaje y la enseñanza de la programación orientada a objetos.Las investigaciones realizadas con él así lo han comprobado que puede mejorar el desempeño y la habilidad lógica de los estudiantes pues les permite experimentar con los algoritmos diseñados sin tener que dedicar meses a aprender un lenguaje de producción que les permita "ver" sus creaciones.

• Semantico: define las restricciones sobre la estructura de los textos válidos que resulta imposible o muy difícil expresar mediante formalismos sintácticos estándar. Para los lenguajes compilados, la semántica estática básicamente incluye las reglas semánticas que se pueden verificar en el momento de compilar.