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
predicate
+2
votes
184
views
B(x):x is a boy
C(x):x is a chocolates
E(x,y): x eats y.
"only boy eats chocolates". write this statement using predicate calculus.
asked
Aug 10, 2016
in
Mathematical Logic
by
Sanket_
Active
(
4.1k
points)

184
views
answer
comment
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
+2
votes
(C(x) and E(x,y))  >B(x)
means if x is chocolate and eaten by y then y is boy.
answered
Aug 10, 2016
by
Prashant.
Veteran
(
63k
points)
comment
0
please specify the quantifiers also
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
0
answers
1
predicate logic doubt
1) IS P → Q ≡ Q → P Satisfiable Or NOT?
asked
Jan 30, 2019
in
Mathematical Logic
by
srajkumar
(
5
points)

46
views
0
votes
0
answers
2
PREDICATE LOGIC TRANSLATION
asked
Sep 29, 2018
in
Mathematical Logic
by
Balaji Jegan
Active
(
5k
points)

25
views
0
votes
2
answers
3
PREDICATE LOGIC DOUBT 3
E(x) = x is Earthling A(x) = x is Alien What is the corresponding Well Formed Formula for "Nobody is Earthling unless somebody is Alien" ?
asked
Sep 28, 2018
in
Mathematical Logic
by
Balaji Jegan
Active
(
5k
points)

80
views
0
votes
1
answer
4
PREDICATE LOGIC DOUBT 2
Nothing is Earthling unless it is not Alien A(x) = x is Alien E(x) = x is Earthling Which of the following is correct? (∀x)(~A(x) > E(x)) (∀x)(E(x) > ~A(x)) (∀x)(~A(x) <> E(x))
asked
Sep 27, 2018
in
Mathematical Logic
by
Balaji Jegan
Active
(
5k
points)

38
views
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
ISRO CSE 2020 PAPER ANALYSE
BARC OCES/DGFS 2020
ISI CMI PDF by GATE Overflow
Calculus Important Points
Management Trainee Recruitment COAL INDIA 2020
All categories
General Aptitude
1.9k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
916
Graph Theory
824
Probability
1k
Linear Algebra
723
Calculus
592
Digital Logic
2.9k
Programming and DS
4.9k
Algorithms
4.4k
Theory of Computation
6.2k
Compiler Design
2.1k
Operating System
4.5k
Databases
4.1k
CO and Architecture
3.4k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.4k
Admissions
595
Exam Queries
573
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
Yes and few more questions also
nkg_master9 you challenged that dbms query...
@nsaisirisha Yes they will give marks only...
When will the results be declared based on...
For the questions with two answers as per the...
50,737
questions
57,337
answers
198,448
comments
105,203
users