Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Recent questions tagged first-order-logic
0
votes
1
answer
1
problem from Kenneth Rosen's Discrete Mathematics and its Applications, Section 1.5 - 1.7
Please solve the question. Question: Express each of these system specifications using predicates, quantifiers, and logical connectives. a. Any user with a Gmail account can access services from any Google products. b. ... power failure. d. There is a node whose adjacent nodes are not connected to each other.
Akif
asked
in
Unknown Category
Nov 27
by
Akif
98
views
discrete-mathematics
mathematical-logic
first-order-logic
0
votes
2
answers
2
GATE 2008 | Question 21
I have been trying to solve the question GATE CSE 2008 Question. Are the following two representations logically equivalent ? $\beta \rightarrow (\exists x, \alpha (x))$ $\exists x, \beta \rightarrow \alpha (x)$
ParthPratim
asked
in
Mathematical Logic
Nov 3
by
ParthPratim
94
views
gatecse-2008
mathematical-logic
first-order-logic
normal
0
votes
2
answers
3
Let 𝐼(𝑥)be the statement “𝑥has an Internet connection” and 𝐶(𝑥,𝑦)be the statement “𝑥and𝑦have chatted over the Internet,” where the domain for the variables 𝑥and 𝑦consists of all students in your class. Use quantifiers to express the followingstatement:“Everyone in your class with an Internet connection has chatted over the Internet with at least one other student in your class.
VASEEMUN
asked
in
Mathematical Logic
Oct 29
by
VASEEMUN
73
views
discrete-mathematics
first-order-logic
0
votes
0
answers
4
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 of all students in your class. Use quantifiers to ... other student in your class. c) Someone in your class has a cell phone but has not texted with anyone else in your class.
hussain yasir
asked
in
Mathematical Logic
Jul 7
by
hussain yasir
240
views
quantifiers
mathematical-logic
first-order-logic
3
votes
1
answer
5
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 2
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
319
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
1-mark
2
votes
1
answer
6
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 3
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
237
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
1-mark
2
votes
1
answer
7
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 8
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
204
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
2-marks
3
votes
1
answer
8
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 9
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
180
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
1
answer
9
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 10
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
161
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
1
answer
10
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 11
GO Classes
asked
in
Mathematical Logic
May 12
by
GO Classes
166
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
1
answer
11
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) )$
GO Classes
asked
in
Mathematical Logic
Apr 14
by
GO Classes
425
views
goclasses_wq7
goclasses
mathematical-logic
first-order-logic
multiple-selects
1-mark
1
vote
1
answer
12
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)$
GO Classes
asked
in
Mathematical Logic
Apr 14
by
GO Classes
200
views
goclasses_wq7
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
2
answers
13
GO Classes 2023 | Weekly Quiz 7 | Question: 4
Consider the following statement $\text{S}$ in an universe $\text{U}.$ $\text{S} : \forall x \forall y (x = y)$ What is the maximum cardinality of $\text{U}$ such that $\text{S}$ is true?
GO Classes
asked
in
Mathematical Logic
Apr 14
by
GO Classes
195
views
goclasses_wq7
goclasses
numerical-answers
mathematical-logic
first-order-logic
1-mark
1
vote
1
answer
14
GO Classes 2023 | Weekly Quiz 7 | Question: 8
Consider the formula $\exists x \exists y \exists z(\text{R}(x, y) \wedge \text{R}(z, y) \wedge \text{R}(x, z) \wedge \neg \text{R}(z, x)).$ For which of the following interpretations, is this formula true? $(\text{N}$ ... $\text{R}(x,y) : y = x0 \;\text{or}\; y = x1.$
GO Classes
asked
in
Mathematical Logic
Apr 14
by
GO Classes
157
views
goclasses_wq7
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
Page:
1
2
3
4
5
6
7
next »
Subscribe to GATE CSE 2023 Test Series
Subscribe to GO Classes for GATE CSE 2023
Quick search syntax
tags
tag:apple
author
user:martin
title
title:apple
content
content:apple
exclude
-tag:apple
force match
+apple
views
views:100
score
score:10
answers
answers:2
is accepted
isaccepted:true
is closed
isclosed:true
Recent Posts
Life happens, just chill and do hardwork
ISRO RECRUITMENT FOR SCIENTIST B THROUGH GATE
POWER GRID CORPORATION OF INDIA LIMITED
INSTITUTE OF BANKING PERSONNEL SELECTION
GATE Overflow books for TIFR, ISRO, UGCNET and NIELIT
Subjects
All categories
General Aptitude
(2.4k)
Engineering Mathematics
(9.1k)
Digital Logic
(3.2k)
Programming and DS
(5.8k)
Algorithms
(4.5k)
Theory of Computation
(6.6k)
Compiler Design
(2.3k)
Operating System
(4.9k)
Databases
(4.5k)
CO and Architecture
(3.7k)
Computer Networks
(4.5k)
Non GATE
(1.3k)
Others
(2.4k)
Admissions
(648)
Exam Queries
(841)
Tier 1 Placement Questions
(17)
Job Queries
(74)
Projects
(9)
Unknown Category
(854)
Recent questions tagged first-order-logic
Recent Blog Comments
please add GO Classes 2023 Computer Networks...
Please upload 4th Mock Test, due date was 4th Dec.
The counts of answered, marked etc in the exam...
Tests have been sent and all tests will be...
Maximum age limit changed from 35 yrs. to 28...