Logica: eliminatie van de disjunctie bij natuurlijke deductie

Moderators: ArcherBarry, Fuzzwood

Reageer
Berichten: 42

Logica: eliminatie van de disjunctie bij natuurlijke deductie

Hallo allemaal,

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
Dit lijkt mij evident, enerzijds "A or B", anderzijds 'not B", dus conclusie: A.

Waarom mag dit niet?

Alvast bedankt,

Barry

Berichten: 42

Re: Logica: eliminatie van de disjunctie bij natuurlijke deductie

Of misschien mag ik hetvolgende doen?

Code: Selecteer alles


(!A or B) and A

---------------

(!A or B) and A

 A

!A (hulpaanname)

----------------

-----------------------------------------

 !A or B

   B (Falsum)  {uit !A}

 B (hulpaanname) {uit B}

 ---------------------------------------------------------------------------------------------------------------------------------

  B (elementatie van hulpaannames !A en B)

Reageer