Implicatie en verzamelingen
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
- Berichten: 341
Implicatie en verzamelingen
Dit is naar mijn idee een basisvraag maar ik op internet vind ik geen eenduidige uitleg. Als je de uitspraak "Als p, dan q" wil vertalen naar verzamelingenleer, zou ik zeggen dat het moet zijn:
\(p \subset q\)
. Ik heb uitleg gezien waarin inderdaad dit gezegd wordt, zoals op pagina 4 van deze pdf. Als ik kijk naar voorbeelden als "Als x een man is, dan is x een mens" lijkt dit ook te kloppen omdat mannen een deelverzameling is van mensen. Toch zie ik ook vaak, zoals op deze Wikipedia pagina, dat het juist \(p \supset q \)
moet zijn. Kan iemand dit misschien verduidelijken?- Pluimdrager
- Berichten: 3.505
Re: Implicatie en verzamelingen
Er zijn voor het implicatiesymbool nogal wat symbolen in omloop, te weten →, É en Þ. Ik gebruik voor het implicatiesymbool het laatst genoemde symbool.
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel
- Pluimdrager
- Berichten: 10.058
Re: Implicatie en verzamelingen
Maak een waarheidstabel van p -> q en een Venn-diagram van
\(P \subset Q\)
Ga de mogelijkheden na.- Berichten: 341
Re: Implicatie en verzamelingen
p q p->q
0 0
1
0 1
1
1 0
0
1 1
1
x niet in P en niet in Q:
x niet in P en wel in Q:
x wel in P en niet in Q:
x wel in P en wel in Q:
Als ik dit zo zie, zou het inderdaad
0 0
1
0 1
1
1 0
0
1 1
1
x niet in P en niet in Q:
\(P \subset Q\)
mogelijkx niet in P en wel in Q:
\(P \subset Q\)
mogelijkx wel in P en niet in Q:
\(P \subset Q\)
niet mogelijkx wel in P en wel in Q:
\(P \subset Q\)
mogelijkAls ik dit zo zie, zou het inderdaad
\(P \subset Q\)
moet zijn. Maar dan begrijp ik niet waarom de notatie \(P \supset Q\)
wordt gebruikt.