Formele logika door Apostel