Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Search results for discrete+mathematical-logic
66
votes
10
answers
1
GATE CSE 2019 | Question: 35
Consider the first order predicate formula $\varphi$: $\forall x [ ( \forall z \: z | x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w > x) \wedge (\forall z \: z | w \Rightarrow ((w=z) \vee (z=1)))]$ Here $a \mid b$ denotes ... of all integers Which of the above sets satisfy $\varphi$? $S_1$ and $S_2$ $S_1$ and $S_3$ $S_2$ and $S_3$ $S_1, S_2$ and $S_3$
Consider the first order predicate formula $\varphi$:$\forall x [ ( \forall z \: z | x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w x) \wedge (\forall z \:...
Arjun
19.9k
views
Arjun
asked
Feb 7, 2019
Mathematical Logic
gatecse-2019
engineering-mathematics
discrete-mathematics
mathematical-logic
first-order-logic
2-marks
+
–
1
votes
0
answers
2
Mathematical Logic: Which of the following is a logical consequence of $∀x(p(x)∨q(x))$
The following question is on the NPTEL archive of Assignment 2 of Discrete Mathematics Course,(Link : assessment id-15 (nptel.ac.in)) . I am not able to get how the answer is given option A but I am getting B, C and D. I have also attached my reasoning below. Let me know If I am missing something.
The following question is on the NPTEL archive of Assignment 2 of Discrete Mathematics Course,(Link : assessment id-15 (nptel.ac.in)) . I am not able to get howthe answe...
USharma02
204
views
USharma02
asked
Dec 24, 2023
Mathematical Logic
mathematical-logic
first-order-logic
discrete-mathematics
+
–
2
votes
3
answers
3
Kenneth Rosen Edition 6th Exercise 1.1 Question 23 (Page No. 18)
State the converse, contrapositive, and inverse of each of these conditional statements. If it snows today, I will ski tomorrow. I come to class whenever there is going to be a quiz. A positive integer is a prime only if it has no divisors other than 1 and itself.
State the converse, contrapositive, and inverse of each of these conditional statements.If it snows today, I will ski tomorrow.I come to class whenever there is going to ...
go_editor
11.1k
views
go_editor
asked
Apr 14, 2016
Mathematical Logic
mathematical-logic
kenneth-rosen
discrete-mathematics
+
–
1
votes
2
answers
4
Computer Science - UGC NET 2021 [ Question ID = 2351 ]
Which of the following are logically equivalent ? ¬p -> ( q -> r ) and q -> ( p v r ) ( p -> q ) -> r and p -> ( q -> r ) ( p -> q ) -> ( r -> s ) and ( p -> r) -> ( q -> s ) Choose the correct answer from the options given : i and ii only i and iii only i only ii and iii only
Which of the following are logically equivalent ?¬p - ( q - r ) and q - ( p v r )( p - q ) - r and p - ( q - r )( p - q ) - ( r - s ) and ( p - r) - ( q - s )Choose the ...
rajeshposts
622
views
rajeshposts
asked
Sep 14, 2023
Mathematical Logic
propositional-logic
discrete-mathematics
mathematical-logic
+
–
0
votes
1
answer
5
Computer Science - UGC NET 2021 [ Question ID = 2352 ]
Which of these statements about the floor and ceiling functions are correct ? Statement 1 : ⌊2x⌋ = ⌊x⌋ + ⌊x + (1/2)⌋ for all real numbers x. Statement 2 : ⌈x + y⌉ = ⌈x⌉ + ⌈y⌉ for all real numbers x and y. Both ... I and Statement II are false. Statement I is true but Statement II is false. Statement I is false but Statement II is true.
Which of these statements about the floor and ceiling functions are correct ? Statement 1 : ⌊2x⌋ = ⌊x⌋ + ⌊x + (1/2)⌋ for all real numbers x.Statement 2 : ⌈x...
rajeshposts
283
views
rajeshposts
asked
Sep 16, 2023
Mathematical Logic
discrete-mathematics
mathematical-logic
engineering-mathematics
+
–
0
votes
0
answers
6
Mathematical logic
suryansh rajput
265
views
suryansh rajput
asked
Oct 2, 2023
Mathematical Logic
mathematical-logic
discrete-mathematics
first-order-logic
+
–
0
votes
1
answer
7
# Discrete Mathematics
Simplify the above expression
Simplify the above expression
Debargha Mitra Roy
221
views
Debargha Mitra Roy
asked
Aug 30, 2023
Mathematical Logic
discrete-mathematics
engineering-mathematics
propositional-logic
mathematical-logic
+
–
0
votes
1
answer
8
University of Illinois Chicago UIC Math 215 Fall 2010, Test 1 Propositional Logic
Consider the following statement: If I get a perfect score on this test, then I am a genius. Decide which of the following is logically equivalent to the statement above. a) If I am a genius, then I will ... my getting a perfect score on this test. Source: http://homepages.math.uic.edu/~mubayi/215/fall10/test1sol.pdf
Consider the following statement:If I get a perfect score on this test, then I am a genius.Decide which of the following is logically equivalent to the statement above.a)...
Deepak Poonia
389
views
Deepak Poonia
asked
Aug 7, 2023
Mathematical Logic
mathematical-logic
propositional-logic
discrete-mathematics
+
–
0
votes
1
answer
9
Permutations
Çșȇ ʛấẗẻ
231
views
Çșȇ ʛấẗẻ
asked
Jul 28, 2023
Mathematical Logic
discrete-mathematics
combinatory
mathematical-logic
made-easy-test-series
+
–
1
votes
1
answer
10
Given a group G with a subgroups H and K, and the assumption that |H| = m, |K| = n, where gcd(m, n) = 1, what can we infer?
Given a group G with a subgroups H and K, and the assumption that |H| = m, |K| = n, where gcd(m, n) = 1, what can we infer?a. H ∩ K = {e}, the identity elementb. H ∪ ...
dhruba
385
views
dhruba
asked
Jun 5, 2023
Mathematical Logic
mathematical-logic
discrete-mathematics
+
–
0
votes
1
answer
11
Doubt on First Order Logic
Can anyone explain this how this implication is valid with an example ∃x (Px ⊕ Qx) <-- ∃xPx ⊕ ∃xQx
Can anyone explain this how this implication is valid with an example∃x (Px ⊕ Qx) < ∃xPx ⊕ ∃xQx
Rahhul A
258
views
Rahhul A
asked
Jul 14, 2023
Others
first-order-logic
discrete-mathematics
mathematical-logic
goclasses
+
–
0
votes
1
answer
12
#Discrete
Çșȇ ʛấẗẻ
212
views
Çșȇ ʛấẗẻ
asked
Jun 24, 2023
Mathematical Logic
discrete-mathematics
kenneth-rosen
propositional-logic
mathematical-logic
+
–
1
votes
3
answers
13
UGC NET CSE | October 2020 | Part 2 | Question: 3
Which of the following pairs of propositions are not logically equivalent? $((p \rightarrow r) \wedge (q \rightarrow r))$ and $((p \vee q) \rightarrow r)$ $p \leftrightarrow q$ and $(\neg p \leftrightarrow \neg q)$ ... and $p \leftrightarrow q$ $((p \wedge q) \rightarrow r)$ and $((p \rightarrow r) \wedge (q \rightarrow r))$
Which of the following pairs of propositions are not logically equivalent?$((p \rightarrow r) \wedge (q \rightarrow r))$ and $((p \vee q) \rightarrow r)$$p \leftrightarro...
go_editor
2.3k
views
go_editor
asked
Nov 20, 2020
Discrete Mathematics
ugcnetcse-oct2020-paper2
discrete-mathematics
mathematical-logic
+
–
28
votes
2
answers
14
GATE IT 2004 | Question: 3
Let $a(x, y), b(x, y,)$ and $c(x, y)$ be three statements with variables $x$ and $y$ chosen from some universe. Consider the following statement: $\qquad(\exists x)(\forall y)[(a(x, y) \wedge b(x, y)) \wedge \neg c(x, y)]$ ... $\neg (\forall x)(\exists y)[(a(x, y) \vee b(x, y)) \to c(x, y)]$
Let $a(x, y), b(x, y,)$ and $c(x, y)$ be three statements with variables $x$ and $y$ chosen from some universe. Consider the following statement:$\qquad(\exists x)(\foral...
Ishrat Jahan
6.2k
views
Ishrat Jahan
asked
Nov 1, 2014
Mathematical Logic
gateit-2004
mathematical-logic
normal
discrete-mathematics
first-order-logic
+
–
1
votes
4
answers
15
Kenneth Rosen Edition 7 Exercise 1.2 Question 34 (Page No. 24)
Five friends have access to a chat room. Is it possible to determine who is chatting if the following information is known? Either Kevin or Heather, or both, are chatting. Either Randy or Vijay, but not both, are chatting ... either both chatting or neither is. If Heather is chatting, then so are Abby and Kevin. Explain your reasoning.
Five friends have access to a chat room. Is it possible to determine who is chatting if the following information is known? Either Kevin or Heather, or both, are chatting...
Pooja Khatri
8.5k
views
Pooja Khatri
asked
Mar 15, 2019
Mathematical Logic
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
+
–
1
votes
1
answer
16
#discrete mathematics #1st order logic
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
veer2000
216
views
veer2000
asked
May 6, 2023
Mathematical Logic
first-order-logic
mathematical-logic
discrete-mathematics
+
–
0
votes
1
answer
17
Proposition Logic doubt
Given: (p$ \vee$ q) is True. Find the truth value of statements, 1. p is false or q is true. (Can't determine) 2. If p is false then q is true. (True) is my answer correct?????
Given: (p$ \vee$ q) is True. Find the truth value of statements, 1. p is false or q is true. (Can't determine) 2. If p is false then q is true. (True) is my answer correc...
pavan singh
659
views
pavan singh
asked
May 7, 2023
Mathematical Logic
discrete-mathematics
propositional-logic
mathematical-logic
+
–
1
votes
3
answers
18
Discrete Mathematics | Predicate Logic
Which of the following conclusion can be drawn from the following premises $\left ( 1 \right )\sim P\vee Q\rightarrow R$ $\left ( 2 \right )S\vee \sim Q$ $\left ( 3 \right )\sim T$ $\left ( 4 \right )P\rightarrow T$ $\left ( 5 \right )\sim P\wedge R\rightarrow \sim S$ $C1: P$ $C2: \sim Q$ $C3: Q\wedge R$ C1 only C2 only C2 & C3 only C1 & C2 only
Which of the following conclusion can be drawn from the following premises$\left ( 1 \right )\sim P\vee Q\rightarrow R$$\left ( 2 \right )S\vee \sim Q$$\left ( 3 \right )...
Jay Patel 009
473
views
Jay Patel 009
asked
Apr 18, 2023
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
+
–
0
votes
1
answer
19
Discrete Math and its applications by Kenneth Rosen 7th edition Section 6:Counting
Can this question be explained in detail as i have trouble understanding it? "How many 4-permutations of the positive integers not exceeding 100 contain three consecutive integers k, k + 1, k + 2, in the ... the solution manual says we have to account for double counting but I don't understand how? Why 97?
Can this question be explained in detail as i have trouble understanding it? "How many 4-permutations of the positive integers not exceeding 100 contain three consecutive...
discretemather1
471
views
discretemather1
asked
Apr 2, 2023
Compiler Design
discrete-mathematics
combinatory
inclusion-exclusion
mathematical-logic
first-order-logic
+
–
0
votes
1
answer
20
Discrete-mathematics | Mathematical-logic
Which of the following predicate is/are valid? S1: $\forall x(A(x)\Leftrightarrow B(x))\Rightarrow \exists x(A(x)\Rightarrow B(x))$ S2: $\exists x(A(x)\vee B(x))\Leftrightarrow (\exists xA(x)\vee\exists xB(x))$ A. only S1 B. only S2 C. Both D. None
Which of the following predicate is/are valid? S1: $\forall x(A(x)\Leftrightarrow B(x))\Rightarrow \exists x(A(x)\Rightarrow B(x))$ S2: $\exists x(A(x)\vee B(x))\Le...
Jay Patel 009
354
views
Jay Patel 009
asked
Mar 31, 2023
Mathematical Logic
discrete-mathematics
mathematical-logic
first-order-logic
virtual-gate-test-series
+
–
Page:
1
2
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register