Discrete Structures Chapter 6

Question 1

Definition: argument

Answer 1

Premise(s) + conclusion

Question 2

Definition: premises

Answer 2

Statement

Question 3

Roots: modus ponens

Answer 3

Latin

“Mode that affirms”

Question 4

Definition: modus ponens

Answer 4

• the most common rule of logic

Example:

A is true and “If A, then B” is true
-> Therefore, B is true

Example:

If it is raining, then there are clouds in the sky.
It is raining.
Therefore, there are clouds in the sky.

Question 5

Roots: non sequitur

Answer 5

Latin: “It does not follow”

Question 6

Definition: calculus

Answer 6

A language of expressions of some kind, with definite rules for forming the expressions

Question 7

Roots: what is the origin of ‘calculus’?

Answer 7

Calculi

The Romans used these small beads to count