INDUMAT (Quiz 1) Flashcards

(77 cards)

1
Q

Z

A

Set of integers (…..,-3,-2,-1,0,1,2,3,…….)

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

N

A

Set of nonnegative integers or natural numbers (1,2,3,4,….)

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

Z^+

A

Set of positive integers (1,2,3) ; not including 0

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

R

A

Set of real numbers (numbers with decimal expansion)

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

R^+

A

Set of positive real numbers

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

R^*

A

Set of nonzero real numbers

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

Q

A

Set of rational numbers (numbers including fractions)

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

Law of Double Negation (Set Theory)

A

(A’)’ = A

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

De Morgan’s Laws (Set Theory)

A

(A U B)’ = A’ ∩ B’
(A ∩ B)’ = A’ U B’

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

Commutative Laws (Set Theory)

A

A U B = B U A
A ∩ B = B ∩ A

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

Associative Laws (Set Theory)

A

A U (B U C) = (A U B) U C
A ∩ (B ∩ C) = (A ∩ B) ∩ C

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

Distributive Laws (Set Theory)

A

A ∩ (B U C) = (A ∩ B) U (A ∩ C)
A U (B ∩ C) = (A U B) ∩ (A U C)

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

Idempotent Laws (Set Theory)

A

A U A = A
A ∩ A = A

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

Identity Laws (Set Theory)

A

A U Null set = A
A ∩ Universe = A

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

Inverse Laws (Set Theory)

A

A U A’ = Universe
A ∩ A’ = Null Set

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

Domination Laws (Set Theory)

A

A U Universe = Universe
A ∩ Null Set = Null Set

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

Absorption Laws (Set Theory)

A

A U (A ∩ B) = A
A Int (A U B) = A

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

U

A

Union (or)

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

A

Intersection (and)

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

A

is an element of/belongs to

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

A

Proper subset

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

And

A

ʌ

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

A

Subset

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

Or

A

v

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Implies
=>
26
{ }
Empty set/Null set
27
Symmetric Difference A △ B = (A-B) U (B-A) or (A U B) - (A ∩ B)
28
If and Only if
<=>
29
Law of Double Negation (Laws of Logic)
¬¬ p 三 p
30
It is not the case that / not
¬
31
Or - form of an implication (Laws of Logic)
p → q 三 ¬ p v q
32
Contrapositive form of an implication (Laws of Logic)
p → q 三 ¬ p → ¬ q
33
De Morgan's Law (Laws of Logic)
¬ (p v q) 三 ¬ p ʌ ¬ q ¬ (p ʌ q) 三 ¬ p v ¬ q
34
Rule for Direct Proof (Laws of Logic)
(p ʌ r) → q 三 r → (p → q)
35
Rule for Proof by Contradiction (Laws of Logic)
(p ʌ ¬ q → o) 三 (p → q)
36
Commutative Laws (Laws of Logic)
p v q 三 q v p p ʌ q 三 q ʌ p
37
Associative Laws (Laws of Logic)
p v (q v r) 三 (p v q) v r p ʌ (q ʌ r) 三 (p ʌ q) ʌ r
38
Distributive Laws (Laws of Logic)
p v (q ʌ r) 三 (p v q) ʌ (p v r) p ʌ (q v r) 三 (p ʌ q) v (p ʌ r)
39
Idempotent Laws (Laws of Logic)
p v p 三 p p ʌ p 三 p
40
Identity Laws (Laws of Logic)
p v o 三 p p ʌ I 三 p
41
Inverse Laws (Laws of Logic)
p v ¬ p 三 I p ʌ ¬ p 三 o
42
Domination Laws (Laws of Logic)
p v I 三 I p ʌ o 三 o
43
Absorption Laws (Laws of Logic)
p v (p ʌ q) 三 p p ʌ (p v q) 三 p
44
"o" (Laws of Logic)
Statement that is always false
45
In a truth table, what is the mathematical approach in evaluating conjunction (p ʌ q)?
min (p,q)
46
In a truth table, what is the mathematical approach in evaluating disjunction (p v q)?
max (p,q)
47
In a truth table, what is the mathematical approach in evaluating conditional (p → q)?
True if and only if the val (p) is less than or equal to val (q)
48
In a truth table, how do you evaluate a biconditional (p <=> q)?
True if both statements have the same truth value. (Both p and q are true or both q and p are false). Otherwise, it is false.
49
Although
ʌ
50
But
ʌ
51
Even though
ʌ
52
However
ʌ
53
Unless
v
54
When ........., then.......
55
Provided that .......... , then .........
56
Just in case that
<=>
57
"I" (Laws of Logic)
A statement that is always true
58
In a truth table, if all the outputs of a column are true, then it is a _________
Tautology
59
In a truth table, if all the outputs of a column are false, then it is a _________
Contradiction
60
In a truth table, if the outputs have at least one true and one false, then it is a _________
Contingent
61
Converse and Inverse are examples of _________.
Invalid Arguments
62
Given p → q, this is an example of a _________.
Conditional
63
Given p → q, the inverse would be _________
¬ p → ¬ q (Negation)
64
Given p → q, the converse would be _________
q → p (Swap)
65
Given p → q, the contrapositive would be _________
¬ q → ¬ p (Negation and Swap)
66
[p ʌ (p → q)] → q (Rule of Inference)
Modus Ponens
67
[(p → q) ʌ (q → r)] → (p → r) (Rule of Inference)
Law of Syllogism
68
[(p → q) ʌ ¬ q] → ¬ p (Rule of Inference)
Modus Tollens
69
[¬ p → 0] → p (Rule of Inference)
Rule of Contradiction
69
(p ʌ q) → p (Rule of Inference)
Rule of Conjunctive Simplification
69
[(p v q) ʌ ¬ p] → q (Rule of Inference)
Rule of Disjunctive Syllogism
69
[(p ʌ q) ʌ [p → (q → r)]] → r (Rule of Inference)
Rule of Conditional proof
69
[(p → r) ʌ (q → r)] → [(p v q) → r] (Rule of Inference)
Rule for Proof by Cases
69
p → p v q (Rule of Inference)
Rule of Disjunctive Amplification
69
[(p → q) ʌ (r → s) ʌ (p v r)] → (q v s) (Rule of Inference)
Rule of Constructive Dilemma
69
[(p → q) ʌ (r → s) ʌ (¬ q v ¬ s)] → (¬ p v ¬ r) (Rule of Inference)
Rule of Destructive Dilemma
70
A - B is the same as
A Int B'