Springen naar inhoud

Klein vraagje over bewijzen


  • Log in om te kunnen reageren

#1

*_gast_AnnemiekeB_*

  • Gast

Geplaatst op 22 november 2009 - 19:16

Ik ben het kwijt, als je het volgende wilt bewijzen:
P <-> Q

Welke bewijzen doe je nou precies?
Mijn eigen gedachte is:
Stap 1) Bewijs "Als P, dan Q"
Stap 2) Bewijs "Als Q, dan P"

Kan dat, of is dit onvoldoende bewijs? Moet ik ook altijd iets doen met "niet-Q dan niet-P" dat soort dingen?

Alvast bedankt voor de hulp!!

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

#2

TD

    TD


  • >5k berichten
  • 24049 berichten
  • VIP

Geplaatst op 22 november 2009 - 19:22

Als je met "P <-> Q" de equivalentie bedoelt, volstaat het inderdaad beide implicaties na te gaan.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#3

louis999

    louis999


  • >100 berichten
  • 101 berichten
  • Ervaren gebruiker

Geplaatst op 22 november 2009 - 19:24

er zijn verschillende manieren om zoiets te bewijzen, mr als je LaTeX bewijst is dit in principe genoeg
He who asks is a fool for five minutes, but he who does not ask remains a fool forever.

#4

*_gast_AnnemiekeB_*

  • Gast

Geplaatst op 22 november 2009 - 19:50

Bedankt beiden! :eusa_whistle:





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures