closed by
468 views
0 votes
0 votes
closed as a duplicate of: Logic

Minesweeper is a single-player computer game invented by Robert Donner in 1989.

  1. A unary predicate mine, where mine(x) means that the cell x contains a mine



  2. Which of the following statements is the correct interpretation of the above formula?

    A. There are exactly n mines in the game

    B. There are at least n mines in the game

    C. There are at most n mines in the game

    D. None of the above

closed by

Related questions

1 votes
1 votes
1 answer
3
Siva Tarun asked Jun 7, 2017
837 views
Hi Can anyone please explain this statementsS1: ∀x ∃y ∀z [ x+ y = z]S2: ∃x ∀y ∃z [x + y = z]Where x, y, z are real numbers. Which of the following statement i...