Given the data below, who will be receiving what gift?
1. Mr. Frantz will not get the socks unless Mr. Pleacher gets the tie.
2. Mr. Frantz will not get the vest unless Mr. Vogel gets the socks.
3. Mr. Frantz will not get the tie unless Mr. Pleacher gets the vest.
4. Mr. Vogel will not get the socks unless Mr. Frantz gets the tie.
5. Mr. Pleacher will not get the vest unless Mr. Vogel gets the tie.
Fs -> Pt
Fv -> Vs
Ft -> Pv -> Vt; therefore ~Ft
Vs -> Ft therefore ~Vs and ~Fv; therefore Fs and Pt; therefore Vv
Pv -> Vt (repeated above as part of a chain of inferences)
In English: Mr. Frantz gets the socks; Mr. Pleacher gets the tie; Mr. Vogel gets the vest.
Edited on July 29, 2019, 10:53 am
|
Posted by Charlie
on 2019-07-29 10:50:08 |