Springen naar inhoud

Logica: eliminatie van de disjunctie bij natuurlijke deductie


  • Log in om te kunnen reageren

#1

barrel

    barrel


  • >25 berichten
  • 42 berichten
  • Gebruiker

Geplaatst op 26 oktober 2007 - 10:41

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:

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

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

barrel

    barrel


  • >25 berichten
  • 42 berichten
  • Gebruiker

Geplaatst op 26 oktober 2007 - 15:40

Of misschien mag ik hetvolgende doen?

(!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)





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures