Geef een overzicht van de deductieve redeneervormen.