CISC 102 Lecture Notes - Lecture 38: Complex Instruction Set Computing, Rule Of Inference, Modus Ponens
CISC 102 verified notes
38/38View all
1
CISC 102 Lecture Notes - Lecture 1: Complex Instruction Set Computing, Discrete Mathematics, Big O Notation
2
CISC 102 Lecture Notes - Lecture 2: Tranche, Complex Instruction Set Computing, Null Set
38
CISC 102 Lecture Notes - Lecture 38: Complex Instruction Set Computing, Rule Of Inference, Modus Ponens
Document Summary
An axiom is a statement or proposition that is regarded as being established, accepted, or self-evidently true. Math is a system humans created, which can be developed in its entirety by a small collection of axioms assumed to be true. Euclid of alexandria (300 bc) developed an axiomatic approach for geometry starting with only 5 axioms. In this course, we"ve made many assumptions about what is accepted as truth. In practice, proving everything from basic principles would be excruciating (would require so many steps to prove something as simple as 20,000 steps). Logical deduction is used to solve puzzles of many forms in a natural way, from sudoku to solving murder mystery"s. Logical deduction is used as we proceed from step to step in a proof. The basic rule used, as formal logic describes, is: p, p > q q. We can varify the validity of this argument and can reason it out informally: