Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Webpage for Mathematical Logic
Important Question Types:
Checking validity of First Order Logic Statements
Checking validity of Propositional Logic
Recent questions tagged mathematical-logic
0
votes
0
answers
271
kenneth h rosen chapter 1 section 1.5 excercise 1.5 question 18 e
Express each of these system specifications using predi- cates, quantifiers, and logical connectives, if necessary. e) No one knows the password of every user on the sys- tem except for the system administrator, who knows all passwords.
Express each of these system specifications using predi-cates, quantifiers, and logical connectives, if necessary. e) No one knows the password of every user on the sys-t...
ykrishnay
317
views
ykrishnay
asked
Apr 16, 2022
Mathematical Logic
discrete-mathematics
mathematical-logic
propositional-logic
engineering-mathematics
kenneth-rosen
+
–
0
votes
0
answers
272
kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise no 17, b
Express each of these system specifications using predi- cates, quantifiers, and logical connectives, if necessary. b)There is a process that continues to run during all error conditions only if the kernel is working correctly.
Express each of these system specifications using predi-cates, quantifiers, and logical connectives, if necessary.b)There is a process that continues to run during all er...
ykrishnay
190
views
ykrishnay
asked
Apr 16, 2022
Mathematical Logic
discrete-mathematics
mathematical-logic
propositional-logic
engineering-mathematics
kenneth-rosen
+
–
9
votes
1
answer
273
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1| Question: 10
Which of the following formulas is a formalization of the sentence : There is a barber who shaves all men in the town who do not shave themselves Where $\text{shave}(x,y)$ means $x\;\text{shaves}\; y$ ...
Which of the following formulas is a formalization of the sentence :“There is a barber who shaves all men in the town who do not shave themselves”Where $\text{shave}(...
GO Classes
400
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
moderate
2-marks
+
–
12
votes
1
answer
274
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1| Question: 12
We define a new quantifier, uniqueness quantifier, the symbol of which is $\exists!.$ For any predicate $\text{P}$ and universe $\text{U}, \exists! x \text{P}(x)$ ... I, II, IV I, III II, III, IV IV only
We define a new quantifier, uniqueness quantifier, the symbol of which is $\exists!.$For any predicate $\text{P}$ and universe $\text{U}, \exists! x \text{P}(x)$ means th...
GO Classes
553
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
difficult
2-marks
+
–
12
votes
2
answers
275
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 11
Translate the following sentences into First-order logic (FOL): If someone is noisy, everybody is annoyed. Use the following predicates : $\text{N}(x)\;:$ $x$ is noisy $\text{A}(x)\;:$ $x$ is annoyed Which of the ... $\forall x(\text{N}(x) \rightarrow \forall y(\text{A}(y)))$
Translate the following sentences into First-order logic (FOL): “ If someone is noisy, everybody is annoyed.”Use the following predicates :$\text{N}(x)\;:$ “$x$ is ...
GO Classes
648
views
GO Classes
asked
Apr 14, 2022
Discrete Mathematics
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
multiple-selects
difficult
2-marks
+
–
9
votes
2
answers
276
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 14
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$ We know that for a compound proposition over n propositional variables, we have $2^{n}$ rows in the truth table. Every row of the ... the sentence $(a \wedge b) \vee (b \wedge c)$ How many models are there for $\text{P}?$
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$We know that for a compound proposition over n propositional variables, we have $2^{...
GO Classes
554
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
numerical-answers
mathematical-logic
propositional-logic
moderate
2-marks
+
–
10
votes
2
answers
277
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 3
Which of the following is the negation of “there is a successful person who is grateful”? There is a successful person who is ungrateful. Every grateful person is unsuccessful. Every unsuccessful person is grateful. Every successful person is ungrateful.
Which of the following is the negation of “there is a successful person who is grateful”?There is a successful person who is ungrateful.Every grateful person is unsuc...
GO Classes
536
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
multiple-selects
moderate
1-mark
+
–
11
votes
1
answer
278
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 9
Many programming languages support a ternary conditional operator. For example, in $\text{C, C++},$ and $\text{Java}$, the expression $x ? y : z$ means evaluate the boolean expression $x.$ If it's true, the entire expression ... $p ? p : (\neg p)$ is tautology. $(\neg p) ? p : (\neg p)$ is tautology.
Many programming languages support a ternary conditional operator. For example, in $\text{C, C++},$ and $\text{Java}$, the expression $x ? y : z$ means “evaluate the bo...
GO Classes
405
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
propositional-logic
multiple-selects
moderate
2-marks
+
–
8
votes
1
answer
279
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 13
Consider the following predicates. $\text{Rabbit}(x) = x$ is a rabbit. $\text{Cute}(x) = x$ is cute. Consider the following statement $\text{E},$ where the domain of every variable is set of all animals in a ... no cute rabbit in jungle $\text{J}.$ There is some rabbit who is not cute in jungle $\text{J}.$
Consider the following predicates.$\text{Rabbit}(x) = x$ is a rabbit.$\text{Cute}(x) = x$ is cute.Consider the following statement $\text{E},$ where the domain of every v...
GO Classes
444
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
multiple-selects
moderate
2-marks
+
–
7
votes
2
answers
280
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 4
Consider the following predicates. $\text{Rabbit}(x) = x$ is a rabbit. $\text{Cute}(x) = x$ is cute. Consider the following statement $\text{E},$ ... $\text{J}.$
Consider the following predicates.$\text{Rabbit}(x) = x$ is a rabbit.$\text{Cute}(x) = x$ is cute.Consider the following statement $\text{E},$ where the domain of every v...
GO Classes
540
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
first-order-logic
multiple-selects
easy
1-mark
+
–
15
votes
1
answer
281
GO Classes CS Test Series 2025 | Discrete Mathematics | Topic Wise Test 1 | Question: 2
Consider the following proposition : $\text{A}_{n} = \underbrace{(p \rightarrow (q \rightarrow (p \rightarrow (q \rightarrow (\dots)))))}_{\text{number of p's + number of q's = n}}.$ Which of the following is false for ... $n > 2, \text{A}_{n}$ is Not contingency.
Consider the following proposition :$\text{A}_{n} = \underbrace{(p \rightarrow (q \rightarrow (p \rightarrow (q \rightarrow (\dots)))))}_{\text{number of p’s + number o...
GO Classes
787
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_2025_cs_dm_tw_1
goclasses
mathematical-logic
propositional-logic
easy
1-mark
+
–
3
votes
1
answer
282
GO Classes 2023 | Weekly Quiz 7 | Question: 1
Let $\text{M}(x)$ denote the predicate $x$ is a mobile ; $\text{B}(x)$ denote the predicate $x$ is black ; $\text{C}(x)$ denote the predicate $x$ has calculator . Suppose that the universe is set of all mobiles. Which of the following ... $: \forall x ( \text{M}(x) \wedge \text{C}(x) )$
Let$\text{M}(x)$ denote the predicate “$x$ is a mobile”;$\text{B}(x)$ denote the predicate “$x$ is black”;$\text{C}(x)$ denote the predicate “$x$ has calculator...
GO Classes
845
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_wq7
goclasses
mathematical-logic
first-order-logic
multiple-selects
1-mark
+
–
1
votes
1
answer
283
GO Classes 2023 | Weekly Quiz 7 | Question: 2
Let the universe be the set of all integers. Which of the following statements is/are true? (Where “$+$” is the integer addition) $\forall x \forall y \exists z (x+y = z)$ $\forall x \exists y \forall z (x+y = z)$ $\exists x \forall y \exists z (x+y = z)$ $\exists z \forall x \exists y (x+y = z)$
Let the universe be the set of all integers. Which of the following statements is/are true? (Where “$+$” is the integer addition)$\forall x \forall y \exists z (x+y =...
GO Classes
347
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_wq7
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
+
–
2
votes
2
answers
284
GO Classes 2023 | Weekly Quiz 7 | Question: 3
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$ We know that for $a$ compound proposition over $n$ propositional variables, we have $2^{n}$ ... is true for that row. Let $\text{P}$ be $a \leftrightarrow b$ How many models are there for $\text{P}?$
Let $\text{P}$ be a compound proposition over $4$ propositional variables $: a,b,c,d.$We know that for $a$ compound proposition over $n$ propositional variables, we have ...
GO Classes
375
views
GO Classes
asked
Apr 14, 2022
Mathematical Logic
goclasses_wq7
goclasses
numerical-answers
mathematical-logic
propositional-logic
2-marks
+
–
Page:
« prev
1
...
5
6
7
8
9
10
11
12
13
14
15
...
35
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register