Tipos de lógica y clasificación de sistemas

Tipos de Lógica y Clasificación de Sistemas

Los cmd

Lógica

La lógica es la ciencia del razonamiento. En general, se considera que la lógica tiene su origen en la filosofía y su aplicación en las matemáticas. Sin embargo, se considera a la lógica como una ciencia independiente, en tanto su origen se dio en paralelo al de la filosofía y no como una consecuencia directa de ella.

Lógica Proposicional

es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos

Lógica de primer orden

Esta logica se utiliza para describir y analizar sistemas más complejos que incluyen variables y relaciones como predicados y funciones con constantes o variables

Lógica Modal

Es una rama de la lógica que se enfoca en el estudio de las modalidades, como la necesidad, la posibilidad, la obligación y la imposibilidad. Esta lógica se utiliza para analizar la naturaleza de la verdad y la falsedad en situaciones con ciertas condiciones modales, como "es necesario que" o "es posible que".

Lógica Temporal.

Esta viene de lo que es la lógica clásica y nos permite formalizar enunciados sobre precisiones de momentos que tengan o hayan tenido lugar en el tiempo, es decir, la lógica temporal nos permite establecerla como dos mismos sucesos o acciones en dos momentos diferentes del tiempo, nos permite reconocer si ciertos hechos son del presente, del pasado o del futuro.

También podemos decir de la lógica temporal que se utiliza a nivel filosófico como un de los objetivos fundamentales de análisis en ciertos conceptos recurrentes en la historia de la filosofía.

Lógica de Predicados

La lógica de predicados es una rama de la lógica matemática utilizada para describir y analizar conceptos y relaciones complejas. Está basada en el estudio de predicados y se puede evaluar como verdadera o falsa.

Símbolos y Conectores:

∧ = Conectiva "y" ∨ = Conectiva "o" ~ = Negación → = Implicación ↔ = Doble Implicación

EJEMPLO: Pamela y Sara son bonitasP = Pamela S = Sara B = bonitas Entonces = B ( P ^ S )

Es útil en matemáticas, filosofía, ciencias de la computación, entre otros campos.

sistema

Se entiende por un sistema a un conjunto ordenado de componentes relacionados entre sí, aplica a diversas áreas del saber, como la física, la biología y la informática o computación.

Sistemas Dererministas

Es un sistema donde no interviene la aleatoriedad en el desarrolo de estados fururos del sistema, por lo tanto un sistema determinista siempre mostrara el mismo resultado a partir de una condicion de partida de un estado inicial determinado.

ejemplo

Sistema estocastico

Se trata de un algoritmo matemático relativo a procesos cuya evolución es aleatoria y que basa su resultado en probabilidades que cambian con el tiempo. El hecho de que los cálculos de probabilidades varíen con el tiempo es la diferencia con un modelo probabilístico no estocástico.

Sistemas continuos

sistemas continuos son los que necesitan infinitos grados de libertad, para estar exactamente definidos, en un sistema continuo existen señales de entrada y de salida por lo que las señales de entrada luego se transforman en señales de salida

Sistemas discretos

Son aquellos cuyas entradas y salida de tiempo son discretos, es decir, que son finitos y no continuos, generandose luego de un intervalo de tiempo, ya sean costantes o no.

Ejemplos: un fipbook, una orden de impresión, entre otros.

Sistemas dinámicos

Un sistema dinámico es aquel que cambia con el tiempo, y estas modificaciones o transformaciones de su estado pueden ser analizadas o modeladas mediante modelos matemáticos..