Natural Deduction door Dag Prawitz