DESARROLLAR LA LOGICA COMPUTACIONAL MEDIANTE LINEAS DE RAZONAMIENTO LOGICO

Lógica: la lógica tiene muchos significados y no tiene uno normal, la lógica en pensamiento es la forma de tener una solución a un problema, sin tener que razonar mucho. La lógica es el todo y el todo es la lógica, pero también es algo que tiene un entendimiento demasiado fácil.

Razonamiento: una forma de pensar que se usa cuando se quiere elaborar un objeto, táctica, plan una forma de utilizar el cerebro.







Lógica proposicional: es un sistema formal diseñado para analizar ciertos tipos de argumentos la formulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas.

Lógica formal: en la vida diaria se espera que las personas tengan razones de lo que dicen o hacen buscar un principio de realidad lógica.

Bit: se puede representar en dos valores 0,1. Para representar y codificar mas información de un dispositivo digital.

Variable: las variables es un elemento que se puede adquirir o ser sustituido por un valor cualquiera siempre dentro de su universo.

Sentencia: una instrucción o grupo de instrucciones que se pueden ejecutar o no en función del valor en una condición.

Constante: es un valor inalterado en ejecución de un programa es un valor fijo que se utiliza en los lenguajes de programación.

Matemática de Boole: es una estructura algebraica que rigorosa las operaciones lógicas así como el conjunto de operaciones unión intersección y complemento.

Lógica de primer grado: se necesita una lógica de mayor capacidad analítica que dará instrucciones acerca de lo invalido y lo valido.























Aristóteles, en griego antiguo Ἀριστοτέλης Aristotélēs (Estagira, Macedonia, 384 a. C. – Calcis Eubea, Grecia, 322 a. C.), fue uno de los más influyentes filósofos de la antigüedad, de la historia de la filosofía occidental y considerado por muchos como el autor enciclopédico más portentoso en la historia de la humanidad.
Fue el padre de la lógica formal, economía, astronomía, precursor de la anatomía y la biología y un creador de la taxonomía (es considerado el padre de la zoología y la botánica). Está considerado Aristóteles (junto a Platón) como el determinante de gran parte del corpus de creencias del Pensamiento Occidental del hombre corriente (aquello que hoy denominamos "sentido común" del hombre occidental).

Tales de Mileto (en griego Θαλῆς ὁ Μιλήσιος) (h. 639 - h. 547/6 a. C.[1] ) fue el iniciador de la indagación racional sobre el universo. Se le considera el primer filósofo de la historia, y el fundador de la escuela jonia de filosofía, según el testimonio de Aristóteles. Fue el primero y más famoso de los Siete Sabios de Grecia (el sabio astrónomo), y tuvo como discípulo y protegido a Pitágoras.[2] Fue además uno de los más grandes astrónomos y matemáticos de su época, a tal punto que era una lectura obligatoria para cualquier matemático en la Edad Media y contemporánea.

Confucio (chino: 孔子, pinyin: Kǒngzǐ, Wade-Giles: K'ung-fu-tzu, que se traduce literalmente por Maestro Kong) (tradicionalmente 28 de septiembre de 551 a. C. - 479 a. C.) fue un filósofo chino, creador del confucianismo y una de las figuras más influyentes de la historia china. Las enseñanzas de Confucio han llegado a nuestros días gracias a las Analectas, que contienen algunas de las discusiones que mantuvo con sus discípulos. Su pensamiento fue introducido en Europa por el jesuíta Matteo Ricci, que fue la primera persona en latinizar el nombre como "Confucio".

Sócrates (en griego, Σωκράτης, Sōkrátis) (470 a. C. - 399 a. C.) fue un filósofo griego considerado como uno de los más grandes, tanto de la filosofía occidental como de la universal, fue el maestro de Platón, quien tuvo a Aristóteles como discípulo; estos tres son los representantes fundamentales de la filosofía griega.

Euclides (en griego Ευκλείδης, Eukleides) fue un matemático y geómetra griego, que vivió alrededor del 300 a.C. (ca. 325 - ca. 265 a. C.). Se le conoce como "El Padre de la Geometría"..




Tipos de operadores:
A) Aritméticos (su resultado es un numero)= potencia,*, /, mod, div, +, -

B) Relacionales (su resultado es un valor de verdad): =, <, >, <=, >=, <>

c) Lógicos o Booleanos (su resultado es un valor de verdad): not, and, or





¿Qué es lógica? La lógica es una forma de simple razonamiento no es necesario pensar demasiado
¿Razonamiento? Una forma de pensar que se usa con solo resolver algo o crear algo
¿lógica proporcional? Es un sistema formal diseñado para analizar ciertos tipos de argumentos
¿lógica formal? Es una forma de razonamiento correcto que se le da uso en la vida diaria
¿bit? Se usa en el lenguaje maquina son usados los dígitos 0,1
¿Variable? Es un elemento que se puede adquirir o puede ser sustituido por un valor cualquiera
¿Sentencia? Una instrucción o grupo de instrucciones que se pueden ejecutar o no en función del valor en una condición
¿Constante? Es un valor inalterable en la ejecución de un programa
¿Matemática de Boole? Es una estructura algebraica que rigorosa las operaciones lógicas
¿Lógica de primer grado? Es una lógica de mayor capacidad analítica que da instrucciones acerca de lo valido y lo invalido
¿Algún filósofo lógico de Mesopotamia? Esagil-kin se baso en un conjunto lógico de axiomas y asunciones
¿Quién fue Euclides en la lógica? Un griego que aporto muchas cosas para la lógica moderna
¿Quién fue Aristóteles? El permitió grandes avances para la lógica y es considerado el padre de la lógica
¿Naya y vaishiasca en la lógica? Construyeron el núcleo de los textos se trabajó en un rígido esquema que engloba una premisa inicial
¿Quién fue Confucio? El es considerado como fundador en los temas con la anficiendia valida y las conclusiones correctas












Lógica: Son las reglas usadas para hacer deducciones creíbles

Razonamiento: Facultad humana que permite resolver problemas

lógica matemática: Rama de la matemática

Programación Lógica: Determina la manera en que se seguirán los pasos del algoritmo para resolver el problema

Algebra de Boole: Son estructuras algebraicas que "capturan la esencia" de las operaciones lógicas

Lógica Formal: Estudi9o de los razonamientos correctos, desarrollándolos de manera formal y esquematizada.

Bit es el acrónimo de Binary digit. (dígito binario). Un bit es un dígito del sistema de numeración binario.

Mientras que en el sistema de numeración decimal se usan diez dígitos, en el binario se usan sólo dos dígitos, el 0 y el 1. Un bit o dígito binario puede representar uno de esos dos valores, 0 ó 1.

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y suceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

variable es un símbolo que representa un elemento no especificado de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o dominio de la variable, y cada elemento del conjunto es un valor de la variable. Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13}; entonces x puede tener cualquiera de esos valores: 1,3,5,7,9,11,13.

Constante: Es un valor de tipo permanente, que no puede modificarse