Logiceasy
0:00.0

Which logical rule allows you to conclude QQ from P    QP \implies Q and ¬PQ\neg P \lor Q?