- La Wiris té incorporada una àlgebra booleana binària,
de cert o fals. Quan pot assegurar la certesa d'una condició, la resposta
que dóna és cert. Altrament, la resposta és fals.
És a dir, convé que "traduïu" sempre fals
com a no es pot assegurar que sigui cert. I encara una mica més:
la complexitat dels raonaments matemàtics que fem fa que, en alguna
situació, la resposta fals que dóna la Wiris pugui correspondre
a una situació que "a ull" sabem que és certa: no
hi ha prou recursos en el programa per assegurar el que veiem com a cert.
Ara bé, sempre que trobeu com a resposta cert, en podeu tenir
realment la certesa.
En la situació que es comentava, (a·b)n
= = an · bn ?,
si penseu que a i b
poden ser matrius, llavors el producte no és commutatiu i la resposta
fals està ben justificada en general.
Vegeu una pantalla amb exemples
.