Answer
The argument is valid due to the rule of inference known as $specialisation$
Work Step by Step
p: Sandra knows Java
q: Sandra knows C++
Sandra knows Java and Sandra knows C++. (p ∧ q)
∴ Sandra knows C++. (q)
The argument flow is:
p ∧ q
∴ q
which is a valid inference using Specialisation
