mssl Flashcards

1
Q

P ∨ Q:

A

P or Q. (Both P and Q might be true.)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q
Both P and Q.
 P when Q.
 P but Q.
 P although Q.
 P in addition to Q.
 P and moreover, Q.
A

P ∧ Q:

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

¬(P ∨ Q):

A

Neither P nor Q.

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

¬P ∨ ¬Q:

A

It is not the case that P or it is not the case that Q. (One or the other or both P and Q
could be false.)

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

¬(P ∧ Q)

A

It is not the case that both P and Q.(Only one the disjuncts could be true, or neither
could be true; one or the other or both P and Q could be false.)

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

¬P ∧ ¬Q:

A

It is not the case that P and it is not the case that Q. (This is equivalent to Neither P
nor Q.)

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

(P ∨ Q) ∧ ¬(P ∧ Q):

A

Either P or Q, but not both P and Q. (Only one or the other is true.)

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

If P, then Q.
P only if Q.
Q, if P.
Q, provided that P

A

P → Q:

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

P ↔ Q:

A
If P, then Q, and if Q, then P.
P only if Q and Q only if P.
Q if and only if (iff) P.
P if and only if (iff) Q.
P just in case Q.
Q just in case P.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

De morgan –(p∧q)

A

(–P v –Q)

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

De morgan –(P v Q)

A

(–P∧–Q)

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

Tautologically equivalent

A

if both the main connective columns are identical

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

Tautology

A

Only T’s under the main connective

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

TT possible

A

one row in the sentence comes out all true

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