Discrete Structures Chapter 6 Flashcards
1
Q
Definition: argument
A
Premise(s) + conclusion
2
Q
Definition: premises
A
Statement
3
Q
Roots: modus ponens
A
Latin
“Mode that affirms”
4
Q
Definition: modus ponens
A
• 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.
5
Q
Roots: non sequitur
A
Latin: “It does not follow”
6
Q
Definition: calculus
A
A language of expressions of some kind, with definite rules for forming the expressions
7
Q
Roots: what is the origin of ‘calculus’?
A
Calculi
The Romans used these small beads to count
