TEMA 1.

LOGICA ELEMENTAL O SIMBOLICA

LÓGICA: Rama de la matemática que estudia a esta de forma literal y filosófica.
PROPOSICIÓN: Cadena de enunciados en el cual se puede afirmar que es VERDADERO o FALSO pero no
ambas a la vez. Se denotan por 𝑝, 𝑞, 𝑟, 𝑠, 𝑡 …
TABLAS DE VERDAD

ALGEBRA DE PROPOSICIONES

P1. IDEMPOTENCIA 𝑝∧𝑝≡𝑝 𝑝∨𝑝≡𝑝

P2. CONMUTATIVA 𝑝∧𝑞 ≡𝑞∧𝑝 𝑝∨𝑞 ≡𝑞∨𝑝
P3. ASOCIATIVA 𝑝∧𝑞 ∧𝑟 ≡𝑝∧ 𝑞∧𝑟 𝑝∨𝑞 ∨𝑟≡𝑝∨ 𝑞∨𝑟
P4. DISTRIBUTIVA 𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟 𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟
P5. DOBLE NEGACIÓN ∼ ∼𝑝 ≡𝑝
P6. LEY DE MORGAN ∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨∼ 𝑞 ∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧∼ 𝑞
P7. IMPLICACIÓN 𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞
P8. BICONDICIONAL 𝑝 𝑞≡ 𝑝→𝑞 ∧ 𝑞→𝑝
P9. DISY. EXCLUYENTE 𝑝 ∨ 𝑞 ≡ 𝑝 ∨ 𝑞 ∧ ∼ 𝑝 ∨∼ 𝑞
P10. ABSORCIÓN 𝑝∧ 𝑝∨𝑞 ≡𝑝 𝑝∨ 𝑝∧𝑞 ≡𝑝
𝑝 ∧ ~𝑝 ∨ 𝑞 ≡ 𝑝 ∧ 𝑞 𝑝 ∨ ~𝑝 ∧ 𝑞 ≡ 𝑝 ∨ 𝑞
P11. IDENTIDAD 𝑝∧𝑉 ≡𝑝 𝑝∨𝐹 ≡𝑝

P12. TAUTOLOGIA Y CONTRADICCIÓN 𝑝 ∧∼ 𝑝 ≡ 𝐹 𝑝 ∨∼ 𝑝 ≡ 𝑉

𝑝∧𝐹 ≡𝐹 𝑝∨𝑉 ≡𝑉
P13. FALSA CONJUNTA 𝑝 ↓𝑞 ≡~ 𝑝∨𝑞
P14. INCOMPATIBILIDAD 𝑝|𝑞 ≡ ~ 𝑝 ∧ 𝑞
CIRCUITOS LÓGICOS Circuito mixto

REGLAS DE INFERENCIA
Se llama reglas de inferencia a todo argumento universalmente correcto (o formas correctas de
razonamiento) que representan métodos generales de razonamiento valido.

FUNCIÓN PROPOSICIONAL
Función proposicional en una variable 𝑥 (𝑝(𝑥)), es toda expresión en la que 𝑥 representa al sujeto
u objeto perteneciente a cierto conjunto, la cual se convierte en una proposición para cada
especificación de 𝑥
CUANTIFICADORES
CUANTIFICADOR UNIVERSAL: ∀𝑥 para expresar “para todo 𝑥 de 𝑈” o “cualquiera que sea
𝑥 de 𝑈”

CUANTIFICADOR EXISTENCIAL: ∃𝑥 para expresar “existe algún 𝑥 de 𝑈, tal que” o “existe al

menos un 𝑥, tal que”

AXIOMA: Enunciado que se acepta sin demostrar

TEOREMA: Enunciado que tiene demostración
LEMA: Teorema que precede a un teorema importante
COROLARIO: Teorema consecuencia de un teorema
DEFINICIÓN: Da nombre a un enunciado (universal)
CONJETURA: Afirmación aceptada sin demostración
ALGEBRA DE BOOLE
El Álgebra de Boole, nombrada así en honor al matemático George Boole, es un área de las
matemáticas que se ocupa de operaciones con variables que tienen valores binarios, es decir, dos
valores posibles que generalmente se representan como 1 (verdadero) y 0 (falso). Esta forma de
álgebra se centra en cómo se combinan estas variables utilizando operadores lógicos para producir
resultados verdaderos o falsos, siguiendo un conjunto de reglas o leyes predefinidas.
TABLAS DE VERDAD,CIRCUITOS DE LOS OPERADORES Y SUS LEYES