Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler