Yale-LILY / FOLIO

Creative Commons Attribution Share Alike 4.0 International
111 stars 9 forks source link

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

Open JungeWerther opened 1 year ago

JungeWerther commented 1 year ago

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