Question:medium

The tautology \[ \bigl(p \wedge (p \rightarrow q)\bigr) \rightarrow q \] is the basis of the following rule of inference:

Show Hint

Modus Ponens: [ p,parrow q \Longrightarrow q ] is the most frequently used rule of inference in propositional logic.

Updated On: Jun 25, 2026

Modus Ponens
Modus Tollens
De Morgan Law
Morgan Tonen

Show Solution

The Correct Option is A

Solution and Explanation

Was this answer helpful?

0

Top Questions on Discrete Mathematics

Evaluate: \[ {}^{5}C_{0} + {}^{6}C_{1} + {}^{7}C_{2} + {}^{8}C_{3} + {}^{9}C_{4} + {}^{10}C_{5} + {}^{11}C_{6}. \]
- IIT JAM MA - 2026
- Mathematics
- Discrete Mathematics
View Solution
There are four different types of bananas. In how many ways can 12 children select bananas so that at least one child selects different types of bananas?
- IIT JAM MA - 2026
- Mathematics
- Discrete Mathematics
View Solution
There are four different types of bananas. In how many ways can 12 children select bananas so that at least one banana is selected from each type?
- IIT JAM MA - 2026
- Mathematics
- Discrete Mathematics
View Solution
Which of the following logical statements is not valid?
- GATE DA - 2026
- Data Science and Artificial Intelligence
- Discrete Mathematics
View Solution
Want to practice more? Try solving extra ecology questions todayView All Questions

Questions Asked in TS PGECET exam

The Eigenvalues of \(3\times 3\) real matrix A are 1, 2, 3 then \(A^{-1} =\)

TS PGECET - 2026
Linear Algebra

Let \(A=\begin{bmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{bmatrix}\). If \(u_1\) and \(u_2\) are column matrices such that \(Au_1 = \begin{bmatrix} 2 \\ 1 \\ 0 \end{bmatrix}\) and \(Au_2 = \begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix}\), then \(u_1 - u_2\) is

TS PGECET - 2026
Matrices

Let \(a,b\) and \(c\) be real numbers. Suppose there exist real numbers \(x,y,z\) which are not all zero such that the system of equations \(x = cy + bz\), \(y = cx + az\) and \(z = bx + ay\) has a non-zero solution then \(\left(a+b+c\right)^2 =\)

TS PGECET - 2026
Determinants

For the function \(f(x)=\log x\), the number \(c\) strictly between \(e^2\) and \(e^3\) that satisfies \(f'(c)=\dfrac{f(e^3)-f(e^2)}{e^3-e^2}\) is

TS PGECET - 2026
Calculus