Professional Documents
Culture Documents
(Proposiciones Lógicas)
Conectores lógicos con sus símbolos
Conectivos lógicos Símbolos Nombre
y ^, – Conjunción
o ∨ Disyunción inclusiva
o ….. o ⊻ Disyunción exclusiva
si → Condicional
si y sólo si ↔, = Bicondicional
no ~, ¬ Negación
ni …. ni ↓ Negación conjunta