Recent questions and answers in Mathematical Logic - GATE CSE Doubts

0 votes

1 answer

Is hypercube graph is another name of regular graph??

answered 6 hours ago in Mathematical Logic by Bikram (187 points) | 11 views

0 votes

1 answer

What is maximal independent set(MIS)?

answered 6 hours ago in Mathematical Logic by Bikram (187 points) | 6 views

0 votes

0 answers

Express it using logic. "There are exactly two systems that monitor every re mote server"

asked 22 hours ago in Mathematical Logic by Bhunesh_Singh (102 points) | 6 views

0 votes

0 answers

How many 5 digit positive integers possible with 2,3,and5

asked 2 days ago in Mathematical Logic by Ammulucky (102 points) | 8 views

0 votes

1 answer

Discrete Sets
Is Power set under subset operation for A={a,b,c,d} distributive lattice?

answered 4 days ago in Mathematical Logic by Debargha Bhattacharj (1.3k points) | 5 views

0 votes

1 answer

kenneth rosen -inference rules
Show that the premises It is not sunny this afternoon and it is colder than yesterday, We will go swimming only if it is sunny, If we do not go swimming, then we will take a canoe trip, and If we take a canoe trip, then we will ... -->t . which is always true hence the argument is true But the conclusion is not true. Am I correct with the above statement??

answered 5 days ago in Mathematical Logic by Satbir (1k points) | 9 views

0 votes

0 answers

self doubt -kenneth rosen
"In the statement ∃x(x + y = 1), the variable x is bound by the existential quantification ∃x, but the variable y is free because it is not bound by a quantifier and no value is assigned to this variable. This illustrates that in the statement ∃x(x ... y is free becoz it is not bound by a quantifier. thats it!!,Why is no value is assigned to this variable. written?

asked 5 days ago in Mathematical Logic by Doraemon (139 points) | 6 views

0 votes

1 answer

Kenneth Rosen ex 1.3 q50
How $\forall x (P(x)) \vee \forall x (Q(x)) → \forall x (P(x) \vee Q(x))$. Why not biconditional?

answered 6 days ago in Mathematical Logic by Satbir (1k points) | 10 views

0 votes

0 answers

Kenneth Rosen ex 1.3 q 43
How $( \forall x (P(x) → Q(x) ) → (\forall x(P(x) → \forall (Q(x))$ is true ? [closed]

asked 6 days ago in Mathematical Logic by Winner (120 points) | 4 views

0 votes

0 answers

Grimaldi rules of inference
Question If the argument is valid than identify which inference rule is used and if invalid than the error. For part b,c,e

asked Aug 13 in Mathematical Logic by Yatharth_123 (102 points) | 3 views

0 votes

1 answer

jee main practice book
if 4 dice are rolled, then no of ways getting sum of 10 a)56 b)64 c)72 d)80

answered Aug 12 in Mathematical Logic by Satbir (1k points) | 12 views

0 votes

0 answers

2a{n}=a{n-1}+2pow(n)..........a[0]=1then a[100]=?
2a{n}=a{n-1}+2pow(n)..........a[0]=1then a[100]=?

asked Aug 12 in Mathematical Logic by raviinexam (102 points) | 4 views

+1 vote

1 answer

Self doubt on the tautology and negation Kenneth Rosen

answered Aug 12 in Mathematical Logic by Hirak (1.3k points) | 15 views

0 votes

0 answers

Set Practice Question
9) Let A = { a,b,c } and a relation on set A is defined as S = { (a,b) (b,c) (a,c) (c,c) (a,a) (b,a)} which of the following is true ? a) R Is equivalence relation b) R is Irreflexive relation ( or ) Anti-symmetric c) R is Symmetric ( or ) ... but not (c,a). It's not asymmetric because it has a symmetric pair (a,b). False. (b,a), (a,b) present but not (b,b) Thank you.

asked Aug 10 in Mathematical Logic by DukeThunders (208 points) | 12 views

0 votes

2 answers

Self Doubt: Knight and Knave problem
Consider there are two tribes living on the Island: Knights and knaves. Knights always tell truth while Knaves always tells lie. Suppose we counter two random people A and B, upon asking a question to A', A says If B is Knight then I am a Knave . What we can ... B is Knave b.) A is Knave and B is Knave c.) Both A and B are Knight d.) Both A and B are Knave [closed]

answered Aug 6 in Mathematical Logic by Satbir (1k points) | 13 views

0 votes

1 answer

Preposition of discrete mathematics
How does no of tautology for a n variable is 1?

answered Aug 6 in Mathematical Logic by Satbir (1k points) | 5 views

0 votes

1 answer

Gate 2018 - First Order Logic
Consider the first-order logic sentence φ ≡ ∃s∃t∃u∀v∀w∀x∀y ψ(s,t, u, v, w, x, y) where ψ(s,t, u, v, w, x, y) is a quantifier-free first-order logic formula using only predicate symbols, and possibly equality, but no function ... of size equal to 7. Can anyone tell me the entire thing with an elaborate and proper explanation from the basic regarding this question.

answered Aug 5 in Mathematical Logic by user2525 (1.6k points) | 22 views

+1 vote

0 answers

SELF DOUBT: PROPOSITIONAL LOGIC
What is the significance of this relations between the quantifiers? It will be helpful if u can provide some questions related to the use of the same.

asked Aug 5 in Mathematical Logic by Hirak (1.3k points) | 14 views

0 votes

1 answer

Predicate logix
C(x, y) = Rabbit x is faster then Tortoise y Statement: There is a rabbit which is faster then all Tortoise Correct Answer: ∃(x) ∈ R ( ∀(y) ∈ T, C(x, y)) But why can’t below statement be true? ∀(y) ∈ R (∃(x) ∈ R, C(x, y))

answered Aug 4 in Mathematical Logic by Satbir (1k points) | 14 views

0 votes

1 answer

Discrete mathematics propostional logic
Obtain principal conjunctive normal form and principal disjunctive normal form of P v (~P -> (Q v (~Q -> R))). My answer is PDNF = P v Q v R and PCNF is dual of PDNF. Is it correct?

answered Aug 4 in Mathematical Logic by Satbir (1k points) | 8 views

0 votes

0 answers

Universal and existential quantifier
Generally, universal quantifier i.e. ∀ is followed by an implication in a sentence and existential quantifier is followed by an AND operation in a sentence. Can anyone give an example of a sentence where universal quantifier is followed by AND operator and existential quantifier is followed by an implication ?

asked Jul 30 in Mathematical Logic by user2525 (1.6k points) | 5 views

0 votes

1 answer

Propositional Logic and First order logic
Consider the following pairs of statements : Pair 1 : There exist a student who has not visited Dakota. Not all students have visited Dakota. Pair 2 : There does not exist a student who has visited Dakota. All students have not ... . Both Pair 1 statements and Pair 2 statements are equivalent. Nether Pair 1 statements nor Pair 2 statements are equivalent.

answered Jul 29 in Mathematical Logic by goxul (203 points) | 8 views

0 votes

0 answers

linear algebra
True or false, with reason if true and counterexample if false: (a) If A and B are identical except that b11 = 2a11, then det B = 2 det A. (b) The determinant is the product of the pivots. (c) If A is invertible and B is singular, then A + B is invertible. (d) If A is invertible and B is singular, then AB is singular. (e) The determinant of AB - BA is zero.

asked Jul 26 in Mathematical Logic by altamash (139 points) | 3 views

0 votes

1 answer

MADE EASY TEST 2020: Eng. Maths
→ __________________

answered Jul 20 in Mathematical Logic by Debargha Bhattacharj (1.3k points) | 16 views

+1 vote

1 answer

Propositional logic statement
What is the converse of the following assertion? I stay only if you go.

answered Jul 20 in Mathematical Logic by Lakshman Patel RJIT (127 points) | 11 views

+1 vote

1 answer

Propositional logic
Let $P$ and $Q$ be two propositions, $¬ (P ↔ Q)$ is equivalent to: $P ↔ ¬ Q $ $¬ P ↔ Q $ $¬ P ↔ ¬ Q $ $Q → P$

answered Jul 19 in Mathematical Logic by Lakshman Patel RJIT (127 points) | 12 views

0 votes

1 answer

MADE EASY TEST SERIES: LU DECOMPOSITION
Which of the following is LU decomposable?

answered Jul 18 in Mathematical Logic by Hirak (1.3k points) | 17 views

0 votes

1 answer

#predicate Logic
Is this relation could be true? if yes then how. $∃y∀x=∃x∀y$

answered Jul 18 in Mathematical Logic by Hirak (1.3k points) | 27 views

0 votes

0 answers

Let A=set of all +ve integers.Relation R is defined by aRb<->a-b is divisible by 4.The equivalence class of 3 is

asked Jul 8 in Mathematical Logic by nilanjandaw (102 points) | 3 views

0 votes

0 answers

Group theory
How to tackle such proofs Prove that a group of order 9 is abelian.

asked Jul 6 in Mathematical Logic by s_dr_13 (106 points) | 4 views

0 votes

0 answers

Discrete mathematics
Prove that a tree with more than 1vertex has atleast 2leaves

asked Jul 1 in Mathematical Logic by imravibh (104 points) | 5 views

0 votes

0 answers

Find the coefficient of x^7 in the expansion of (1+3x-2x^3)^10

asked Jul 1 in Mathematical Logic by imravibh (104 points) | 5 views

0 votes

0 answers

Kenneth Rosen Exercise 2 -Q-15
Each inhabitant of a remote village always tells the truth or always lies. A villager will give only a Yes or a No response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a fork in the road. One ... A villager is standing at the fork in the road. What one question can you ask the villager to determine which branch to take?

asked Jun 27 in Mathematical Logic by Masterk (110 points) | 7 views

0 votes

1 answer

Which of the following is the dual of ~(~p)$\equiv$p?

answered Jun 26 in Mathematical Logic by Debargha Bhattacharj (1.3k points) | 26 views

0 votes

0 answers

Calculus Estimating Errors
what is the solution ?

asked Jun 19 in Mathematical Logic by s_dr_13 (106 points) | 8 views

–1 vote

1 answer

ACE_TEST_Series
Does anyone has a good and fast method to solve these type of questions thanks for solving

answered Jun 16 in Mathematical Logic by Arkaprava (212 points) | 21 views

0 votes

0 answers

Gate material problem
In gate 2018,from first order logic.. Question was asked on model.. Which is not in kenneth h rosen. Please help with good materials for gate

asked Jun 16 in Mathematical Logic by ZERO0042 (102 points) | 19 views

0 votes

1 answer

Topic-Sets In Dms
Like an element belongs to a set.Can a set belong to a set? For example- B={1,2,A} where A={4,5}

answered Jun 15 in Mathematical Logic by Arkaprava (212 points) | 15 views

–2 votes

0 answers

Tifr Question
https://gateoverflow.in/97234/tifr2016-a-8 Let AA and BB be finite sets such that A⊆BA⊆B. Then, what is the value of the expression: ΣC:A⊆C⊆B(−1)∣C∖A∣,ΣC:A⊆C⊆B(−1)∣C∖A∣, Where C∖A={x∈C:x∉A}C∖A={x∈C:x∉A}? Always 0 Always 1 0 if A=BA=B and 1 otherwise 1 if A=BA=B and ... and C.So C must be {1,2} in this case. So C/A condition is false hence sumation is 1. But how to prove C/A true case?

asked Jun 15 in Mathematical Logic by kshitij (105 points) | 8 views

Help get things started by asking a question.

Recent questions and answers in Mathematical Logic

932 questions

596 answers

1,885 comments

81,474 users