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
2072
tautology
in third and fourth option,what does RHS means??here x is binded two times by universal quantifier inside and outside the bracket,,wht does that mean??
in third and fourth option,what does RHS means??here x is binded two times by universal quantifier inside and outside the bracket,,wht does that mean??
User Avatar
0 votes
1 answer
2073
mathematical logic
i thnk option is D
i thnk option is D
User Avatar
0 votes
2 answers
2074
Discrete Mathematics logics
If p->q is true, then the truth value of which of the following can be determined? a)p b)q c)p^q d)p or-q
If p->q is true, then the truth value of which of the following can be determined?a)pb)qc)p^qd)p or-q
User Avatar
0 votes
1 answer
2075
GATE and general knowledge question
Check the validity of the argument "If Ram is married then he is sad. If he is sad then he does not watch TV.He doesnt watch TV.Therefore Ram is unmarried."
Check the validity of the argument "If Ram is married then he is sad.If he is sad then he does not watch TV.He doesnt watch TV.Therefore Ram is unmarried."
User Avatar
0 votes
1 answer
2076
Gate Discrete MAthematics
Find PDNF of p → ((p → q) ∧ ~(~qv~p)).
Find PDNF of p → ((p → q) ∧ ~(~qv~p)).
User Avatar
0 votes
1 answer
2077
Discrete Mathematics
Prove that for any integer n if 3n+2 is even, then n is even , by method of Contraposition.
Prove that for any integer n if 3n+2 is even, then n is even , by method of Contraposition.
User Avatar
0 votes
1 answer
2078
Discrete Twisty Question
Let f,g and h befunctions from N to N where N is the set of natural numbers defined as f(x)=x+1 , g(x)=2x and h(x)= 0 if x even ⎨ 1 if x is odd ⎬ Then a) Determine g o f , g o h b) Is function h one-one c) Is function f onto?
Let f,g and h befunctions from N to N where N is the set of natural numbers defined as f(x)=x+1 , g(x)=2x andh(x)= 0 if x even ⎨ 1 if ...
User Avatar
1 votes
1 answer
2079
Gate Discrete
Prove that the premises p → q ,p → r, q → ~ r , p are inconsistent.
Prove that the premises p → q ,p → r, q → ~ r , p are inconsistent.
User Avatar
0 votes
2 answers
2080
Discrete Mathematics
Determine whether (p ∧ ( p → q )) → q is Tautology , Contradiction or Contingency.
Determine whether (p ∧ ( p → q )) → q is Tautology , Contradiction or Contingency.
User Avatar
0 votes
1 answer
2081
DISCRETE MATHEMATICS
Show that x2 + 5x + 11 is O(x2)
Show that x2 + 5x + 11 is O(x2)
User Avatar
0 votes
0 answers
2082
Gate Discrete Mathematics
Find the number of sub algebra of the Boolean algebra D110.
Find the number of sub algebra of the Boolean algebra D110.
User Avatar
0 votes
1 answer
2083
Gate Discrete Mathematics
Using Generating function , solve the recurrence relation an+2 - 2an+1 + an = 2n , n>=0 , a0=2 , a1=1
Using Generating function , solve the recurrence relation an+2 - 2an+1 + an = 2n , n>=0 , a0=2 , a1=1
User Avatar
0 votes
1 answer
2084
Gate Discrete Mathematics
If f : R - > R defined by , Show that f is invertible.
If f : R - R defined by , Show that f is invertible.
User Avatar
0 votes
0 answers
2085
Gate Discrete MAths
Solve the recurrence relation an - 4 an-1 - 11 an-2 + an-3 = 0 , a0 = 0 , a1 = -35 , a2=-85.
Solve the recurrence relationan - 4 an-1 - 11 an-2 + an-3 = 0 , a0 = 0 , a1 = -35 , a2=-85.
User Avatar
0 votes
1 answer
2086
GATE DISCRETE MATHS
Prove that for all n>=1 , n! >= 2n-1 using principle of mathematical induction.
Prove that for all n>=1 , n! >= 2n-1 using principle of mathematical induction.
User Avatar
0 votes
0 answers
2087
Discrete GATE
How to prove that Power set (P(S) , <= ) is a lattice, where symbols have their usual meanings.
How to prove that Power set (P(S) , <= ) is a lattice, where symbols have their usual meanings.
User Avatar
1 votes
2 answers
2090
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
Page: