Validate or invalidate the propositional argument
Validate or invalidate the following arguments
$ p\to t$
$ p \to \lnot r$
$q \to p$
$\lnot t \lor r$
$r \to t$
$\therefore \lnot p \land \lnot q \land (r \iff t) $
I could only see why it is $(r \iff t)$
**Hint:** You know $r \iff t$. What if $p$ were true?