Logicmedium
0:00.0

Identify the logical rule used to derive QQ from the premises PQP \lor Q and ¬P\neg P.