Geformaliseerde logica door Sergant