FOLIO
FOLIO copied to clipboard
Customers who prefer TV series more and will not watch TV series in cinemas.
number 107 of all propositions 'Customers who prefer TV series more and
will not watch TV series in cinemas.' is mislabeled. Should be 'Customers who prefer TV series more will not watch TV series in cinemas.' if premises-FOL is
∀x (PreferTVSeries(x) → ¬WatchTVInCinema(x))