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
0
answers
1
Memory Based GATE DA 2024 | Question: 57
First-order logic question: All balls are round except rugby balls.
GO Classes
asked
in
Mathematical Logic
Feb 4
by
GO Classes
91
views
gate2024-da-memory-based
goclasses
mathematical-logic
first-order-logic
10
votes
1
answer
2
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$
GO Classes
asked
in
Mathematical Logic
Jan 21
by
GO Classes
560
views
goclasses2024-mockgate-12
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
1
vote
0
answers
3
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.
USharma02
asked
in
Mathematical Logic
Dec 24, 2023
by
USharma02
195
views
mathematical-logic
first-order-logic
discrete-mathematics
0
votes
1
answer
4
Made Easy Test Series 2024
anyone explain why option B is wrong?
Ray Tomlinson
asked
in
Mathematical Logic
Nov 29, 2023
by
Ray Tomlinson
315
views
made-easy-test-series
first-order-logic
discrete-mathematics
made-easy-test-series-2024
0
votes
0
answers
5
Mathematical logic
suryansh rajput
asked
in
Mathematical Logic
Oct 2, 2023
by
suryansh rajput
260
views
mathematical-logic
discrete-mathematics
first-order-logic
0
votes
1
answer
6
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?
amitarp818
asked
in
Mathematical Logic
Aug 18, 2023
by
amitarp818
249
views
first-order-logic
free-videos
0
votes
1
answer
7
Doubt on First Order Logic
Can anyone explain this how this implication is valid with an example ∃x (Px ⊕ Qx) <-- ∃xPx ⊕ ∃xQx
Rahhul A
asked
in
Others
Jul 14, 2023
by
Rahhul A
252
views
first-order-logic
discrete-mathematics
mathematical-logic
goclasses
0
votes
1
answer
8
#discrete mathematics #1st order logic
Prove or disprove (a) ∃x(P(x) ↔ Q(x)) → ¬∀xQ(x) ∨ ∃xP(x).
veer2000
asked
in
Mathematical Logic
May 6, 2023
by
veer2000
211
views
first-order-logic
mathematical-logic
discrete-mathematics
Page:
1
2
3
4
5
6
...
10
next »
Subscribe to GATE CSE 2024 Test Series
Subscribe to GO Classes for GATE CSE 2024
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
Post GATE 2024 Guidance [Counseling tips and resources]
GATE CSE 2024 Result Responses
[Project Contest] Pytorch backend support for MLCommons Cpp Inference implementation
Participating in MLCommons Inference v4.0 submission (deadline is February 23 12pm IST)
IIITH PGEE 2024 Test Series by GO Classes
Subjects
All categories
General Aptitude
(3.5k)
Engineering Mathematics
(10.4k)
Digital Logic
(3.6k)
Programming and DS
(6.2k)
Algorithms
(4.8k)
Theory of Computation
(6.9k)
Compiler Design
(2.5k)
Operating System
(5.2k)
Databases
(4.8k)
CO and Architecture
(4.0k)
Computer Networks
(4.9k)
Artificial Intelligence
(79)
Machine Learning
(48)
Data Mining and Warehousing
(25)
Non GATE
(1.4k)
Others
(2.7k)
Admissions
(684)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
244k
comments
80.0k
users
Recent questions tagged first-order-logic
Recent Blog Comments
category ?
Hi @Arjun sir, I have obtained a score of 591 in ...
download here
Can you please tell about IIT-H mtech CSE self...
Please add your admission queries here:...