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

0 votes
0 answers
511
ME- maths
Number of ways to paint 16 offices such that 2 of them are red, 10 of them are green and remaining 4 are blue ______? Why $\binom {16}{2}*\binom{14}{10}*\binom{4}{4}$ gives wrong answer?
Number of ways to paint 16 offices such that 2 of them are red, 10 of them are green and remaining 4 are blue ______?Why $\binom {16}{2}*\binom{14}{10}*\binom{4}{4}$ give...
User Avatar
0 votes
1 answer
512
Classification of compound propositions
One way of classification of compound prepositions on the basis of their truth values as per Kenneth H Rosen is Tautology Contradiction Contingency Then in which classification validity and satisfiability are used?
One way of classification of compound prepositions on the basis of their truth values as per Kenneth H Rosen is TautologyContradictionContingency Then in which classifica...
User Avatar
0 votes
2 answers
513
can any one suggest resources for discrete mathematics for gate
suggest some good resources for discrete mathematics
suggest some good resources for discrete mathematics
User Avatar
0 votes
1 answer
514
Well ordered Set
I understood the Concept of well ordered Set.But i am little bit confused in finding the least element.Can please anybody clarify the concept of finding the least element in a Poset with an example.
I understood the Concept of well ordered Set.But i am little bit confused in finding the least element.Can please anybody clarify the concept of finding the least element...
User Avatar
0 votes
1 answer
515
partial and total order set
can anyone explain what is total ordered set by giving suitable example..and also well ordered sets.
can anyone explain what is total ordered set by giving suitable example..and also well ordered sets.
User Avatar
2 votes
1 answer
517
implication VS conjunction
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate2006-26?show=188041#c188041 What is the difference in options B and D?
When should we use implication and when conjunction? For example in this question:https://gateoverflow.in/989/gate2006-26?show=188041#c188041What is the difference in opt...
User Avatar
3 votes
2 answers
518
doubt #discrete mathematics
Let p: He is intelligent, q: He is tall. Write the following in symbolic form: He is neither tall nor intelligent. Is the answer: a) ~q v ~p b) ~q ^ ~p
Let p: He is intelligent, q: He is tall. Write the following in symbolic form:He is neither tall nor intelligent.Is the answer:a) ~q v ~pb) ~q ^ ~p
User Avatar
4 votes
0 answers
520
#Gate2003
Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P? Can anyone explain how it can be solved ?
Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P?Can anyone explain how it can be s...
User Avatar
0 votes
1 answer
522
ace booklet
whats ans of this qn and please explain
whats ans of this qn and please explain
User Avatar
2 votes
0 answers
524
No of symmetric relations
No of Symmetric relations containg set with A={1,2,3,4,5,6,7} which contain exactly four ordered pairs.
No of Symmetric relations containg set with A={1,2,3,4,5,6,7} which contain exactly four ordered pairs.
User Avatar
1 votes
0 answers
525
propositional
https://gateoverflow.in/118698/gate2017-1-01 Contra positive of ~p -> ~q is q->p inverse of ~p -> ~q is p->q am able to derive all the options from the question where am i going wrong
https://gateoverflow.in/118698/gate2017-1-01Contra positive of ~p - ~q is q->pinverse of ~p - ~q is p->qam able to derive all the options from the questionwhere am i go...
User Avatar
3 votes
1 answer
526
Mathematical Logic Ques:Self doubt
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$ or $2)\sim \left ( \forall S(x)\vee V(x) \right )$ Among $1)$ and $2)$, which one is correct? and why?
“Not every satisfiable logic is valid” Representation of it will be $1)\sim \left ( \forall S(x)\rightarrow V(x) \right )$or$2)\sim \left ( \forall S(x)\vee V(x) \rig...
User Avatar
0 votes
1 answer
528
combinatorics ace mock
Number of ways we can assign 5 persons into 3 different rooms, so that each room contains at least 1 person is _____________
Number of ways we can assign 5 persons into 3 different rooms, so that each room contains at least 1 person is _____________
User Avatar
0 votes
0 answers
530
Fundamentals of Discrete Mathematics
Write the symbolic form? “If the utility cost goes up or the request for the additional funding is denied then a new computer will be purchased if and only if we can show that the current computing facilities are indeed not adequate.”
Write the symbolic form?“If the utility cost goes up or the request for the additional funding is denied then a new computer will be purchased if and only if we can sho...
User Avatar
Page: