Logiceasy
0:00.0

Which logical rule allows the deduction of QQ given P    QP \implies Q and PP?