Kärnidé
För att kunna svara ja/nej på om
x<25 måste informationen tvinga fram antingen alltid
x<25 eller alltid
x≥25. Om båda är möjliga räcker inte informationen.
Lösning
(1)
y<25.
Detta säger inget om
x. Till exempel kan
x=0 (då är
x<25) eller
x=100 (då är
x≥25), samtidigt som
y=0 uppfyller
y<25. Alltså räcker (1) inte.
(2)
x+y<25.
Här kan
x vara stort om
y är negativt. Exempel:
x=100 och
y=−80 ger
x+y=20<25, men då är
x≥25. Samtidigt kan
x=0 och
y=0 ge
x+y=0<25, och då är
x<25. Alltså räcker (2) inte.
(1)+(2) tillsammans:
y<25 och
x+y<25.
Fortfarande kan
x vara större än eller lika med 25: välj
y=−100 (vilket uppfyller
y<25) och
x=100, då blir
x+y=0<25. Men det går också att ha
x<25, t.ex.
x=0,
y=0. Eftersom båda fallen är möjliga kan vi inte avgöra om
x<25.
Svar
E