Explorando a janela CAS e provas matemáticas

Seria válido ou interessante, discutir CAS (cálculo algébrico simbólico), algo de álgebra booleana, elementos de lógica e provas matemáticas, em conjunto? Vejamos um exercício que propõe que se provem algumas propriedades de "produto interno" entre vetores do plano.

 

William Vieira Gonçalves —

 
Tip material
Foaie de lucru
Etichete
2d-vectors  algebra  coordinates  equation  logic  math  practice  web 
Grup Ţintă (Vârstă)
0 – 19+
Limbă
Portuguese / Português‎
 
 
 
© 2026 International GeoGebra Institute