Mall:Slutledningsregler
Utseende
(Omdirigerad från Mall:Härledningsregler)
Satslogiska slutledningsregler |
---|
Predikatlogiska slutledningsregler |
Andra slutledningsregler |
Satslogiska slutledningsregler |
---|
Predikatlogiska slutledningsregler |
Andra slutledningsregler |