De eliminatie van de disjunctie gaat ongeveer als volgt:
Stel dat je (a of b) wilt elimineren. De bedoeling is dan dat je, gebruikmakende van hulpaanname a tot een besluit c komt en dat je gebruikmakende van hulpaanname b tot hetzelfde besluit c komt. Wanneer dit het geval is mag je uit (a of b) c afleiden. De twee hulpaannames trek a en b trek je hierbij in, dus nettowaarde in termen van hulpaannames blijft hierbij nul.
Nu denk ik zelf op een andere manier ook de disjunctie te kunnen elimineren, maar blijkbaar kan dit niet zomaar, mijn vraag is waarom hetvolgende niet zomaar mag:
Code: Selecteer alles
A or B not B
______________
A
Waarom mag dit niet?
Alvast bedankt,
Barry