7.1-7.3 Flashcards Preview

Math II > 7.1-7.3 > Flashcards

Flashcards in 7.1-7.3 Deck (41)
Loading flashcards...
0

Two-valued logic

Every statement is either True or False.

1

Truth table

Used to determine the truth or falsity of a complicated statement based on the truth or falsity of its simple components

2

Conjunction

"And", true when both statements are true, ^

3

Disjunction

"Or", true when @ least 1 statement is true, V

4

Negation

"Not", ~

5

Inclusive "or"

Doing 1/other/both

6

When is p --> q not true?

When p is true and q is false

7

Tautology (rule of logic)

A formula which is "always true" - all the end results are true

8

P < -- > q

Both P and Q r equivalent. True if P and Q are both true or both false

10

Contradiction

Opposite of a tautology, a formula which is "always false"

11

What are p and q called in p --> q?

p - hypothesis, q - conclusion

12

4 ways to rewrite a statement

1) If p, then q 2) Every p has q. 3) The fact that p, implies that q 4) p iff q

13

converse

q --> p

14

inverse

~p --> ~q

15

contrapositive

~q --> ~p

16

Direct Argument

p --> q p ... q

17

Indirect Argument

p --> q ~q ... ~p

18

Chain Rule

p --> q q --> r ... p --> r

19

Or Rule

p V q ~p ... q p V q ~q ... p

20

good definition

built from a true conditional with a true converse

21

4 rules of biconditionals

p < -- > q p ...q p < --> q q ... p p < --> q ~p ... ~q p < -- > q ~q ... ~p

22

When making a Venn diagram for a conditional, what goes into what?

hypothesis goes into conclusion

23

Every statement is either True or False.

Two-valued logic

24

Used to determine the truth or falsity of a complicated statement based on the truth or falsity of its simple components

Truth table

25

"And", true when both statements are true, ^

Conjunction

26

"Or", true when @ least 1 statement is true, V

Disjunction

27

"Not", ~

Negation

28

Doing 1/other/both

Inclusive "or"

29

When p is true and q is false

When is p --> q not true?

30

A formula which is "always true" - all the end results are true

Tautology (rule of logic)