The Gateway to Computer Science Excellence
+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.
in Mathematical Logic by Active (4.1k points) | 184 views

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.
by Veteran (63k points)
0
please specify the quantifiers also
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
50,737 questions
57,337 answers
198,448 comments
105,203 users