decidibilidad
deducción
derivación
demostración (=prueba)
disyuntor (disyunción)
disyunción exclusiva
doble negación
dominancia (~ de las conectivas)