Kärnidé
För att avgöra om
x är ett heltal måste informationen utesluta både möjligheten att
x är heltal och möjligheten att
x inte är heltal.
Lösning
(1)
y=2x.
Detta samband säger bara hur
y och
x hänger ihop.
x kan vara heltal, men kan också vara icke-heltal.
Exempel:
x=1 ger
y=2.
Exempel:
x=21 ger
y=1.
Alltså räcker (1) inte för att avgöra om
x är ett heltal.
(2)
y är ett heltal.
Detta säger ingenting direkt om
x, eftersom
x inte alls nämns.
x kan vara heltal eller inte heltal oavsett att
y är heltal.
Alltså räcker (2) inte.
(1) + (2) tillsammans:
Vi vet både att
y=2x och att
y är ett heltal. Då är
2x ett heltal.
Men om
2x är ett heltal kan
x fortfarande vara ett heltal eller ett halvt heltal.
Exempel (heltal):
x=1 ger
y=2 som är ett heltal.
Exempel (inte heltal):
x=21 ger
y=1 som är ett heltal.
Vi kan alltså inte avgöra om
x är ett heltal ens med båda påståendena.
Svar
E