Model 2

This is a harder version of model 1 logicise. The main difference is that here you are more likely to see negated predicate and quantifiers. Also, you are more likely fully quantified sentences and often quantifiers are mixed. Press 'Confirm' to begin.

Leaderboard