Kwantummechanica en logica