Springen naar inhoud

Oefeningen predicatenlogica


  • Log in om te kunnen reageren

#1

Klintersaas

    Klintersaas


  • >5k berichten
  • 8614 berichten
  • VIP

Geplaatst op 17 december 2011 - 17:59

1) LaTeX
A) LaTeX

1) LaTeX
A) LaTeX

1) LaTeX
A) LaTeX

Het is telkens de bedoeling om aan te tonen dat A) volgt uit 1). Hoewel dat mij telkens vanzelfsprekend lijkt, heb ik weinig inzicht in hoe dit formeel te noteren valt. Bij die eerste zou de Morgan wel eens om de hoek kunnen komen kijken en bij die laatste neem ik aan dat we op 1) universele instantiatie kunnen toepassen om tot LaTeX te komen. Maar dan...

Geloof niet alles wat je leest.

Heb jij verstand van PHP? Word Technicus en help mee om Wetenschapsforum nog beter te maken!


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

#2

In physics I trust

    In physics I trust


  • >5k berichten
  • 7384 berichten
  • Moderator

Geplaatst op 18 december 2011 - 11:20

Dit onderwerp past beter in Wiskunde en is daarom verplaatst.
"C++ : Where friends have access to your private members." — Gavin Russell Baker.

#3

Klintersaas

    Klintersaas


  • >5k berichten
  • 8614 berichten
  • VIP

Geplaatst op 18 december 2011 - 13:43

Terzijde, het symbool LaTeX wordt in deze context gebruikt als symbool voor implicatie (LaTeX ).

Geloof niet alles wat je leest.

Heb jij verstand van PHP? Word Technicus en help mee om Wetenschapsforum nog beter te maken!


#4

Siron

    Siron


  • >1k berichten
  • 1069 berichten
  • Ervaren gebruiker

Geplaatst op 18 december 2011 - 13:50

Om de laatste bewering te bewijzen, nl:
LaTeX
Ik zou eerst 2x het deductie theorema toepassen, modus ponens en daarna een generalisatie.

Veranderd door Siron, 18 december 2011 - 13:50


#5

Klintersaas

    Klintersaas


  • >5k berichten
  • 8614 berichten
  • VIP

Geplaatst op 18 december 2011 - 19:11

Ik heb iets in deze aard in gedachten, maar weet niet of het logisch sluitend is:

Geloof niet alles wat je leest.

Heb jij verstand van PHP? Word Technicus en help mee om Wetenschapsforum nog beter te maken!


#6

Siron

    Siron


  • >1k berichten
  • 1069 berichten
  • Ervaren gebruiker

Geplaatst op 18 december 2011 - 21:14

Ik heb iets in deze aard in gedachten, maar weet niet of het logisch sluitend is:


Maar als je nu de modus ponens toepast op (1) en (2) krijg je:
LaTeX
Door generalisatie:
LaTeX

Dit is wat moest bewezen worden.

#7

Klintersaas

    Klintersaas


  • >5k berichten
  • 8614 berichten
  • VIP

Geplaatst op 18 december 2011 - 21:38

Ergo, stappen 3-5 zijn overbodig?

Geloof niet alles wat je leest.

Heb jij verstand van PHP? Word Technicus en help mee om Wetenschapsforum nog beter te maken!






0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures