Härledningsregel
Från Rilpedia
Version från den 5 maj 2009 kl. 00.36 av MelancholieBot (Diskussion)
Satslogiska härledningsregler |
---|
Härledningsregler är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka härledningsregler som är tillåtna.
Satslogiska härledningsregler:
Predikatlogiska härledningsregler:
- Universell generalisering
- Existensiell generalisering
- Universell specifiering
- Existensiell specifiering
Andra härledningsregler: