- 真命題