FilosofieWiki

Afleidingsregels

NaamPremissenConclusieAfkorting
Simplificatiep&qp(Simp)
Additieppq(Add)
Conjunctiep, qp&q(Conj)
Disjunctief syllogismepq, ¬pq(DS)
Modus Ponenspq, pq(MP)
Modus Tollenspq, ¬q¬p(MT)
Hypothetisch syllogismepq, qrpr(HS)
Absorptiepqp(p&q)(Abs)
Constructief dilemma(pq)&(rs), prqs(CD)

Hiernaast worden vervangingsregels en constructies als AD (Als-dan bewijs) en KN (Kwantificatie Negatie) gebruikt. Wanneer de term afleidingsregels gebruikt wordt, worden vaak ook deze bedoeld.


Bladeren
Hoofdpagina
Huishoudelijk
Argument
Connectieven
Links