Chapter 2. Logic Flashcards

1
Q

What is an argument?

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

What is a statement?

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

What does the conjuction of statements mean?

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

What does the disjuction of statements mean?

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

When are two statements forms logically equivalent? How would you proove it?

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

What is the negation of the statement “John is tall and Jim is a red head”

what is happening here

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

What is DeMorgans Law?

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

What is a statement from called when its is always true for all the truth values; What is it called when it is always False.

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

What are some key statement form logical equivalence forms?

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

What is the symbol for exclusive or? Whats the difference between inclusive and exclusive or? Whats the truth table?

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

proove using logic equviance statements forms?

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

Proove using equvilant statements

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

What is a conditional statement form?

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

What is the order of operations for ^,v,~ and conditional

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

What is a contrapostive of a conditional statement?

A
22
Q
A
23
Q
A

inverse and converse statment are counterpositive of each other. that is why they are logically equivalent

24
Q

What is a biconditional Statement?

A
25
Q
A
26
Q

Whats type of statement forms would make these statement form a tautology?

A
27
Q
A

r unless s means; not s then r

28
Q

Do question C

A
29
Q

Explain if, only if, if and only if

A
30
Q
A
31
Q

Explain what makes an argument valid. What is an argument

A
32
Q

what is modus ponens

A
33
Q

What is modus Tollens

A
34
Q
A
35
Q

When is an Argument said to be sound?

A
36
Q
A
37
Q
A
38
Q

What is the contradiction argument form?

A
39
Q

What are the main Valid Argument forms?

A
40
Q
A
41
Q

Knights always tell the truth.

Knaves always Lie.

A
42
Q
A
43
Q

proove the argument is valid

A
44
Q
A
45
Q

Come Up with a circuit for table

A
46
Q
A
47
Q
A
48
Q
A
49
Q
A
50
Q
A
51
Q

Explain a Half adder circuit

A