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

Recent questions in Mathematical Logic

1 votes
1 answer
1441
First Order Logic
A = ∃x (P(x) ^ Q(x)). B = ∃x P(x) ^ ∃x Q(x). Which is correct? a) A => B b) B => A c) A <=> B d) None of These Please Explain.
A = ∃x (P(x) ^ Q(x)).B = ∃x P(x) ^ ∃x Q(x).Which is correct?a) A = Bb) B = Ac) A <= Bd) None of ThesePlease Explain.
User Avatar
0 votes
0 answers
1442
First Order Logic
A = ∃x(P(x)^Q(x)) B = ∃x P(x) ^ ∃x Q(x), which is correct? a) A <=> B b) A => B c) B => A d) None of These Please Explain.
A = ∃x(P(x)^Q(x))B = ∃x P(x) ^ ∃x Q(x), which is correct?a) A <= Bb) A = Bc) B = Ad) None of ThesePlease Explain.
User Avatar
0 votes
0 answers
1444
Made easy
Please tell me how the odd function is getting a positive value over -1/2 to 1/2?
Please tell me how the odd function is getting a positive value over -1/2 to 1/2?
User Avatar
2 votes
1 answer
1445
logic
prove ((P=>Q)^(Q=>R))=>(P=>R) =1
prove((P=>Q)^(Q=>R))=>(P=>R) =1
User Avatar
2 votes
1 answer
1446
#Numerical methods-syllabus
What is the syllabus for Engineering Mathematics - Numerical methods?
What is the syllabus for Engineering Mathematics - Numerical methods?
User Avatar
1 votes
0 answers
1447
number of solutions
When we find rank(A) and rank(AB) what are the cases to get 1.no solution 2.unique solution 3.infinite solution 4.more than one solution
When we find rank(A) and rank(AB)what are the cases to get1.no solution2.unique solution3.infinite solution4.more than one solution
User Avatar
1 votes
0 answers
1448
Integration By Trapezoidal Rule (Gate 2014)
Using the trapezoidal rule, and dividing the interval of integration into three equal subintervals, the definite integral ∫|x|dx is_______(Upper limit +1& Lower limit -1)
Using the trapezoidal rule, and dividing the interval of integration into three equal subintervals, the definite integral ∫|x|dx is_______(Upper limit +1& Lower limit ...
User Avatar
2 votes
1 answer
1449
graphs
[ D110 ; / ] = { 1,2,5,10,11,22,55,110} how are these values identified
[ D110 ; / ] = { 1,2,5,10,11,22,55,110} how are these values identified
User Avatar
1 votes
2 answers
1450
self_doubt #what is the meaning of this symbole
User Avatar
2 votes
1 answer
1451
p'q'r is minterm of
User Avatar
3 votes
2 answers
1452
propositional logic
A) ((P->Q)->Q) ==> P V Q is given How i solved ((~P V Q)-->Q) ~(~P V Q) V Q (P and ~Q) V Q (P V Q) and ( ~Q VQ) (P V Q) and Q after this.. how to proceed? B) ( P <--> Q ) ==> (P and Q ) V ( ~p and ~Q)..............how ??
A) ((P->Q)->Q) == P V Q is givenHow i solved((~P V Q) >Q) ~(~P V Q) V Q(P and ~Q) V Q(P V Q) and ( ~Q VQ)(P V Q) and Qafter this.. how to proceed?B) ( P < Q ) == (P...
User Avatar
2 votes
3 answers
1453
number of solutions
Number of non negative integer solutions such that $x + y + z = 17$ where $x>1,\ y>2,\ z>3$
Number of non negative integer solutions such that $x + y + z = 17$ where $x>1,\ y>2,\ z>3$
User Avatar
1 votes
0 answers
1454
rank of matrix
A = 1 1 -1 4 4 -3 p 2 2 Rank of matrix A is 2....find P
A = 1 1 -1 4 4 -3 p 2 2Rank of matrix A is 2....find P
User Avatar
2 votes
0 answers
1455
Gate 2014 ME
If z is a complex variable, the value of ∫dz/z is____ { Upper limit = 3i & lower limit = 5} A. -0.511 - 1.57i B. -0.511 + 1.57i C. 0.511 - 1.57i D. 0.511 + 1.57i
If z is a complex variable, the value of ∫dz/z is____ { Upper limit = 3i & lower limit = 5}A. -0.511 - 1.57iB. -0.511 + 1.57iC. 0.511 - 1.57iD. 0.511 + 1.57i
User Avatar
1 votes
0 answers
1456
Complex Function
How to make a figure of |z - i| = 2.
How to make a figure of|z - i| = 2.
User Avatar
2 votes
0 answers
1457
matrices
User Avatar
3 votes
0 answers
1458
#discrete mathematics
Are Conjunctive Normal Form and Disjunctive Normal Form included in the GATE syllabus?
Are Conjunctive Normal Form and Disjunctive Normal Form included in the GATE syllabus?
User Avatar
1 votes
0 answers
1459
mathematics
the number of integers n with 100<n<200 such that 8 divides (n^2-n-2) and 27 divides (n^2+2n-3)
the number of integers n with 100<n<200 such that 8 divides (n^2-n-2) and 27 divides (n^2+2n-3)
User Avatar
Page: