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

2 votes
1 answer
561
prepositional logic
when ∀xP(x) --> Q(x) is given does it mean (∀xP(x)) --> Q(x) or it means ∀x(P(x) --> Q(x))? in short precedence of quantifiers is greater or implies is greater?
when ∀xP(x) Q(x) is givendoes it mean (∀xP(x)) Q(x) or it means ∀x(P(x) Q(x))?in short precedence of quantifiers is greater or implies is greater?
User Avatar
2 votes
0 answers
562
IITM MS Previous Year
Let a,b,c,d are 4 consecutive numbers of Fibonacci series. Prove or dis-approve ad-bc= ±1 Now my question is can we prove it by induction?
Let a,b,c,d are 4 consecutive numbers of Fibonacci series. Prove or dis-approve ad-bc= ±1 Now my question is can we prove it by induction?
User Avatar
2 votes
1 answer
564
matrix
User Avatar
2 votes
2 answers
566
MADE EASY TEST SERIES
If 2, – 4 are the eigen values of a non­singular matrix A and |A| = ­8, then the eigen values of Adj A are x and –y then the value of x + y is _________. My doubt is x+y = 6 is possible or not ? ans is -6 given by ME.
If 2, – 4 are the eigen values of a non­singular matrix A and |A| = ­8, then theeigen values of Adj A are x and –y then the value of x + y is _________.My doubt is ...
User Avatar
2 votes
1 answer
567
........
User Avatar
2 votes
2 answers
571
GATE [Math]
User Avatar
2 votes
1 answer
573
Quiz Question
Which of the following interference system is invalid? $R \rightarrow S, \sim \vdash \sim R$ $\sim R, P \rightarrow Q, Q \rightarrow R \vdash \sim P$ ... Iam getting answer as c but given b.
Which of the following interference system is invalid?​​$R \rightarrow S, \sim \vdash \sim R$$\sim R, P \rightarrow Q, Q \rightarrow R \vdash \sim P$$\sim R \rightar...
User Avatar
2 votes
1 answer
574
Group theory
Let the number of non-isomorphic groups of order 10 be X and number of non-isomorphic groups of order 24 be Y then the value of X and Y a) 3,2 b)2,7 c)1,7 d)4,5
Let the number of non-isomorphic groups of order 10 be X and number of non-isomorphic groups of order 24 be Y then the value of X and Ya) 3,2b)2,7c)1,7d)4,5
User Avatar
2 votes
1 answer
575
Group theory
Let $G$ be a group whose presentation is $G=\{ x, y \mid x^5 =y^2 =e, \:\:\:\: x^2y=yx\}$, $\mathcal{Z}_n$: Set of integers modulo $n$ Then $G$ is isomorphic to $\mathcal{Z}_5$ $\mathcal{Z}_{10}$ $\mathcal{Z}_2$ $\mathcal{Z}_{30}$
Let $G$ be a group whose presentation is$G=\{ x, y \mid x^5 =y^2 =e, \:\:\:\: x^2y=yx\}$,$\mathcal{Z}_n$: Set of integers modulo $n$Then $G$ is isomorphic to$\mathcal{Z}_...
User Avatar
2 votes
1 answer
576
predicate
B(x):x is a boy C(x):x is a chocolates E(x,y): x eats y. "only boy eats chocolates". write this statement using predicate calculus.
B(x):x is a boyC(x):x is a chocolatesE(x,y): x eats y."only boy eats chocolates". write this statement using predicate calculus.
User Avatar
2 votes
3 answers
577
Rosen chapter 5.5 question 50
How many ways are there to distribute 5 distinguishable objects into three indistinguishable boxes?
How many ways are there to distribute 5 distinguishable objects into three indistinguishable boxes?
User Avatar
2 votes
3 answers
580
UGC NET CSE | December 2014 | Part 3 | Question: 57
The resolvent of the set of clauses $(A \vee B, \sim A \vee D, C \vee \sim B)$ is $A \vee​ B$ $C \vee​ D$ $A \vee​ C$ $A \vee​ D$
The resolvent of the set of clauses $(A \vee B, \sim A \vee D, C \vee \sim B)$ is $A \vee​ B$$C \vee​ D$$A \vee​ C$$A \vee​ D$
User Avatar
Page: