Ononot — Which rule allows concluding \\neg P from P \\rightarrow Q a

Guest Session: 1 Question Remaining. Create Account to save progress.

Logiceasy

0:00.0

Which rule allows concluding $\\neg P$ from $P \\rightarrow Q$ and $\\neg Q$ ?