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}}}$$

Recent questions in Mathematical Logic

0 votes
1 answer
154
Are the topics like vector calculus, laplace transformation and numerical methods a part for GATE CSE 2023 syllabus?
1 votes
1 answer
158
0 votes
0 answers
159
A relation R1 : aRb iff (a congruent b) modulo 5 and relation R2 : aRb iff (a congruent b modulo 7). What will be R1 U R2 ?
0 votes
0 answers
160
Can anyone please suggest any single resource which has a comprehensive list of Trigonometric Identities which might be useful to solve sums ?? (Inverses, Half angles, Do...
1 votes
1 answer
161
Given two propositions $P$ and $Q$. "if $P$ then $Q$" denoted by $P \rightarrow Q$ is called Implication. Such implication and its ____________ are logically equivalent.
3 votes
1 answer
165
Which of the following is a valid inference of $\mathrm{X, Y}$ in first-order logic?$$\begin{aligned}& \text{X}: \forall x .(\mathrm{P}(x) \rightarrow \mathrm{Q}(x)) \\& ...