L6: LOGIC Flashcards

1
Q

is any declarative sentence that is either TRUE or FALSE but NOT BOTH. We refer to T or F as the truth value of the statement.

A

STATEMENT

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

p, denoted by ~p (read as “not p”) is the statement whose truth value is the opposite of the truth value of p.

A

NEGATION

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

can be set up to show the truth value for different statements. Usually, each column represents a statement, and the rows below show different truth values possible.

A

TRUTH TABLE

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

p^q (read as “p and q”), is the statement that is true if and only if both p and q are true.

A

CONJUNCTION

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

p v q (read as “p or q”) is the statement that is true if and only if at least one of p and q is true.

A

DISCONJUNCTION

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

Are used to group statements together.

A

PARENTHESES

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

read as “If p, then q” is the statement that is true unless p is true and q is false

A

CONDITIONAL

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

“If p, then q, and If q then p”

A

BICONDITIONAL

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