The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
Recent questions tagged clausalform
0
votes
0
answers
1
GATE198814ii
Consider the following wellformed formula: $\exists x \forall y [ \neg \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(x,y)]$ Show using resolution principle that the wellformed formula, given above, cannot be satisfied for any interpretation.
asked
Dec 20, 2016
in
Mathematical Logic
by
jothee
Veteran
(
105k
points)

180
views
gate1988
descriptive
firstorderlogic
clausalform
nongate
0
votes
1
answer
2
GATE198814i
Consider the following wellformed formula: $\exists x \forall y [ \neg \: \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(x,y)]$ Express the above wellformed formula in clausal form.
asked
Dec 20, 2016
in
Mathematical Logic
by
jothee
Veteran
(
105k
points)

171
views
gate1988
descriptive
firstorderlogic
clausalform
nongate
To see more, click for the
full list of questions
or
popular tags
.
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
Linear Algebra Important Points
GATE 2020
OFFICIAL GATE MOCK TEST RELEASED
IIITH: Winter Research Admissions 2019 (For Spring 2020)
TIFR and JEST exam
Follow @csegate
Recent questions tagged clausalform
Recent Blog Comments
Great work sir
Yes Sir, It will be very helpful if we get...
@arjun sir is there a pdf...
Really helpful sir Thanks a tonππ
Amazing work Sir
50,644
questions
56,531
answers
195,622
comments
101,346
users