Springen naar inhoud

Hulp nodig propositielogica


  • Log in om te kunnen reageren

#1

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 20 juni 2014 - 18:02

Kan iemand mij vertellen hoe de waarheidstabel van de twee onderste redeneringen eruit zou moeten zien? (Ik snap er geen bal meer van) :x

Denk ik net een opleiding te hebben  gevonden waar totaal geen wiskunde-achtige dingen  in zit.......Pfffff

A) P v -P

 

B) P ^ -P

 

Alvast bedankt.


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

#2

dannypje

    dannypje


  • >250 berichten
  • 595 berichten
  • Ervaren gebruiker

Geplaatst op 20 juni 2014 - 20:30

Weet niet juist meer of v nu OF of EN betekent en ^ het omgekeerde, maar wat je kan doen is die P vervangen door een uitspraak, bvb. P="het regent". Dan is -P="Het regent niet".

 

Probeer op die manier s te kijken of je tot een resultaat kan komen.

In the beginning, there was nothing. Then he said:"Light". There was still nothing but you could see it a whole lot better now.

#3

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 20 juni 2014 - 20:56

-

Veranderd door Claud1a, 20 juni 2014 - 21:03


#4

*_gast_Bartjes_*

  • Gast

Geplaatst op 20 juni 2014 - 21:45

Ziehier voor de tekens:

 

http://nl.wikipedia....sche_conjunctie

http://nl.wikipedia....sche_disjunctie

 

De gegeven voorbeelden zijn:

 

LaTeX

 

LaTeX

 

 

A) betekent: "P of niet-P is waar".

 

B) betekent: "P en niet-P zijn waar".

 

Dit zijn overigens geen redeneringen, maar beweringen (met een duur woord: proposities).

 

Stel nu eens dat P waar is, wat vind je dan voor A) en voor B) ?

Veranderd door Bartjes, 20 juni 2014 - 21:48


#5

Safe

    Safe


  • >5k berichten
  • 9907 berichten
  • Pluimdrager

Geplaatst op 20 juni 2014 - 21:58

Zijn er regels die je wel snapt ...


#6

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 20 juni 2014 - 22:30

@Safe zo ziet mijn waarheidstabel er uit. Ik vind dit gewoon ontzettend verwarrend.

 

A)   P             -P              P v -P

        1              0                   1

         0             1                   1


#7

*_gast_Bartjes_*

  • Gast

Geplaatst op 21 juni 2014 - 00:06

@Safe zo ziet mijn waarheidstabel er uit. Ik vind dit gewoon ontzettend verwarrend.

 

A)   P             -P              P v -P

        1              0                   1

         0             1                   1

 

Die tabel klopt!

 

P staat voor een willekeurige uitspraak, de logica gaat over redeneren in het algemeen. Daarom hoef je ook niet te weten hoe P precies luidt. Logisch interessant is alleen dat P ofwel waar is, ofwel onwaar. Meer mogelijkheden zijn er in de (tweewaardige) logica niet. Daarom kan je met behulp van waarheidstabellen ook alle mogelijke gevallen doorlopen.

 

De mogelijkheden voor P zijn dus:

 

P is waar (genoteerd als "W" of "1")

 

P is onwaar (genoteerd als "O" of "0").

 

 

-P staat voor niet-P, dat is dus de bewering "P is niet waar". Daarom is -P waar als P onwaar is, en is -P  onwaar als P waar is. Juist zoals je in de tabel hebt aangegeven.

 

P v -P betekent: P is waar of niet-P is waar. In het bovenste geval van de tabel is P waar, dus dan is ook P v -P waar. In het onderste geval van de tabel is -P waar, dus dan is P v -P eveneens waar. De tabel is dus juist ingevuld.

 

Bovendien zie je uit de tabel dat P v -P in alle denkbare gevallen waar is.


#8

Safe

    Safe


  • >5k berichten
  • 9907 berichten
  • Pluimdrager

Geplaatst op 21 juni 2014 - 09:13

@Safe zo ziet mijn waarheidstabel er uit. Ik vind dit gewoon ontzettend verwarrend.

 

A)   P             -P              P v -P

        1              0                   1

         0             1                   1

 

Na de uitleg van Bartjes, wat vind je dan nog verwarrend ...


#9

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 21 juni 2014 - 09:35

 

Na de uitleg van Bartjes, wat vind je dan nog verwarrend

Opdracht A was uiteindelijk niet zo moeilijk.

Maar nu krijg ik dit:

 

[ p v (p ->q) ] <->p 

 

Ik probeer deze proposities te vertalen om het makkelijker te maken, maar weet niet of ik dat goed doe:

[Het regent of (als het regent dan krijg je van mij een biertje)].......... verder kom ik niet

Hoe vertaal ik dit het best

Veranderd door Claud1a, 21 juni 2014 - 09:43


#10

Safe

    Safe


  • >5k berichten
  • 9907 berichten
  • Pluimdrager

Geplaatst op 21 juni 2014 - 10:23

Wat is de waarheidstabel van p->q (als p dan q) ...

 

Daarna kom ik terug op:

 

 

[ p v (p ->q) ] <->p 

 

[Het regent of (als het regent dan krijg je van mij een biertje)].......... verder kom ik niet

 


#11

*_gast_Bartjes_*

  • Gast

Geplaatst op 21 juni 2014 - 10:32

Het is belangrijk om te bedenken dat uitspraken P, Q, etc. niet altijd waar hoeven te zijn, er worden steeds twee mogelijkheden bekeken: waar (1) of onwaar (0). De implicatie en bi-implicatie worden gebruikt om gevolgtrekkingen mee te kunnen maken:

 

http://nl.wikipedia....wiki/Implicatie

 

http://nl.wikipedia....i/Bi-implicatie

 

De logische implicatie is intuïtief lastig omdat je geneigd bent te denken dat P -> Q betekent dat P het optreden van Q op de een of andere manier dient te veroorzaken. Die interpretatie leidt dan weer tot allerlei misverstanden. Het veiligste is om P -> Q te definiëren (en vertalen) als:

 

LaTeX

 

Dat garandeert dan dat je uit het waar zijn van P en P -> Q altijd tot het waar zijn van Q kunt besluiten. Immers sluit P -> Q nu per definitie uit dat het kan gebeuren dat P waar is terwijl Q niet waar is.

 

Anderzijds valt uit P is niet waar en P -> Q is wel waar, logisch gesproken over de waarheid of onwaarheid van Q helemaal niets te concluderen.


#12

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 21 juni 2014 - 10:42

Wat is de waarheidstabel van p->q (als p dan q) ...

 

Daarna kom ik terug op:

 

 

Waarheidstabel van als p dan q:

 

p             q               p->q

0             0                1

1             0                0

0             1                1

1             1                1

 

Is dit dan ook een contradictie?

Veranderd door Claud1a, 21 juni 2014 - 10:45


#13

Safe

    Safe


  • >5k berichten
  • 9907 berichten
  • Pluimdrager

Geplaatst op 21 juni 2014 - 11:15

Waarheidstabel van als p dan q:

 

p             q               p->q

0             0                1

1             0                0

0             1                1

1             1                1

 

Is dit dan ook een contradictie?

 

Eigenlijk is mijn vraag: kan je het hiermee eens zijn of heb je bedenkingen ...


#14

moll1moll

    moll1moll


  • 0 - 25 berichten
  • 19 berichten
  • Gebruiker

Geplaatst op 21 juni 2014 - 11:49

 

Eigenlijk is mijn vraag: kan je het hiermee eens zijn of heb je bedenkingen ...

Hier heb ik geen bedenkingen bij. Ben 't er wel mee eens.


#15

Safe

    Safe


  • >5k berichten
  • 9907 berichten
  • Pluimdrager

Geplaatst op 21 juni 2014 - 12:05

Mooi, maak nu de waarheidstabel voor: P ; Q ; P->Q ; P v (P->Q) ;






0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures