Discrete Structures Quiz 1 Definitions Flashcards

1
Q

proposition

A

a statement that is true or false

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

look at examples and proofs and homeworks

A

:0

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

truth value

A

of a proposition is T or F

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

Logical variables

A

denoting propositions with letters

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

negation

A

not
little corner p

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

Principle of noncontradiction (PNC)

A

a proposition and its negation can be true at the same time

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

conjunction

A

and

p ^ q

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

disconjunction

A

or

p v q

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

truth table

A

a logical variable is fully determined by its truth table

truth values of the operator if we are given the truth value of p and q

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

conditional

A

p -> q

if p then q

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

vacuously true

A

in conditionals, the assumption is F so whole propositions is vacuously true

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

biconidtional

A

p <-> q

or

p->q ^ q->p

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

exclusive or

A

only one can be true

p (circle with + inside) q

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

equivalence

A

2 logical operators are equivalent if they have the same truth tables

<=> or = with three lines

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

building p and q in the truth tables

A

half t of the previous one

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

contrapositive

A

p -> q
=(with 3 lines)
not q -> not p

17
Q

1st de morgan law

A

not (p ^ q)
= with three lines
not p v not q

18
Q

2nd de morgan law

A

not (p v q)
= with 3 lines
not p ^ not q

19
Q

binary expressions

A

compare the corresponding one

20
Q

tautology

A

compound propositions that is always true

21
Q

contradiction

A

compound proposition that is always false

22
Q

contingency

A

compound proposition that is neither true or false

23
Q

argument

A

an assertion that gives some propositions p1…pn imply another proposition q

24
Q

premises

A

p1..pn, propositions that imply a conclusion

25
Q

conclusion

A

q
being implied by the premises

26
Q

notation for arguments

A

p1…pn |-> q
OR
p1

pn
—-
three dots q

27
Q

valid

A

an argument is valid whenever all premises are true

28
Q

fallacy

A

premises are true but conclusion is false

29
Q

theorem (of arguments)

A

an argument p1…pn three dots q is valid if and only if p1^…^pn ->q is always T

30
Q

modus ponens

A

p ->q
p

three dots q

31
Q

hypothetical syllogism

A

p->q
q->r

three dots p-> r

32
Q

modus tollens

A

p->q
not q

therefore not p

33
Q

propositional functions

A

predicates

have a domain and P(x)
where P(x) is the output as a propositions

34
Q

universal quantifier

A

V-
for all

35
Q

existential quantifier

A

E backwards
there is OR there exists

36
Q

uniqueness quantifiers

A

E!
e is backwards

there is a unique

37
Q

1st de morgan law for quantifiers

A

not (V-x, P(x))
= with three lines
Ex, P(x)
e is backwards

38
Q

2nd de morgan law for quantifiers

A

not (Ex, P(x))
e is backwards
= with three lines
V- x, not P(x)