Truth-value semantics · Study