FOLIO icon indicating copy to clipboard operation
FOLIO copied to clipboard

Customers who prefer TV series more and will not watch TV series in cinemas.

Open JungeWerther opened this issue 1 year ago • 0 comments

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))

JungeWerther avatar Sep 02 '23 15:09 JungeWerther