Formele logica door van Dalen