Sidor som länkar till "Mall:Slutledningsregler"
Hoppa till navigering
Hoppa till sök
Följande sidor länkar till Mall:Slutledningsregler:
Visar 8 sidor.
- Modus ponens (inkluderad som mall) (← länkar)
- Modus tollens (inkluderad som mall) (← länkar)
- Och-eliminering (inkluderad som mall) (← länkar)
- Och-introducering (inkluderad som mall) (← länkar)
- Eller-eliminering (inkluderad som mall) (← länkar)
- Eller-introducering (inkluderad som mall) (← länkar)
- HS-regeln (inkluderad som mall) (← länkar)
- Modus tollendo ponens (inkluderad som mall) (← länkar)