Haskell/Verdadeiro ou falso: diferenças entre revisões

Neste caso, o problema não representar <math>5</math> como sendo <math>x+3</math> ou vice-versa. Na verdade, temos uma ''proposição'' de que um número <math>x</math>, quando somado a 3, resulta em 5. Resolver a equação significa achar qual valor de <amthmath>x</math>, se é que existe um, torna a proposição verdadeira. Neste exemplo simples, uma simples manipulação algébrica nos mostra que <math>x=2</math>, isto é, <math>2</math> é o número que satisfaz a proposição, pois <math>2+3=5</math>.