Login
Register
Dark Mode
Brightness
Ambient Glow – Questions list
Register
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged quantifiers
1
1 vote
0
0 answers
204
204 views
UGC NET CSE | August 2024 | Part 2 | Question: 36
Let $\mathrm{L}(x, y)$ be the statement "$x$ loves $y$" where the domain for both $x$ and $y$ consists of all people in the world. Use quantifiers to express "Joy is love...
Shubham Sharma 2
204
views
asked
Sep 9, 2025
Mathematical Logic
ugcnetcse-aug2024
first-order-logic
quantifiers
mathematical-logic
+
–
1
1 vote
1
1 answer
284
284 views
UGC NET CSE | December 2023 | Part 2 | Question: 56
The statement $\mathrm{P}(x)$: "$\mathrm{x}=\mathrm{x}^{2}$". If the universe of disclosure consists of integers, what are the following have truth values:$\mathrm{P}(0)$...
Shubham Sharma 2
284
views
asked
Sep 9, 2025
Mathematical Logic
ugcnetcse-dec2023
propositional-logic
quantifiers
logical-reasoning
set-theory
+
–
0
0 votes
1
answers
1 answer
260
260 views
Self Doubts
Compare the following:∀x∈Z, ∃y∈Z, x+y=0 and ∃y∈Z, ∀x∈Z, x+y=0 . Are both statements logically equivalent?
Utkarsh Dubey_1
260
views
asked
Apr 4, 2025
Unknown Category
discrete-mathematics
quantifiers
+
–
1
1 vote
0
0 answers
572
572 views
Quantifiers Mathematical LOGIC :Discrete Mathematics
for X/Y=1∀x∃y p(x,y)this is true or false ???
shivamSK
572
views
asked
Jun 14, 2024
Mathematical Logic
discrete-mathematics
mathematical-logic
quantifiers
two-marks
first-order-logic
+
–
0
0 votes
0
0 answers
1.2k
1.2k views
quantifiers to express each of these statements.
Let P(x) be the statement “x has a cell phone” and M(x,y) be the statement “x and y have texted over the cell phone,” where the domain for the variables x and y consists ...
hussain yasir
1.2k
views
asked
Jul 7, 2022
Mathematical Logic
quantifiers
mathematical-logic
first-order-logic
+
–
1
1 vote
2
2 answers
1.4k
1.4k views
NIELIT 2021 Dec Scientist A - Section B: 43
Let the predicates $D(x,y)$ mean “team $x$ defeated team $y$” and $P(x,y)$ mean “team $x$ has played team $y$”. The quantified formula for the statement that there is a t...
soujanyareddy13
1.4k
views
asked
Jan 9, 2022
Theory of Computation
nielit2021dec-scientista
first-order-logic
logical-reasoning
quantifiers
+
–
0
0 votes
0
0 answers
428
428 views
Subject Topic- Mathematical Logic
Manoj Kumar Pandey
428
views
asked
Mar 25, 2019
Mathematical Logic
quantifiers
discrete-mathematics
mathematical-logic
+
–
0
0 votes
0
0 answers
1.2k
1.2k views
geeksforgeeks
Let S(x) be the predicate "x is a student",T(x) be the predicate "x is a teacher"and Q(x,y) be the predicate "x has asked y a question" where the domain consists of all p...
Ashish Goyal
1.2k
views
asked
Jan 23, 2019
Mathematical Logic
propositional-logic
quantifiers
+
–
0
0 votes
0
0 answers
677
677 views
Kenneth Rosen Edition 6th Exercise 1.4 Question 9f (Page No. 59)
Q) There is somebody whom no one loves L(x,y) : x loves y.Doubt:-Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different...
kd.....
677
views
asked
Jan 10, 2019
Mathematical Logic
mathematical-logic
kenneth-rosen
discrete-mathematics
propositional-logic
quantifiers
+
–
0
0 votes
1
1 answer
675
675 views
Kenneth Rosen Edition 6th Exercise 1.3 Question 53 (Page No. 50)
kd.....
675
views
asked
Dec 16, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
quantifiers
+
–
0
0 votes
0
0 answers
606
606 views
Kenneth Rosen Edition 6th Exercise 1.4 Question 9 (Page No. 59)
Let L(x, y) be the statement “x loves y,” where the domainfor both x and y consists of all people in the world.Use quantifiers to express each of these statements.g) Ther...
Sandy Sharma
606
views
asked
Jul 25, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
quantifiers
mathematical-logic
+
–
1
1 vote
0
0 answers
1.2k
1.2k views
Kenneth Rosen Edition 6th Exercise 1.4 Question 7 e,f (Page No. 58)
Let T (x, y) mean that student x likes cuisine y, where thedomain for x consists of all students at your school andthe domain for y consists of all cuisines. Express each...
Sandy Sharma
1.2k
views
asked
Jul 24, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
quantifiers
+
–
1
1 vote
2
answers
2 answers
3.9k
3.9k views
UGC NET CSE | July 2018 | Part 2 | Question: 85
The equivalence of $\neg \exists x \; Q (x)$ is$\exists x \: \neg Q (x)$$\forall x \: \neg Q (x)$$\neg \exists \: x \;\neg Q (x)$$\forall x \: Q (x)$
Pooja Khatri
3.9k
views
asked
Jul 13, 2018
Mathematical Logic
ugcnetcse-july2018-paper2
discrete-mathematics
quantifiers
+
–
0
0 votes
1
1 answer
1.7k
1.7k views
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....
Sandy Sharma
1.7k
views
asked
Jul 6, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
quantifiers
+
–
0
0 votes
1
1 answer
2.6k
2.6k views
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 logge...
Sandy Sharma
2.6k
views
asked
Jul 6, 2018
Mathematical Logic
kenneth-rosen
mathematical-logic
discrete-mathematics
quantifiers
+
–
1
1 vote
2
2 answers
4.3k
4.3k views
Kenneth Rosen Edition 6th Exercise 1.4 Question 11f (Page No. 59)
Let S(x) be the predicate “x is a student,” F(x) the predicate“x is a faculty member,” and A(x, y) the predicate“x has asked y a question,” where the domain consists ofal...
Prince Sindhiya
4.3k
views
asked
Jul 2, 2018
Mathematical Logic
kenneth-rosen
discrete-mathematics
quantifiers
+
–
0
0 votes
1
1 answer
12.4k
12.4k views
Kenneth Rosen Edition 6th Exercise 1.3 Example 27 (Page No. 45)
Q)Consider these statements, of which the first three are and fourth is a valid conclusion."All hummingbirds are richly colored.""No large birds live on honey.""Birds tha...
Lakshman Bhaiya
12.4k
views
asked
Feb 18, 2018
Mathematical Logic
propositional-logic
kenneth-rosen
discrete-mathematics
quantifiers
+
–
1
1 vote
0
0 answers
587
587 views
Universal Quantifier (Basics)
Which one of the expression of universal quantifier is ambiguous?For allFor everyall offor eachfor anyfor arbitrary
Mk Utkarsh
587
views
asked
Feb 9, 2018
Mathematical Logic
mathematical-logic
quantifiers
+
–
1
1 vote
1
1 answer
1.7k
1.7k views
First Order Logic
A = ∃x (P(x) ^ Q(x)).B = ∃x P(x) ^ ∃x Q(x).Which is correct?a) A = Bb) B = Ac) A <= Bd) None of ThesePlease Explain.
nishant279
1.7k
views
asked
Oct 18, 2017
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
propositional-logic
quantifiers
+
–
0
0 votes
0
0 answers
716
716 views
First Order Logic
A = ∃x(P(x)^Q(x))B = ∃x P(x) ^ ∃x Q(x), which is correct?a) A <= Bb) A = Bc) B = Ad) None of ThesePlease Explain.
nishant279
716
views
asked
Oct 18, 2017
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
propositional-logic
quantifiers
+
–
0
0 votes
0
0 answers
1.3k
1.3k views
Rosen_Discrete_Mathematics_and_Its_Applications_7th_Edition/Pg.56/Section 1.4 :predicates and quantifiers/Q.43 and Q.44
43. Determine whether ∀x(P(x)→Q(x)) and ∀xP (x)→∀xQ(x) are logically equivalent. Justify your answer.44. Determine whether ∀x(P(x)↔Q(x)) and ∀ x P (x) ↔ ∀ xQ(x) are logic...
kmr_ndrsh
1.3k
views
asked
Aug 13, 2017
Mathematical Logic
discrete-mathematics
propositional-logic
quantifiers
+
–
1
1 vote
0
0 answers
1.3k
1.3k views
Kenneth Rosen Edition 6th Exercise 1.4 Question 35 (Page No. 61)
Find a common domain for the variables x, y, z,and w for which the statement $∀x∀y∀z∃w((w \neq x) ∧ (w \neq y) ∧ (w \neq z))$ is true and another common domainfor these...
Ali Jazib Mahmood
1.3k
views
asked
Jul 25, 2017
Mathematical Logic
discrete-mathematics
kenneth-rosen
domain
mathematical-logic
quantifiers
+
–
3
3 votes
1
1 answer
1.2k
1.2k views
Discrete Maths: First Order Logic - Question in my mind based on question from Kenneth Rosen
This is not a direct question from Rosen but a question that popped up in my head as I was solving problems from Rosen.1) ∀x∃y(x≠y → M(x,y))2) ∀x∃y(x≠y ∧ M(x,y))Here the ...
meghashyamc
1.2k
views
asked
Jul 12, 2017
Mathematical Logic
quantifiers
discrete-mathematics
mathematical-logic
propositional-logic
kenneth-rosen
+
–
0
0 votes
0
0 answers
1.2k
1.2k views
Kenneth Rosen Edition 6th Exercise 1.3 Question 41 c (Page No. 49)
Express using predicate,quantifies and connectives:-The diagnostic monitor tracks status of all systems except main console
rahul sharma 5
1.2k
views
asked
Jun 8, 2017
Mathematical Logic
kenneth-rosen
discrete-mathematics
propositional-logic
quantifiers
+
–
1
1 vote
1
answers
1 answer
492
492 views
Test by Bikram | Mathematics | Test 2 | Question: 17
$\forall \: x \: \exists \: y \: [ x + y = 2 \wedge 2x - y = 1 ]$. Truth value of this statement is :TFBoth T and FNeither T nor F
Bikram
492
views
asked
May 24, 2017
Mathematical Logic
tbb-mathematics-2
first-order-logic
quantifiers
system-of-equations
logical-reasoning
mathematical-logic
+
–
1
1 vote
1
answers
1 answer
730
730 views
Quantifiers
Anup patel
730
views
asked
Jan 2, 2017
Mathematical Logic
quantifiers
+
–
3
3 votes
2
answers
2 answers
1.8k
1.8k views
Logic
Everyone has exactly one best friendAre all three below same?Let B(x, y) to be the statement “y is the best friend of x"$ ∀x∃y(B(x, y) ∧ ∀z((z = y)→¬B(x, z))) $$ ∀x ∃!y (...
Shivam Chauhan
1.8k
views
asked
Oct 18, 2016
Mathematical Logic
quantifiers
+
–
4
4 votes
0
0 answers
1.6k
1.6k views
Multiplicative inverse
Every real number except zero has a multiplicative inverseAre both the statements same?$ ∀x((x != 0) → ∃y(xy = 1)) $$ ∀x ∃y ((x != 0) → (xy = 1)) $
Shivam Chauhan
1.6k
views
asked
Oct 18, 2016
Mathematical Logic
quantifiers
+
–
1
1 vote
1
1 answer
938
938 views
Kenneth Rosen Edition 6th Exercise 1.3 Example 17 (Page No. 38)
The restriction of a universal quantification is the same as the universal quantificationof a conditional statement. For instance, ∀x < 0 (x2 0) is another way of expres...
Navneet Srivastava
938
views
asked
Jul 1, 2016
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
quantifiers
+
–
To see more, click for the
full list of questions
or
popular tags
.