2.3logical implication: rules of inference from the notion of a valid argument, we begin a formal...
TRANSCRIPT
![Page 1: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/1.jpg)
2.3 Logical Implication: Rules of Inference
• From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such an argument is valid.
• Consider the implication
(p1p2p3 … pn)→q.
The statements p1, p2, p3, … , pn are called the premises( 前提) of the argument, and the statement q is the conclusion for the argument.
![Page 2: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/2.jpg)
推論證明
![Page 3: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/3.jpg)
Example 2.19: page 69.
![Page 4: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/4.jpg)
![Page 5: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/5.jpg)
Example 2.20: page 70. • (we know that (p1p2)→q is a valid argument, and we may say
that the truth of the conclusion q is deduced or inferred from the truth of the premises p1, p2.)
![Page 6: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/6.jpg)
Definition 2.4:
• If p, q are arbitrary statements such that p→q is a tautology, then we say that p logically implies q and we write pq to denote this situation. Note:
• 1) if p q, we have p q and q p. • 2) if p q and q p, then we have p q. • 3) p ≠> q is used to indicate that p→q is not a taut
ology – so the given implication (namely, p→q) is not a logical implication. (See the paragraphs from the bottom of page 70 to the top of page 71.)
![Page 7: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/7.jpg)
Example 2.21: page 71.
![Page 8: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/8.jpg)
• To prove the correctness of a statement, a great deal of the effort must put into constructing the truth tables. And since we want to avoid even larger tables, we are persuaded to develop a list of techniques called rules of inference that help us. (See the top paragraph of page 72.)
![Page 9: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/9.jpg)
Example 2.22: page 72. (the Rule of Detachment)
![Page 10: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/10.jpg)
Example 2.23: page 73. (the Law of the Syllogism)
![Page 11: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/11.jpg)
Example 2.24: page 74.
![Page 12: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/12.jpg)
Example 2.25: page 75. (Modus Tollens: method of denying)
![Page 13: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/13.jpg)
![Page 14: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/14.jpg)
Example 2.26: page 76~77. (the Rule of Conjunction)
![Page 15: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/15.jpg)
Example 2.27: page 77
![Page 16: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/16.jpg)
Example 2.28: page 77~78. (the Rule of Contradiction)
![Page 17: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/17.jpg)
Table 2.19: page 79. (Rules of Inference)
![Page 18: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/18.jpg)
![Page 19: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/19.jpg)
Example 2.29: page 80
![Page 20: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/20.jpg)
![Page 21: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/21.jpg)
Example 2.30
![Page 22: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/22.jpg)
![Page 23: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/23.jpg)
Example 2.31: page 81~82.
![Page 24: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/24.jpg)
![Page 25: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/25.jpg)
Example 2.32:page 82 反證法
![Page 26: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/26.jpg)
(p(q r)) ((p^q) r)
![Page 27: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/27.jpg)
Note:
• [(p1p2p3 … pn) → (q→r)] [(p1p2p3 … pnq)→r]. (page 83)
![Page 28: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/28.jpg)
Example 2.33: page 84.
![Page 29: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/29.jpg)
![Page 30: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/30.jpg)
2.4 The Use of Quantifiers
![Page 31: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/31.jpg)
Open statement• Sentences that involve a variable, such as x, need not be
statements. • For example, the sentence "The number x + 2 is an even
integer" is not necessarily true or false unless we know what value is substituted for x.
• If we restrict our choices to integers, then when x is replaced by ‑5, ‑1, or 3, for instance, the resulting statement is false.
• In fact, it is false whenever x is replaced by an odd integer. • When an even integer is substituted for x, however, the
resulting statement is true.• We refer to the sentence "The number x + 2 is an even
integer" as an open statement, which we formally define as follows.
![Page 32: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/32.jpg)
Definition 2.5:
• A declarative sentence is an open statement if – it contains one or more variables, and– it is not a statement, but– it becomes a statement when the variables in it are
replaced by certain allowable choices.
![Page 33: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/33.jpg)
Example:
• “The number x + 2 is an even integer” is an open statement and is denoted by p(x). The allowable choices for x is called the universe (set) for p(x). If x = 3, p(3) is a false statement.
![Page 34: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/34.jpg)
Example:
• “q(x,y): The numbers y + 2, x – y, and x + 2y are even integers.”, then q(4,2) is true.
• From the above examples, we can say for some x, p(x) (TRUE), for some x, y, q(x,y) (TRUE), or for all x, p(x) (FALSE).
![Page 35: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/35.jpg)
Quantifiers
• Two types of quantifiers, which are called the existential and the universal quantifiers, can quantify the open statements p(x) and q(x,y).
• the existential quantifier (means “for some x”, “for at least one x”, or “there exists an x such that”): “for some x, p(x)” is denoted as “ x, p(x)”.
• the universal quantifier (means “for all x”, “for any x”, “for each x”, or “for every x”): “for all x, all y” is denoted by “x y”.
![Page 36: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/36.jpg)
Example 2.36: page 91.
![Page 37: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/37.jpg)
• Note: x p(x) x p(x), but x p(x) does not logically imply x p(x).
![Page 38: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/38.jpg)
Example 2.38: page 93
• (the truth value of a quantified statement may depend on the universe prescribed).
![Page 39: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/39.jpg)
Example 2.39: page 94.
![Page 40: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/40.jpg)
Table 2.21 summarize and extend some results for quantifiers.
![Page 41: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/41.jpg)
Definition 2.6:
• Let p(x), q(x) be open statements defined for a given universe. The open statements p(x) and q(x) are called (logically) equivalent, and we write x [p(x) q(x)] when the biconditional p(a) q(a) is true for each replacement a from the universe (that is, p(a) q(a) for each a in the universe).
• If the implication p(a) q(a) is true for each a in the universe (that is, p(a) q(a) for each a in the universe), then we write x [p(x) q(x)] and say that p(x) logically implies q(x).
![Page 42: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/42.jpg)
Definition 2.7:
• For open statements p(x), q(x) – defined for a prescribed universe – and the universally quantified statement x [p(x) q(x)] we define:– The contrapositive of x [p(x) q(x)] to be x [q(x)
p(x)]. – The converse of x [p(x) q(x)] to be x [q(x) p
(x)]. – The inverse of x [p(x) q(x)] to be x [p(x) q
(x)].
![Page 43: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/43.jpg)
Example 2.40: page 95~96.
![Page 44: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/44.jpg)
Example 2.41: page 96~97.
![Page 45: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/45.jpg)
![Page 46: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/46.jpg)
Example 2.42: page 97
![Page 47: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/47.jpg)
• (the existential quantifier x does not distribute over the logical connective ).
![Page 48: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/48.jpg)
Table 2.22:
• Logical equivalences and logical implications for quantified statements in one variable.
![Page 49: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/49.jpg)
Example 2.43: page 98.
![Page 50: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/50.jpg)
![Page 51: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/51.jpg)
Table 2.23: Rules for negating statements with one quantifier.
![Page 52: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/52.jpg)
Example 2.45: page 100.
![Page 53: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/53.jpg)
Example 2.46: page 101.
![Page 54: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/54.jpg)
Example 2.47: page 101.
![Page 55: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/55.jpg)
Example 2.48: page 101
![Page 56: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/56.jpg)
2.5 Quantifiers, Definitions, and the Proofs of Theorems
• In this section we shall combine some of the ideas we have already studied in the prior two sections.
• The Rule of Universal Specification: If an open statement becomes true for all replacements by the members in a given universe, then that open statement is true for each specific individual member in that universe.
• (A bit more symbolically – if p(x) is an open statement for a given universe, and if x p(x) is true, then p(a) is true for each a in the universe.)
![Page 57: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/57.jpg)
Example 2.53: page 111.
![Page 58: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/58.jpg)
The Rule of Universal Generalization:
• If an open statement p(x) is proved to be true when x is replaced by any arbitrarily chosen element c from our universe, then the universally quantified statement x p(x) is true.
• Furthermore, the rule extends beyond a single variable. So if, for example, we have an open statement q(x,y) that is proved to be true when x and y are replaced by arbitrarily chosen elements from the same universe, or their own respective universes, then the universally quantified statement x y q(x, y) [or, x, y q(x, y)] is true. Similar results hold for the cases of three or more variables.
![Page 59: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/59.jpg)
Example 2.54: page 115.
![Page 60: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/60.jpg)
Example 2.55: page 116.
![Page 61: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/61.jpg)
Example 2.56: page 116~117.
![Page 62: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/62.jpg)
![Page 63: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/63.jpg)
• The results of Example 2.54 and especially Example 2.56 lead us to believe that we can use universally quantified statements and the rules of inference – including the Rules of Universally Specification and Universal Generalization – to formalize and prove a variety of arguments and, hopefully, theorems.
![Page 64: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/64.jpg)
Example:
![Page 65: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/65.jpg)
Definition 2.8,
![Page 66: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/66.jpg)
Example 2.57
![Page 67: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/67.jpg)
Theorem 2.3
![Page 68: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/68.jpg)
Theorem 2.4
![Page 69: 2.3Logical Implication: Rules of Inference From the notion of a valid argument, we begin a formal study of what we shall mean by an argument and when such](https://reader036.vdocuments.net/reader036/viewer/2022062422/56649efa5503460f94c0be24/html5/thumbnails/69.jpg)
Theorem 2.5