Predicates - symbolisation Flashcards by JP Pep

Q

All Fs are Gs

A

∀x(Fx→Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Some Fs are Gs

A

∃x(Fx∧Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Not all Fs are Gs

A

¬∀x(Fx → Gx) or ∃x(Fx ∧ ¬Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

No Fs are Gs

A

∀x(Fx → ¬Gx) or ¬∃x(Fx ∧ Gx)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly