Ononot — Which rule allows us to conclude \\neg P from \\neg Q and P

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

Logichard

0:00.0

Which rule allows us to conclude $\\neg P$ from $\\neg Q$ and $P \\rightarrow Q$ ?