Section G Flashcards by JP Pep | Brainscape

Q

Uniqueness - ‘the vegetarian’

A

∃x(V x ∧ ∀y(Vy → x = y)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Uniqueness - At least two spies

A

∃x∃y(Sx ∧ Sy ∧ ¬x=y)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Uniqueness - At most one spy

A

∀x∀y((Sx ∧ Sy) → x = y)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly