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.