is anyone familiar with the Maple 16 software? This is part of a project involving truth tables and i am stuck on, it's not giving me the answers that i need.
so the question is:
Determine if the argument ((p -> ~q)^(p -> r))^(q -> r) => (p^q) is a tautology and thus valid.
what i have typed into maple program for the commands
>with Logic):
>Tautology ((p &implies (¬ q)) &and (p &implies r) &and ((q &implies r) &implies (p &and q));
with this command typed in it is not giving me the "true or false" statement.