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}}}$$

Most viewed questions in Mathematical Logic

57 votes
10 answers
31
Let $p, q, r$ denote the statements ”It is raining”, “It is cold”, and “It is pleasant”, respectively. Then the statement “It is not raining and it is pleas...
1 votes
4 answers
33
Translate each of these statements into logical expressionsusing predicates, quantifiers, and logical connectives.a) No one is perfect.b) Not everyone is perfect.c) All y...
45 votes
3 answers
35
1 votes
1 answer
41
Prove the validity of the following argument " If I get the job and work hard,then I'll get promoted.If I get promoted then i'll be happy.I will not be happy.Therefore ei...
24 votes
4 answers
45
Which of the following is/are a tautology?$a \vee b \to b \wedge c$$a \wedge b \to b \vee c$$a \vee b \to \left(b \to c \right)$$a \to b \to \left(b \to c \right)$
2 votes
2 answers
46
1. (∀x (p(x) → q(x)) and (∀x p(x) → ∀x q(x))2.∃x p(x)∧∃x q(x) and ∃x (p(x)∧q(x))3.(∀x (p(x) ↔ q(x)) and (∀x p(x) ↔ ∀x q(x))are logically eq...