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

Most viewed questions in Mathematical Logic

22 votes
3 answers
91
GATE CSE 1994 | Question: 3.13
Let $p$ and $q$ be propositions. Using only the Truth Table, decide whether $p \Longleftrightarrow q$ does not imply $p \to \lnot q$ is True or False.
Let $p$ and $q$ be propositions. Using only the Truth Table, decide whether $p \Longleftrightarrow q$ does not imply $p \to \lnot q$is True or False.
User Avatar
2 votes
1 answer
96
An undirected graph has an even number of vertices of odd degree.
What does it means ? An undirected graph has an even number of vertices of odd degree. But let a 4 vertex cycle graph if it not complete having even vertex and even degree each vertex .Is it rt?
What does it means ?An undirected graph has an even number of vertices of odd degree. But let a 4 vertex cycle graph if it not complete having even vertex and even degree...
User Avatar
37 votes
6 answers
99
GATE CSE 2014 Set 1 | Question: 1
Consider the statement "Not all that glitters is gold Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ ... $\exists x: \text{glitters}(x)\wedge \neg \text{gold}(x)$
Consider the statement "Not all that glitters is gold”Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ is gold. Which one of the ...
User Avatar
35 votes
4 answers
100
GATE CSE 2005 | Question: 40
Let $P, Q,$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and $Y$ denote $(P → R) ∨ (Q → R).$ Which one of the following is a tautology? $X ≡ Y$ $X → Y$ $Y → X$ $¬Y → X$
Let $P, Q,$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and $Y$ denote $(P → R) ∨ (Q → R).$ Which one of the following is a...
User Avatar
1 votes
3 answers
103
made easy test series
What is the number of partition of X={a,b,c,d,e,f}.where 'a' and 'c' are always in same block?
What is the number of partition of X={a,b,c,d,e,f}.where 'a' and 'c' are always in same block?
User Avatar
41 votes
4 answers
105
GATE CSE 1991 | Question: 15,b
Consider the following first order formula: ... Does it have finite models? Is it satisfiable? If so, give a countable model for it.
Consider the following first order formula:$\left ( \matrix{ \forall x \exists y : R(x,y) \\[1em] \Large \land \\[1em] \forall x \forall y : \left ( R(x,y) \impl...
User Avatar
17 votes
3 answers
109
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
Page: