Voorbeeld 4 (filmpje)


x7=x+1 en x7=(x+1)2 zijn geen logisch equivalente beweringen. Waarom niet?
  • x7=x+1x7=(x+1)2 klopt:

Neem aan dat x7=x+1 waar is. Door te kwadrateren aan beide zijden van het gelijkteken krijgen we x7=(x+1)2. We concluderen dat x7=x+1x7=(x+1)2 klopt.

  • x7=x+1x7=(x+1)2 klopt niet:

Neem aan dat x7=(x+1)2 waar is, oftewel a2=b2 met a=x7 en b=x+1.Vanuit a2=b2 kunnen we enkel concluderen dat a=b of a=b, oftewel x7=x+1 of x7=(x+1). We kunnen zeker niet beweren dat x7=x+1. Dus x7=x+1x7=(x+1)2 klopt niet.

We kunnen dus enkel schrijven x7=x+1x7=(x+1)2.