Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged first-order-logic
0
votes
1
answer
1
FIRST & FOLLOR
S -> A B A -> f S f A -> b b B d B -> Ɛ B -> c First(S) = First(A) = First(B) = Follow(S) = Follow(A) = Follow(B) =
S - A BA - f S fA - b b B dB - ƐB - cFirst(S) =First(A) =First(B) =Follow(S) =Follow(A) =Follow(B) =
Ana_101
43
views
Ana_101
asked
5 days
ago
Compiler Design
first-and-follow
compiler-design
parsing
first-order-logic
descriptive
+
–
0
votes
0
answers
2
Memory Based GATE DA 2024 | Question: 57
First-order logic question: All balls are round except rugby balls.
First-order logic question: All balls are round except rugby balls.
GO Classes
113
views
GO Classes
asked
Feb 4
Mathematical Logic
gate2024-da-memory-based
goclasses
mathematical-logic
first-order-logic
+
–
10
votes
1
answer
3
GO Classes Test Series 2024 | Mock GATE | Test 12 | Question: 45
Below is a drawing(graph representation) of a binary relation $\text{R}$ over a set $\text{P}$ of elements $\{ \text{A, B, C, D, E, F}\}:$ Which of the following first-order logic statements about $\mathrm{R}$ ... $\forall x \in P . \exists y \in P . x R y$
Below is a drawing(graph representation) of a binary relation $\text{R}$ over a set $\text{P}$ of elements $\{ \text{A, B, C, D, E, F}\}:$Which of the following first-ord...
GO Classes
644
views
GO Classes
asked
Jan 21
Mathematical Logic
goclasses2024-mockgate-12
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
+
–
1
votes
0
answers
4
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
243
views
USharma02
asked
Dec 24, 2023
Mathematical Logic
mathematical-logic
first-order-logic
discrete-mathematics
+
–
0
votes
1
answer
5
Made Easy Test Series 2024
anyone explain why option B is wrong?
anyone explain why option B is wrong?
Ray Tomlinson
350
views
Ray Tomlinson
asked
Nov 29, 2023
Mathematical Logic
made-easy-test-series
first-order-logic
discrete-mathematics
made-easy-test-series-2024
+
–
0
votes
0
answers
6
Mathematical logic
suryansh rajput
280
views
suryansh rajput
asked
Oct 2, 2023
Mathematical Logic
mathematical-logic
discrete-mathematics
first-order-logic
+
–
0
votes
1
answer
7
FOL
How do you convert the FOL to English phrases? It seems sometimes so difficult. Can you mention some video link or some article where I can get my concept clear on this?
How do you convert the FOL to English phrases? It seems sometimes so difficult. Can you mention some video link or some article where I can get my concept clear on this?
amitarp818
261
views
amitarp818
asked
Aug 18, 2023
Mathematical Logic
first-order-logic
free-videos
+
–
0
votes
1
answer
8
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
272
views
Rahhul A
asked
Jul 14, 2023
Others
first-order-logic
discrete-mathematics
mathematical-logic
goclasses
+
–
1
votes
1
answer
9
#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
237
views
veer2000
asked
May 6, 2023
Mathematical Logic
first-order-logic
mathematical-logic
discrete-mathematics
+
–
Page:
1
2
3
4
5
6
...
10
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register