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

Previous GATE Questions in Mathematical Logic

2 votes
1 answer
8
GATE CSE 2017 Set 1 | Question: 31
https://gateoverflow.in/118312/gate2017-1-31 In the explanation of how 1st statement is true they have said that $\lambda$12 + $\lambda$22 <=50 How is this statement arrived at?
https://gateoverflow.in/118312/gate2017-1-31In the explanation of how 1st statement is truethey have said that $\lambda$12 + $\lambda$22 <=50How is this statement arrived...
User Avatar
57 votes
10 answers
12
GATE CSE 2017 Set 2 | Question: 11
Let $p, q, r$ ... $(\neg p \wedge r) \vee (r \rightarrow (p \wedge q))$
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...
User Avatar
1 votes
1 answer
14
GATE CSE 1988 | Question: 14i
Consider the following well-formed formula: $\exists x \forall y [ \neg \: \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(x,y)]$ Express the above well-formed formula in clausal form.
Consider the following well-formed formula:$\exists x \forall y [ \neg \: \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(x,y)]$Express the above well-formed formula in c...
User Avatar
13 votes
3 answers
15
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
31 votes
5 answers
16
GATE CSE 1989 | Question: 14a
Symbolize the expression "Every mother loves her children" in predicate logic.
Symbolize the expression "Every mother loves her children" in predicate logic.
User Avatar
19 votes
7 answers
17
GATE CSE 1989 | Question: 3-v
Which of the following well-formed formulas are equivalent? $P \rightarrow Q$ $\neg Q \rightarrow \neg P$ $\neg P \vee Q$ $\neg Q \rightarrow P$
Which of the following well-formed formulas are equivalent?$P \rightarrow Q$$\neg Q \rightarrow \neg P$$\neg P \vee Q$$\neg Q \rightarrow P$
User Avatar
30 votes
6 answers
19
GATE CSE 1990 | Question: 3-x
Indicate which of the following well-formed formulae are valid: $\left(P\Rightarrow Q\right) {\wedge} \left(Q \Rightarrow R\right) \Rightarrow \left(P \Rightarrow R\right)$ ...
Indicate which of the following well-formed formulae are valid:$\left(P\Rightarrow Q\right) {\wedge} \left(Q \Rightarrow R\right) \Rightarrow \left(P \Rightarrow R\right)...
User Avatar
23 votes
9 answers
20
GATE CSE 1987 | Question: 10e
Show that the conclusion $(r \to q)$ follows from the premises$:p, (p \to q) \vee (p \wedge (r \to q))$
Show that the conclusion $(r \to q)$ follows from the premises$:p, (p \to q) \vee (p \wedge (r \to q))$
User Avatar
Page: