in Mathematical Logic
130 views
2 votes
2 votes
In first-order logic, how would you express that "something likes something"?
  1. $\exists x \exists y \operatorname{Likes}(x, y)$
  2. $\exists x \forall y \operatorname{Likes}(x, \mathrm{y})$
  3. $\forall x \exists y \text{Likes}(x, y)$
  4. $\forall x \forall y \operatorname{Likes}(x, \mathrm{y})$
in Mathematical Logic
130 views

1 Answer

1 vote
1 vote
In English:
  1. something likes something,
  2. something likes everything,
  3. everything likes something,
  4. everything likes everything.
Answer:

Related questions

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