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{2024-1}&\textbf{2024-2}&\textbf{2023}& \textbf{2022}& \textbf{2021-1}&\textbf{2021-2}&\textbf{Minimum}&\textbf{Average}&\textbf{Maximum}
\\\hline\textbf{1 Mark Count}&0&1&1& 0 & 1&1&0&0.67&1
\\\hline\textbf{2 Marks Count}&0&0&0&0 & 0&0&0&0&0
\\\hline\textbf{Total Marks}& 0&1&1& 0 & 1&1&\bf{0}&\bf{0.67}&\bf{1}\\\hline
\end{array}}}$$

Filter

Most viewed questions in Mathematical Logic

0 votes
1 answer
263
Kenneth Rosen Edition 6th Exercise 1.2 Question 13 (Page No. 23)
What Boolean search would you use to look for Web pages about beaches in New Jersey? What if you wanted to find Web pages about beaches on the isle of Jersey (in the English Channel)?
What Boolean search would you use to look for Web pages about beaches in New Jersey? What if you wanted to find Web pages about beaches on the isle of Jersey (in the Engl...
User Avatar
7 votes
2 answers
266
Group theory doubt
1)Suppose that G is cyclic group of order 10 with generator a €G .Order of a^8 is... 2)(G,*) is an abelian group which of the following must hold A)for all g€G. g-1 = g B)for all g€G. g^2 =e C)for all a,b €G ( a*b)^2 =a^2* b^2
1)Suppose that G is cyclic group of order 10 with generator a €G .Order of a^8 is...2)(G,*) is an abelian group which of the following must hold A)for all g€G. g-...
User Avatar
4 votes
4 answers
269
Self Doubt: Mathematical Logic
Is the assertion "This statement is false" a proposition?
Is the assertion "This statement is false" a proposition?
User Avatar
1 votes
2 answers
273
GATE Discrete Obtain the disjunctive normal form and conjuctive normal form of
Obtain the disjunctive normal form and conjuctive normal form of E(x1,x2,x3) = [ (x1 - x2)` + (x1`.x3) ] ' .
Obtain the disjunctive normal form and conjuctive normal form of E(x1,x2,x3) = [ (x1 - x2) + (x1 .x3) ] ' .
User Avatar
6 votes
3 answers
275
UGC NET CSE | June 2019 | Part 2 | Question: 8
Match List-I with List-II: ... ); (b) - (i); (c) - (iii); (d) - (ii) (a) - (iv); (b) - (iii); (c) - (i); (d) - (ii)
Match List-I with List-II:$$\begin{array}{|c|c|c|c|} \hline {} & \text{List-I} & {} & \text{List-II} \\ \hline (a) & p \rightarrow q & (i) & \rceil ( q \rightarrow \rcei...
User Avatar
2 votes
1 answer
277
UGC NET CSE | September 2013 | Part 2 | Question: 24
The quantification $\exists ! x P(x)$ ... $\exists x P(x) \wedge \forall x \forall y ((P(x) \vee P(y)) \rightarrow x=y)$
The quantification $\exists ! x P(x)$ denotes the proposition “There exists a unique x such that P(x) is true”, express he quantification using universal and existent...
User Avatar
26 votes
5 answers
278
TIFR CSE 2012 | Part B | Question: 3
For a person $p$, let $w(p)$, $A(p, y)$, $L(p)$ and $J(p)$ denote that $p$ is a woman, $p$ admires $y$, $p$ is a lawyer and $p$ is a judge respectively. Which of the following is the correct translation in first order logic of ...
For a person $p$, let $w(p)$, $A(p, y)$, $L(p)$ and $J(p)$ denote that $p$ is a woman, $p$ admires $y$, $p$ is a lawyer and $p$ is a judge respectively. Which of the foll...
User Avatar
0 votes
1 answer
279
Find the probability that a hand of five cards in poker contains four cards of one kind.
Find the probability that a hand of five cards in poker contains four cards of one kind.
Find the probability that a hand of five cards in poker contains four cards of one kind.
User Avatar
0 votes
1 answer
280
recurrence relation
Which recurrence relation satisfy the sequence: 2, 3, 4, . . ., for n ≥ 1. A ) T(N) = 2 T(N-1) - T(N-2) B)T(N) = T(N-1) + T(N-2) C)T(N) = N+1 D) None of these
Which recurrence relation satisfy the sequence: 2, 3, 4, . . ., for n ≥ 1.A ) T(N) = 2 T(N-1) - T(N-2) B)T(N) = T(N-1) + T(N-2)C)T(N) = N+1D)None of these
User Avatar
Page: