Observations About Quantifiers Flashcards

1
Q

Æx p(x) => Ęx p(x)

A

Yes!

Only for non-empty Universe of Discourse

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Ęx p(x) => Æx p(x)

A

No!

Does not logically imply

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Ęx ( r(x) ^ s(x) ) = (Ęx r(x) ^ Ęx s(x) )

A

No!

Not logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Ęx ( r(x) ^ s(x) ) => (Ęx r(x) ^ Ęx s(x) )

A

Yes!

It does logically imply

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Æx p(x) = Ęx p(x)

A

No!

Not logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Ęx ( p(x) v q(x) ) = ( Ęx p(x) v Ęx q(x) )

A

Yes!

It is logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Æx ( p(x) ^ q(x) ) = (Æx p(x) ^ Æx q(x) )

A

Yes!

It is logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Æx p(x) v Æx q(x) = Æx ( p(x) v q(x) )

A

No!

Not logically equivalent.

However, Æx p(x) v Æx q(x) => Æx ( p(x) v q(x) ). Just not the other way around.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Æx Æy p(x, y) = Æy Æx p(x, y)

A

Yes!

It is logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Ęx Ęy p(x, y) = Ęy Ęx p(x, y)

A

Yes!

It is logically equivalent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Æx Ęy p(x, y) = Ęy Æx p(x, y)

A

No!

Not logically equivalent.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

(Ęx r(x) ^ Ęx s(x) ) => Ęx ( r(x) ^ s(x) )

A

No!

It does not logically imply

How well did you know this?
1
Not at all
2
3
4
5
Perfectly