@

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

#Gate2003
[closed]

Syedarshadali asked in Mathematical Logic Jun 29, 2017 closed Jun 29, 2017 by Arjun

983 views

4 votes

4 votes

closed as a duplicate of: GATE CSE 2003 | Question: 71

Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P?

Can anyone explain how it can be solved ?

discrete-mathematics
first-order-logic
gatecse-2003

Syedarshadali asked in Mathematical Logic Jun 29, 2017 closed Jun 29, 2017 by Arjun

by Syedarshadali

983 views

0 Comments

Please log in or register to add a comment.

0 Answers

← Previous Next →

← Previous in category Next in category →

Related questions

113 votes

113 votes

6 answers

1

Kathleen asked in Mathematical Logic Sep 16, 2014

15,723 views

GATE CSE 2003 | Question: 33
Consider the following formula and its two interpretations \(I_1\) and \(I_2\). \(\alpha: (\forall x)\left[P_x \Leftrightarrow (\forall y)\left[Q_{xy} \Leftrightarrow \neg Q_{yy} \right]\right] \Rightarrow (\forall x)\left[\neg P_x\right]\) \(I_1\) : Domain: ... I_1\) does not Neither \(I_1\) nor \(I_2\) satisfies \(\alpha\) Both \(I_1\) and \(I_2\) satisfies \(\alpha\)

Kathleen asked in Mathematical Logic Sep 16, 2014

15.7k views

gatecse-2003
mathematical-logic
difficult
first-order-logic

59 votes

59 votes

7 answers

2

Kathleen asked in Mathematical Logic Sep 16, 2014

16,767 views

GATE CSE 2003 | Question: 32
Which of the following is a valid first order formula? (Here \(\alpha\) and \(\beta\) are first order formulae with $x$ as their only free variable) $((∀x)[α] ⇒ (∀x)[β]) ⇒ (∀x)[α ⇒ β]$ $(∀x)[α] ⇒ (∃x)[α ∧ β]$ $((∀x)[α ∨ β] ⇒ (∃x)[α]) ⇒ (∀x)[α]$ $(∀x)[α ⇒ β] ⇒ (((∀x)[α]) ⇒ (∀x)[β])$

Kathleen asked in Mathematical Logic Sep 16, 2014

16.8k views

gatecse-2003
mathematical-logic
first-order-logic
normal

1 vote

1 vote

0 answers

3

USharma02 asked in Mathematical Logic Dec 24, 2023

216 views

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

216 views

mathematical-logic
first-order-logic
discrete-mathematics

0 votes

0 votes

1 answer

4

Ray Tomlinson asked in Mathematical Logic Nov 29, 2023

341 views

Made Easy Test Series 2024
anyone explain why option B is wrong?

Ray Tomlinson asked in Mathematical Logic Nov 29, 2023

by Ray Tomlinson

341 views

made-easy-test-series
first-order-logic
discrete-mathematics
made-easy-test-series-2024

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)
- Discrete Mathematics (7.1k)
  - Mathematical Logic (2.5k)
  - Set Theory & Algebra (1.9k)
  - Combinatory (1.6k)
  - Graph Theory (1.1k)
- Probability (1.4k)
- Linear Algebra (1.1k)
- Calculus (792)
- Optimization (0)
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 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:...

Send feedback
Rank Predictor
College Prediction
Useful Links
FAQ
Corrections
Discuss
Copyright
Request
Testimonials
Chat Logs
Chat
Badges
Search tips
Exam Category
Blog Category
Blog Tags
Privacy
Test Series
GATER
Refund Policy
Terms and Conditions
Contact Us

Developed by Chun

Twitter WhatsApp Facebook Reddit LinkedIn Email

Link Copied!