Zusammenfassung der Ressource
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.