Springen naar inhoud

[predicatenlogica] natuurlijke deductie


  • Log in om te kunnen reageren

#1

Yfke

    Yfke


  • 0 - 25 berichten
  • 4 berichten
  • Gebruiker

Geplaatst op 30 oktober 2009 - 12:47

Hey allemaal, ik ben eerstejaars en volg het vak Inleiding Logica. Hierbij komt ook de natuurlijke deductie van de predicatenlogica aan bod.

Hieronder een bewijs waar ik niet zeker van ben. Dit is wat ik heb:
E=existentiele kwantor, A= universeel, |=subbewijs

  • ExPx v ExQx
  • | Pc
  • | Pc v Qc -----------v-introductie (2)
  • | Ex (Px v Qx) -----------E-introductie (3)
    -
  • | Qd
  • | Pd v Qd ------------v-introductie (5)
  • | Ex (Px v Qx)
  • Ex(Px v Qx) ------------v-eliminatie (1, 2-4, 5-7)

Het voelt alsof ik te kort door de bocht ben gegaan... kloppen bovenstaande subbewijzen of moeten ze deze vorm hebben:
  • | ExPx
  • | | Pc
  • | | Pc v Qc
  • | | Ex (Px v Qx)
  • | Ex (Px v Qx)

Of was mijn eerste bewijs toch goed? Ik weet het echt even niet :S zou iemand me kunnen helpen hiermee? :')
Alvast bedankt!

Veranderd door Yfke, 30 oktober 2009 - 12:49


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




0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures