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{2024-1}&\textbf{2024-2}&\textbf{2023}& \textbf{2022}& \textbf{2021-1}&\textbf{2021-2}&\textbf{Minimum}&\textbf{Average}&\textbf{Maximum}
\\\hline\textbf{1 Mark Count}&0&1&1& 0 & 1&1&0&0.67&1
\\\hline\textbf{2 Marks Count}&0&0&0&0 & 0&0&0&0&0
\\\hline\textbf{Total Marks}& 0&1&1& 0 & 1&1&\bf{0}&\bf{0.67}&\bf{1}\\\hline
\end{array}}}$$

Filter

Recent questions in Mathematical Logic

1 votes
2 answers
941
fallacy , contradiction and invalid argument are same ?
fallacy , contradiction and invalid argument are same or different
fallacy , contradiction and invalid argument are same or different
User Avatar
1 votes
1 answer
942
linear algebra
The matrix A has (1, 2, 1)^T and (1, 1, 0)^T as eigenvectors, both with eigenvalue 7, and its trace is 2. The determinant of A is __________
The matrix A has (1, 2, 1)^T and (1, 1, 0)^T as eigenvectors, both with eigenvalue 7, and its trace is 2. The determinant of A is __________
User Avatar
0 votes
1 answer
944
Recurrence
User Avatar
0 votes
1 answer
945
Recurrence relation
User Avatar
0 votes
0 answers
946
Graphs
I am getting n>=9 ,if I consider remaining vertices degree 2 (less than 3). How ans is this small ?
I am getting n>=9 ,if I consider remaining vertices degree 2 (less than 3). How ans is this small ?
User Avatar
1 votes
1 answer
947
Proportional Logic
Answer given is B , but why no C ?
Answer given is B , but why no C ?
User Avatar
0 votes
0 answers
948
Proportional Logic
Why S2 in not true ?
Why S2 in not true ?
User Avatar
0 votes
1 answer
949
Proportional Logic
Getting A and D both invalid, D invalid and in option A, for any T , F combination in conclusion, each statement can be true from 'assumptions'. Where I am going wrong ?
Getting A and D both invalid, D invalid and in option A, for any T , F combination in conclusion, each statement can be true from 'assumptions'.Where I am going wrong ?
User Avatar
0 votes
2 answers
950
First Order Logic
" S2 is incorrect " mentioned in the solution. But I am not getting True --> false pair.
" S2 is incorrect " mentioned in the solution. But I am not getting True false pair.
User Avatar
0 votes
1 answer
951
Logic
Please clarify the difference between option a and option b.
Please clarify the difference between option a and option b.
User Avatar
2 votes
1 answer
952
Logic
Plese tell me the proper approach to solve these kind of questions.
Plese tell me the proper approach to solve these kind of questions.
User Avatar
0 votes
1 answer
953
Number of relation
How many relations are there with 3 elements which are antisymmetric but not symmetric?
How many relations are there with 3 elements which are antisymmetric but not symmetric?
User Avatar
0 votes
1 answer
954
permutation
How many 10 letter permutations are possible with the letters{a,a,b,b,b,c,c,c,c},if all the letters are used at a time?
How many 10 letter permutations are possible with the letters{a,a,b,b,b,c,c,c,c},if all the letters are used at a time?
User Avatar
0 votes
1 answer
955
Doubt
Ques:- Express the following expression in simple English. ∀x∀y(y ≠ x → ∃z(z ≠ x ∧ ¬(z = y ↔ C(x, z)))) Where, C(x, y) mean that person x has chatted with person y.
Ques:- Express the following expression in simple English.∀x∀y(y ≠ x → ∃z(z ≠ x ∧ ¬(z = y ↔ C(x, z))))Where, C(x, y) mean that person x has chatted with ...
User Avatar
0 votes
1 answer
956
Kenneth H. Rosen
Express following mathematical statements using predicates, quantifiers, logical connectives, and mathematical operators. Ques:- Every positive real number has exactly two square roots.
Express following mathematical statements using predicates, quantifiers, logical connectives, and mathematical operators.Ques:- Every positive real number has exactly two...
User Avatar
0 votes
1 answer
957
Cyclic group
If (G,*) is a cyclic group of order 81 then number of generators in G is????
If (G,*) is a cyclic group of order 81 then number of generators in G is????
User Avatar
0 votes
1 answer
958
Gate 2015 Set2 Q55
I am not able to solve the problems on predicate logic involving quantifiers like in gate2015 Set2 Q55 What should I do to understand the concept in this problem? https://gateoverflow.in/8259/gate2015-2-55
I am not able to solve the problems on predicate logic involving quantifiers like in gate2015 Set2 Q55 What should I do to understand the concept in this problem? https:...
User Avatar
0 votes
1 answer
959
gateforum test
User Avatar
1 votes
2 answers
960
Kenneth H. Rosen
Let F(x, y) be the statement “x can fool y,” where the domain consists of all people in the world. Use quantifiers to express each of these statements. (a) There is exactly one person whom everybody can fool. (b) There is someone who can fool exactly one person besides himself or herself.
Let F(x, y) be the statement “x can fool y,” where thedomain consists of all people in the world. Use quantifiersto express each of these statements.(a) There is exac...
User Avatar
Page: