rules of replacement
DESCRIPTION
Rules of Replacement. Logic. A very elementary introduction. Rules of Replacement. Demorgan’s Theorems. Some basic laws of logic. The law of non-contradiction A is not ~A The law of identity A=A The law of excluded middle - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/1.jpg)
Rules of Replacement
![Page 2: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/2.jpg)
LogicA very elementary introduction
![Page 3: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/3.jpg)
Rules of Replacement
Demorgan’s Theorems
![Page 4: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/4.jpg)
Some basic laws of logic The law of non-contradiction
A is not ~A The law of identity
A=A The law of excluded middle
statements that have a truth value are either possibly true or possibly false not half true or half false
![Page 5: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/5.jpg)
Types of Logic Symbolic Logic Modal Logic Propositional Logic 1. Propositional logic is also called propositional
calculus is it includes the following A) consonants, sentential connectives such as if,then,and B) existing rules of inference
![Page 6: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/6.jpg)
What is a proposition? A proposition is a statement of thought that
is expressed in language. [Can be any human language] This statement has a truth value.
For example: Boiling water is hot. This is either true or false.
![Page 7: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/7.jpg)
Not all sentences are propositions Sentences such as: Go outside and play
ball have no truth value.
![Page 8: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/8.jpg)
Sense and Reference Sense: The meaning of a statement Reference: The state of affairs of the
universe to which my utterance points.
![Page 9: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/9.jpg)
Antecedents What goes before. In an if, then statement
the antecedent would be “if” portion.
For example: If it rains then wear a jacket.
![Page 10: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/10.jpg)
Consequent What follows after. The consequent is the
then portion. Using our last example If it rains then wear a jacket
Jacket here is the consequent.
![Page 11: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/11.jpg)
Soundness vs. Validity Valid arguments contain true premises
therefore the conclusion that follows must also be true. It is possible for an argument to be factually untrue but logically valid.
Soundness on the other hand refers to a valid argument that contains factually true premises.
![Page 12: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/12.jpg)
Truth Functional connectives
Truth functional connectives link propositions together. For example V or vel stands for “or” the dot . Stands for “and” these truth functional connective link together logical statements.
![Page 13: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/13.jpg)
Causation and Logical relations Logical relations do not account for
contingencies. For example if we were to look at the causal relationship between my throwing a rock and it breaking a window we would have to examine the force of my throw, the thickness of the window, the distance, the thickness of the rock, the timing of my throw, the arm I am using, etc.
![Page 14: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/14.jpg)
Deductive Nomological account The logician Carl Hempel argued that for
every antecedent cause x, the consequent y must by necessity happen.
![Page 15: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/15.jpg)
Implication or Material Equivalence
P implies Q is always true except when the antecedent [P] is true and the consequent is false
![Page 16: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/16.jpg)
A table for truth Truth tables are logical diagrams so that
every possible truth value can be examined.
![Page 17: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/17.jpg)
Constructing truth tables 2 times the number of variables gives us the
possible number of truths. 2(n)For example p v q contains two variable p and q so
for this truth table we would construct it like this: p q p v q t t t t f t f t t f f f
![Page 18: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/18.jpg)
Rules of Inference Modus Ponens
P -> Q
P
:. Q Modus Tollens
P->Q
~Q
.:~P
![Page 19: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/19.jpg)
Rules of Inference #2 Hypothetical Syllogism
P->Q
Q->R
.: P->R Disjunctive Syllogism
P v Q
~P
.:Q
![Page 20: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/20.jpg)
Rules of Inference Constructive Dilemma
(P->Q) & (R->S)
P v R
:. Q v S
![Page 21: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/21.jpg)
Destructive Dilemma
(p->q) & (r->s)
~q v ~s
.: ~p v ~r
![Page 22: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/22.jpg)
More Rules of Inference
Simplification
P & Q
.:P
Conjunction
P
Q
.: P & Q
![Page 23: Rules of Replacement](https://reader036.vdocument.in/reader036/viewer/2022062321/56812a94550346895d8e46f4/html5/thumbnails/23.jpg)
One last one
Addition
P
.: p v q