Mindmap
LOGICA PROPOSICIONAL
Inhalt der Mindmap
LOGICA PROPOSICIONAL
CONCEPTOS
- Término griego que significa RAZON
- La lógica se considera una ciencia formal cuyo objeto de estudio son los distintos principios de demostración que permitan comprobar que una afirmación pueda ser considerada como válida.
- La lógica se aplica en diversas áreas: Ingeniería (electrónica), Administración (conocimientos organizados), Derecho (lógica jurídica)
- Bertrand Arthur William Russell, filósofo, lógico, matemático y escritor británico, realizó aportaciones innovadoras a los fundamentos de las matemáticas y al desarrollo de la lógica formal contemporánea, así como a la filosofía analítica. Sus aportaciones a las matemáticas incluyen el descubrimiento de la paradoja Russell. Se le considera, junto con Kurt Gödel, como uno de los dos logicistas más destacados del siglo XX.
- La proposición es uno de los elementos fundamentales en lógica, constituye una oración que tiene un valor de verdad, es decir, puede ser verdadera o falsa, pero no ambas. En lógica las letras p, q, r se usan para representar variables proposicionales
- Simples o Atómicas
- Compuestas o Moleculares
- Los operadores lógicos son aquellos símbolos que permiten decidir qué valor de verdad tiene una proposición.
- Negación (~)
- Doble negación ~(~p)
- Conjunción (^)
- Disyunción inclusiva (v)
- Disyunción exclusiva (⊕)
- Tablas de verdades: Es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples, cuando estas utilizan los operadores lógicos de negación y doble negación, dependiendo de los operadores lógicos usados y de los valores de verdad de las proposiciones simples involucradas.
