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

#981
499
views
2 answers
0 votes
Self doubt
Which is appropriate for the statement and why?
User Avatar
#982
216
views
0 answers
0 votes
Query regarding cumulative distribution function
I was reading cumulative distribution function from sheldon ross and I had a doubt regarding one of it's properties.The following are properties of the cumulative ... What does this $4^{th}$ property actually mean can anyone explain?
User Avatar
#983
711
views
1 answers
0 votes
combinotronics
At a party there are 15 men and 20 women.How many ways are there to form fifteen couples consisting of one man and one woman? is it p(20,15)How many ways ... to form ten couples consisting of one man and one woman?? is it 20C10 * 15C10??
User Avatar
#984
271
views
1 answers
0 votes
self doubt
3. Which of the following are valid?A) (∃!x)(∃!y)J(x,y) <-> (∃!x)(∃!y)J(x,y)B) (∃!x)(∃!y)J(x,y) <-> (∃!y)(∃!x)J(x,y)C) (∃!x)(∃!y)J(x,y) -> (∃!x)(∃!y)J(x,y)D) (∃!x)( ... )(∃!y)J(x,y) -> (∃!x)(∃!y)J(x,y)D) (∃!x)(∃!y)J(x,y) -> (∃!y)(∃!x)J(x,y)
User Avatar
#985
228
views
1 answers
0 votes
self doubt
2. Which of the following are satisfiable?A) (∀x)(∀y)J(x,y) <-> (∀x)(∀y)J(x,y)B) (∀x)(∀y)J(x,y) <-> (∀y)(∀x)J(x,y)C) (∀x)(∀y)J(x,y) -> (∀x)(∀y)J(x,y)D) (∀x)(∀y)J(x,y ... G) (∃x)(∃y)J(x,y) -> (∃x)(∃y)J(x,y)H) (∃x)(∃y)J(x,y) -> (∃y)(∃x)J(x,y)
User Avatar
#986
256
views
1 answers
0 votes
self doubt
1. Which of the following are valid?A) (∀x)(∀y)J(x,y) <-> (∀x)(∀y)J(x,y)B) (∀x)(∀y)J(x,y) <-> (∀y)(∀x)J(x,y)C) (∀x)(∀y)J(x,y) -> (∀x)(∀y)J(x,y)D) (∀x)(∀y)J(x,y) -> ... y)G) (∃x)(∃y)J(x,y) -> (∃x)(∃y)J(x,y)H) (∃x)(∃y)J(x,y) -> (∃y)(∃x)J(x,y)
User Avatar
#987
1.9k
views
1 answers
0 votes
What is the probability that a five-card poker hand contains the two of diamonds and the three of spades?
Ans :How answer is ((1C1)(1C1)(50C3))/(52C5)?
User Avatar
#988
317
views
1 answers
0 votes
Set theory
The number of multi sets of size 4 are possible with the elements of the set S={1,2,3,4,5,6} is ?????What does multi set refers to???
User Avatar
#989
223
views
0 answers
0 votes
Set theory
User Avatar
#990
417
views
1 answers
0 votes
Set theory
User Avatar
#991
173
views
0 answers
0 votes
Propositional logic
Is conjunctive normal form is in gate syllabus????
User Avatar
#992
725
views
1 answers
0 votes
Kenneth Rosen Edition 6th Exercise 1.3 Question 41b (Page No. 49)
Express each of these system specifications using predicates,quantifiers, and logical connectivesb) Whenever there is an active alert, all queued messagesare transmitted. ... don't use implication with ∃x "Which leaves me in confusion.?
User Avatar
#993
323
views
1 answers
0 votes
Propositional logic
What procedure need to be followed so as to translate english statement to predicate logic for example Every mother loves her children?
User Avatar
#994
1.4k
views
1 answers
0 votes
Kenneth Rosen Edition 6th Exercise 1.3 Question 40c (Page No. 49)
Express each of these system specifications using predicates,quantifiers, and logical connectives.c) The file system cannot be backed up if there is a usercurrently ... If the manual is correct then why two variables x,y are required?
User Avatar
#995
421
views
1 answers
0 votes
kenneth rosen section1.4 - syllabus
is Prolog or ∃! of mathematical logic in syllabus?
User Avatar
#996
1.9k
views
2 answers
2 votes
Logic-Inference
Consider the following two statements:S1 : All clear explanations are satisfactory.S2 : Some excuses are unsatisfactory. Which one of the following ... Some excuses are not clear explanations(D)Some explanations are clear excuses.
User Avatar
#997
354
views
0 answers
0 votes
Self Doubt
User Avatar
#998
744
views
1 answers
0 votes
puzzle
can anyone solve the puzzle below:There are some books on the table. If you group them by 3, you get some number of full groups and 2 books remain; if you group ... remain. What is the number of books on the table, if it is less than 100?
User Avatar
#999
710
views
1 answers
0 votes
Syllabus Gate 2019
Is the chapter Complex functions part of gate 2019 maths syllabus?Previously questions about analytic functions have been asked a lot. Are they part of the syllabus?
User Avatar
#1000
5.6k
views
0 answers
0 votes
Kenneth Rosen Edition 6th Exercise 1.3 Example 23 (Page No. 42)
Express the statement Every student in this class has studied calculus using predicates andquantifiers.Solution: First, we rewrite the statement so that we can clearly identify ... So, the value is not given as input there. Then why now?
User Avatar
Page: