Reduce[ForAll[x, {x, 1}.{{a, b}, {c, d}}.{x, 1}!= 0