Logiceasy
0:00.0

If you know PP is true and 'If PP then QQ' is true, you can conclude QQ is true. This rule is: