Exacte logica door Freudenthal