Identity - symbolisation Flashcards by JP Pep | Brainscape

Q

Only c is G

A

∀x(Gx ↔ x=c)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Everything besides c is G

A

∀x(¬x=c→Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

The F is G

A

∃x(Fx∧∀y(Fy→x=y)∧Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

It is not the case that the F is G

A

¬∃x(Fx∧∀y(Fy→x=y)∧Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

The F is non-G

A

∃x(Fx∧∀y(Fy → x = y)∧¬Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly