In logic, what is a 'vacuously true' statement?
A statement that is true because the premise is always false.
A statement that is proven using a truth table.
A statement that is equivalent to a contradiction.
A statement that cannot be proven true or false.