Assuming D is the set of all dogs, H is the set of all homes, and BT(d,h) means that the dog d is in home h

Ciolan3u

Ciolan3u

Answered question

2022-09-07

Assuming D is the set of all dogs, H is the set of all homes, and BT(d,h) means that the dog d is in home h
Let's say I have a group of dogs and I want to say that every dog is in exactly one home. How would I represent that using predicate logic? So far I got, For all d in D, There exists a h in H, belongs to (d,H) AND....

Answer & Explanation

Yaritza Cardenas

Yaritza Cardenas

Beginner2022-09-08Added 20 answers

Step 1
1. d D     h H     s . t     ( d < h )     ( h H     ( ( h h ) ( d h ) )
where d < h is like saying BelongTo(d,h).
Step 2
2. d 1 , d 2 , d 3 D       ( ( d 1 d 2 d 3 d 1 ) ( h H     s . t     ( ( d 1 < h )     ( d 2 < h )   ( d 3 h ) ) )
Jaylen Mcmahon

Jaylen Mcmahon

Beginner2022-09-09Added 16 answers

Step 1
Let D be the set of dogs and H the set of homes. Also , let B ( d , h ) = BelongsTo(d,h).
1) d D h H : B ( d , h ) ( h H : B ( d , h ) h = h )
2) h H d 1 , d 2 D : d 1 d 2 B ( d 1 , h ) B ( d 2 , h ) ( d D : B ( d , h ) ( d = d 1 d = d 2 ) )

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?