Formele logica by van Dalen