Register

Web Page

Syllabus: Propositional and first order logic.

$$\scriptsize{\overset{{\large{\textbf{Mark Distribution in Previous GATE}}}}{\begin{array}{|c|c|c|c|c|c|c|c|}\hline
\textbf{Year}& \textbf{2022}& \textbf{2021-1}&\textbf{2021-2}&\textbf{2020}&\textbf{2019}&\textbf{2018}&\textbf{2017-1}&\textbf{2017-2}&\textbf{2016-1}&\textbf{2016-2}&\textbf{Minimum}&\textbf{Average}&\textbf{Maximum}
\\\hline\textbf{1 Mark Count}& 0 & 1&1&0&0&0&2&1&1&1&0&0.7&2
\\\hline\textbf{2 Marks Count}&0 & 0&0&1&1&1&1&0&0&1&0&0.5&1
\\\hline\textbf{Total Marks}& 0 & 1&1&2&2&2&4&1&1&3&\bf{0}&\bf{1.7}&\bf{4}\\\hline
\end{array}}}$$

Filter

Highest voted questions in Mathematical Logic

17 votes
3 answers
91
GATE CSE 1997 | Question: 3.2
Which of the following propositions is a tautology? $(p \vee q) \rightarrow p$ $p \vee (q \rightarrow p)$ $p \vee (p \rightarrow q)$ $p \rightarrow (p \rightarrow q)$
Which of the following propositions is a tautology?$(p \vee q) \rightarrow p$$p \vee (q \rightarrow p)$$p \vee (p \rightarrow q)$$p \rightarrow (p \rightarrow q)$
User Avatar
13 votes
3 answers
99
GATE CSE 1988 | Question: 2vii
Define the validity of a well-formed formula(wff)?
Define the validity of a well-formed formula(wff)?
User Avatar
13 votes
3 answers
100
GATE CSE 1999 | Question: 14
Show that the formula $\left[(\sim p \vee q) \Rightarrow (q \Rightarrow p)\right]$ is not a tautology. Let $A$ be a tautology and $B$ any other formula. Prove that $(A \vee B)$ is a tautology.
Show that the formula $\left[(\sim p \vee q) \Rightarrow (q \Rightarrow p)\right]$ is not a tautology.Let $A$ be a tautology and $B$ any other formula. Prove that $(A \ve...
User Avatar
Page: