Logic Flashcards

1
Q

What does this symbol mean?

A

____________ if and only if _________.

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

How do you complete the truth table for “equivalence”?

A

T if both are the same.

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

How do you complete the truth table for “implies”?

A

Always true, except T -> F.

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

How do you complete the truth table for “only or”?

A

True if either p or q are true (but not both).

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

How do you complete the truth table for “or”?

A

True if either p or q (or both) are true.

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

How do you complete the truth table for “and”?

A

True if BOTH p and q are true.

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

What does this symbol mean?

A

or

(but NOT both).

Example: You are in highschool or university?

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

What does this symbol mean?

A

or

(but also possibly both).

Example: Do you have brothers or sisters?

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

What does this symbol mean?

A

not

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

What does this symbol mean?

A

and

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

What is a contradiction?

A

A statement that is always false.

(Irrespective of the truth of the original statements.)

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

What is the

CONTRAPOSITIVE

of the statement

A

If not q , then not p .

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

What is the

CONVERSE

of the statement

A

If q, then p.

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

What is the

INVERSE

of the statement

A

If not p, thennot q.

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

How do you conclude whether a statement is valid from a truth table?

A

A valid statement will have all T.

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