Logicmedium
0:00.0

Given the premises: 1. K    LK \implies L, 2. M    ¬LM \implies \neg L, and 3. KK. Which of the following must be true?