Logiceasy
0:00.0

Given PP is True and QQ is False, evaluate P    QP \implies Q.