In logic, not true by meaning of its component terms alone but by virtue of observation and not resulting in self-contradiction with denial.

Compare: analytic