Consider following two rules $\text{R1}$ and $\text{R2}$ in logical reasoning in Artificial Intelligence (AI):
$\text{R1}:$ From $\alpha \supset \beta \; \frac{\text{and}\; \alpha}{\text{Inter} \; \beta }$ is known as Modulus Tollens (MT)
$\text{R2}:$ From $\alpha \supset \beta\frac{\text{and}\; \neg \beta }{\text{Inter}\; \neg \alpha}$ is known as Modus Ponens(MP)
- Only $\text{R1}$ is correct.
- Only $\text{R2}$ is correct.
- Both $\text{R1}$ and $\text{R2}$ are correct.
- Neither $\text{R1}$ nor $\text{R2}$ is correct.