Formele logika door W.R. de Jong