3 ms·A proposition that is logically derived from one already proved, usually immediately before.by xacaxulu 11y agoA proposition that is logically derived from one already proved, usually immediately before.