Logiceasy
0:00.0

Which logic rule allows concluding QQ from the premises P    QP \implies Q and PP?