CISC 102 Lecture Notes - Lecture 36: Complex Instruction Set Computing, Propositional Function
11 Dec 2018
School
Department
Course
Professor
CISC 102 verified notes
36/38View all
35
CISC 102 Lecture Notes - Lecture 35: Logical Consequence, Complex Instruction Set Computing
36
CISC 102 Lecture Notes - Lecture 36: Complex Instruction Set Computing, Propositional Function
37
CISC 102 Lecture Notes - Lecture 37: Propositional Function, Universal Quantification, Complex Instruction Set Computing
Document Summary
We can check validity of the above argument via the use of a truth table to see if the expression is a tautology. p. Let"s look at another logical argument that is able to be expressed as: If 2 | a then 2 | ab. ________________ note: line separates sequence of propositions from conclusion. In this scenario, we have: p the proposition: 2 | a q the proposition: 2 | ab. The argument can be shown to be invalid via the following example: In the geometry argument, a counter example cannot be found. Although the reasoning is flawed, a correct version of the argument can be obtained by observing the following: p. If two sides of a triangle are equal then the opposite angles are equal. This is a valid geometric fact. (note: if 2 | ab then 2 | a is not necessarily true. ) If two angles of a triangle are equal then the opposite sides are equal.
