Lesson 1: Foundation: Logic And Proofs Flashcards

1
Q

is the study of mathematical structures that are countable or otherwise distinct or separable

A

Discrete Mathematics

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

encompasses a wide array of topics that can be used to answer many tangible question

A

Discrete Mathematics

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

Enumeration: DISCRETE MATHEMATICS CAN BA USED FOR?

A
  1. Logic
  2. Number Theory
  3. Counting
  4. Probability
  5. Recurrences
  6. Graph Theory
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

traditionally defined as the study of laws of thought and correct reasoning

A

Logic

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

usually understood in terms of inferences or arguments

A

Logic

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

basis of all mathematical reasoning and all automated reasoning

A

Logic

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

is a declarative sentence, that is declares a fact, either true or false but not both

A

Proposition

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

studies the ways statements can interact with each other

A

Propositional Logic/ Propositional Calculus

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

represented by small alphabets such as p, q, r, s

A

Propositional Variable

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

formed from existing proposition using logical operators

A

Compound Proposition

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

logical operators that are used to form a new proposition from two or more existing proposition

A

Connectives

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

Enumerate: LIST OF LOGICAL CONNECTIVES

A
  1. Negation
  2. Conjunction
  3. Disjunction
  4. Conditional
  5. Bi-Conditional
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

it display the table of Compound Proposition

A

Truth Table

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

The negation of the proposition can also be considered the result of the operation of the _________ on a proposition

A

Negation Operator

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

is indicated by the symbol ^

A

Conjunction

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

is indicated by the symbol v

A

Disjunction

17
Q

a Disjunction is false when both are true and both are false

A

Exclusive or

18
Q

a Disjunction is true when at least one of the two proposition is true

A

Inclusive or

19
Q

is indicated by the symbol ->

A

Conditional Statement

20
Q

If there is a proposition that has a form of if p then q, then that type of proposition will be called _________ or _________

A

Implication; Conditional Proposition

21
Q

In proposition if p then q, the p will be called ________ and q is _________

A

Hypothesis; Conclusion

22
Q

Conditional Statement is also called _________

A

Implication

23
Q

is indicated by the symbol <–>

A

Bi-conditional/ Double Implication

24
Q

helps to decide which operator will get evaluated first in a complicated looking compound proposition

A

Precedence of Operators

25
Q

Enumerate: PRECEDENCE OF OPERATORS(IN ORDER)

A
  1. Negation
  2. Conjunction
  3. Disjunction
  4. Implication
  5. Bi-conditional
26
Q

truthtable probability formula with 2 possibilities (true/false)

A

2^n