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 answered questions in Mathematical Logic

1 votes
1 answer
661
CMI-2021-Data Science
User Avatar
0 votes
1 answer
662
self doubt
Can anybody please tell what is the subjects fall under discrete and engineering mathematics for gate cse
Can anybody please tell what is the subjects fall under discrete and engineering mathematics for gate cse
User Avatar
0 votes
1 answer
663
GATE ACADEMY TEST SERIES
What is the minimum number of students, each of whom comes from one of the 50 states, who must be enrolled in a university to guarantee that there are at least 100 who come from the same state?
What is the minimum number of students, each of whom comes from one of the 50 states, who must be enrolled in a university to guarantee that there are at least 100 who co...
User Avatar
6 votes
1 answer
665
NIELIT Scientist B 2020 November: 84
Given the truth table of a Binary Operation \$ as follows: $ ... hline \end{array}$ Identify the matching Boolean Expression. $X \$ \neg Y$ $\neg X \$ Y$ $\neg X \$ \neg Y$ none of the options
Given the truth table of a Binary Operation \$ as follows:$$\begin{array}{|l|l|l|l|} \hline {} \text{X} & \text{Y }& \text{X\$Y }\\ \hline \text{1} & \text{0 }& ...
User Avatar
3 votes
1 answer
670
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
1 votes
1 answer
672
Mathematical Logic: Doubt on meaning of statement
The notation $\exists ! x P(x)$ denotes the proposition there exists a unique $x$ such that $P(x)$ ... What will be answer here?? Is the assumption only for left hand side and not right hand side??
The notation $\exists ! x P(x)$ denotes the proposition “there exists a unique $x$ such that $P(x)$ is true”. Give the truth values of the following statements : I)${...
User Avatar
3 votes
1 answer
673
Proposition Logic Question
Are these propositions? 1.This sentence is true 2.This sentence is false Aren’t these liar paradox?
Are these propositions?1.This sentence is true2.This sentence is falseAren’t these liar paradox?
User Avatar
0 votes
1 answer
674
Self Doubt-LA
In a non-homogeneous equation Ax = b, x has a unique solution when $A^{-1}$ exists i.e x = $A^{-1}$b but when det(A) = 0 then we have infinite solution or many solution. please give a mathematical explanation of how the 2nd statement occurs?
In a non-homogeneous equation Ax = b, x has a unique solution when $A^{-1}$ exists i.e x = $A^{-1}$bbut when det(A) = 0 then we have infinite solution or many solution.p...
User Avatar
0 votes
1 answer
675
self doubt consistency and satisfiability
how can we link consistency and satisfiability ? are they bidirectional? plz help
how can we link consistency and satisfiability ?are they bidirectional? plz help
User Avatar
0 votes
1 answer
677
self doubt about maths practice
Where can i find only maths PYQ all branches . for practice ?
Where can i find only maths PYQ all branches . for practice ?
User Avatar
Page: