EntityQ2301186· pop 22necessitySign in to savein logic, property of a statement which must be true in order for another given statement to be trueConnectionsmodal logicEntity