Midterms Flashcards Preview

Math II > Midterms > Flashcards

Flashcards in Midterms Deck (143)
Loading flashcards...
1

two-valued logic

every statement is either True or False

2

truth table

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

3

conjunction

"and"; true when both statements are true; ^

4

disjunction

"or"; true when @ least 1 statement is true, V

5

negation

"not", ~

6

inclusive "or"

doing 1/other/both

7

when is p → q not true?

when p is true and q is false

8

tautology

rule of logic

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

9

p ⇔ q

p iff q

both p & q r equivalent. true if p & q r both true/both false

10

contradiction

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

11

what r p &q called in p ⇒ q?

p = hypothesis

q = conclusion

12

p ⇒q

if p, then q

p implies q

p if q

13

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/if/only if q

14

converse

q ⇒ p

15

inverse

~p ⇒ ~q

16

contrapositive

~q ⇒ ~p

17

Direct Argument

p ⇒ q

p

...q

18

premise

a statement that is assumed to be true

a given statement in an argument. the resulting statement is called the conclusion

19

Indirect Argument

p ⇒ q

~q

... ~p

20

Chain Rule

p ⇒ q

q ⇒ r

...p ⇒ r

21

Or Rule

p V q

~p

...q

 

p V q

~q

...p

22

good definition

built from a true conditional with a true converse

23

invalid argument

argument that doesn't use rules of logic

24

4 rules of biconditionals

p ⇔ q

p

... q

 

p ⇔ q

q

... p

 

p ⇔ q

~p

... ~q

 

p ⇔ q

~q

... ~p

25

Venn diagram placement for conditionals/implications

26

two-column proof

a proof written in 2 columns

statements r listed in 1 column & justifications r listed in the other column

27

paragraph proof

a proof whose statements & justifications r written in paragraph form

28

flow proof

a proof written as a diagram using arrows to show the connections b/w statements

#'s written over the arrows refer to a #-ed list of the justifications 4 the statements

29

postulate

a statement assumed to be true w/out proof

30

Addition Property of Equality

If the same # is added to equal #'s, the sums r equal

a = b → a + c = b + c