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

0 votes
2 answers
2041
GATE Overflow | Mathematics | Test 1 | Question: 26
Which of the following propositions is a tautology ? $(p \vee q) \to p$ $p \vee (q \to p )$ $p \vee ( p \to q )$ $p \to (p \to q )$
Which of the following propositions is a tautology ?$(p \vee q) \to p$ $p \vee (q \to p )$$p \vee ( p \to q )$ $p \to (p \to q )$
User Avatar
0 votes
1 answer
2045
TOC regular language
Is regular languages closed under 1)Infinite Union 2)Infinite Intersection
Is regular languages closed under1)Infinite Union2)Infinite Intersection
User Avatar
1 votes
1 answer
2048
Discrete mathematics & its applications with combinatorics and graph theory-kenneth H rosen
Determine whether following conditional statement is true or false -If 1+1 =3, then 2+2=4. According to me the answer should be false, but in book its given true. Can anyone explain how it is true?
Determine whether following conditional statement is true or false-If 1+1 =3, then 2+2=4.According to me the answer should be false, but in book its given true. Can anyon...
User Avatar
2 votes
3 answers
2050
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
3 votes
2 answers
2053
UGC NET CSE | Junet 2015 | Part 2 | Question: 9
Match the following : ... $\text{(a)-(iv), (b)-(ii), (c)-(iii), (d)-(i)}$
Match the following :$\begin{array}{clcl} & \textbf{List-I} && \textbf{List-II} \\ \text{(a)}&(p \rightarrow q) \Leftrightarrow (\neg q \rightarrow \neg p) & \text{(i)} ...
User Avatar
1 votes
1 answer
2055
ISRO 2016 Mech: Matrices
What is the value of
What is the value of
User Avatar
1 votes
1 answer
2056
ISRO Mech 2016: Mathematics
There are 20 locks and 20 matching keys. Maximum number of trials required to match all the locks is (a) 190 (b) 210 (c) 400 (d) 40
There are 20 locks and 20 matching keys. Maximum number of trials required to match all the locks is(a) 190 (b) 210 (c) 400 (d) 40
User Avatar
2 votes
1 answer
2059
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
Page: