Fundamentos de Lógica Proposicional: Operadores y Reglas de Inferencia Esenciales
Clasificado en Matemáticas
Escrito el en español con un tamaño de 11,37 KB
Operadores Lógicos Fundamentales
Entender los operadores lógicos es crucial para construir y evaluar argumentos válidos. A continuación, se describen los principales conectores y sus condiciones de verdad (donde V significa Verdadero y F significa Falso):
- Disyunción Exclusiva (XOR) (Originalmente
p >-< q
) - Simbología común:
p ⊕ q
,p XOR q
, op ≠ q
.
Una proposición compuestap ⊕ q
es verdadera (V) si y solo si una de las proposiciones (p
oq
) es verdadera, pero no ambas. - Conjunción (Y) (Originalmente
^
) - Simbología común:
p ∧ q
,p · q
, opq
.
Una proposición compuestap ∧ q
es verdadera (V) si y solo si ambas proposiciones (p
yq
) son verdaderas. - Disyunción (O) (Originalmente
v
) - Simbología común:
p ∨ q
,p + q
.
Una proposición