Mall:Slutledningsregler

Från Wikipedia
Hoppa till navigering Hoppa till sök
Slutledningsregler
Deduction symbols2.gif
Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler