UNIT 1 PART 1 Flashcards

1
Q

Why study DM?

A

PROB SOLVE, MATH, DM, SEM SUBJ

GRAPH, SHORTEST PATH ,SORTING,PASSWORDS

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

DM?

A

Study of discrete(distinct,not connected) obj

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

distinct vs continous

A

natural real

digital analog

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

logic?

A

science of reasoning
reason statements, prove statements
logic argu(proof)
true statement -> theorem

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

prop logic?

A

sentence argument -> T or F

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

proposition/statement

A

declative sentence
not op, not ques
lower letters

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

truth value

A

true or false

0 or 1

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

logical connections

A

two or more prop with connections
(not and or if then iff)
molecular/compound/statement formula-> atomic/primary/components,simple

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

negation

A

^(half v),~,bar,not,truth table

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

conjunction

A

AND

truth table

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

disjunctuion

A

OR
^upside
truth table

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

Exclusive disjunction

A

upside^=
either p or q but not both
either p true or q true not both

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

conditional

A

->
if then
TF = false

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

biconditional

A

->T

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

truth value steps

A

components built on
2^n components
t f for each comp

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

Well formed formula

A

string of variables + connective symbols + parenthesis

alone,if A neg A,if A and B connectives,up all

17
Q

tautology

A

always true
univeral truth
conjunction -> taut

18
Q

contadction

A

always false

19
Q

substitution instance

A

A sub inst of B if sub var in B -> A

sub inst of taut = taut

20
Q

Equi of formula

A

both truth tables same

two statements, A and B equi, A equi B => tauto