![Page 1: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/1.jpg)
What is Logic?
Definition
Logic is the study of valid reasoning.
Philosophy
Mathematics
Computer science
Definition
Mathematical Logic is the mathematical study of themethods, structure, and validity of mathematicaldeduction and proof. [Wolfram Mathworld]
![Page 2: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/2.jpg)
PropositionsDefinition
A proposition is a declaritive sentence that is either trueor false.
Today is Tuesday.
Today is Wednesday.
5 + 2 = 7
3 · 6 > 18
The sky is blue.
Why is the sky blue?
Barack Obama.
Two students in the class have a GPA of 3.275.
The current king of France is bald.
![Page 3: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/3.jpg)
Conjunction
Definition
The conjunction of two propostions, p and q, is theproposition “p and q”. It is true when both p and q aretrue.
Example
s: The sky is blue.g : The grass is green.m: The moon is made of cheese.s ∧ g : The sky is blue and the grass is green.s ∧ m: The sky is blue and the moon is made of cheese.
![Page 4: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/4.jpg)
Disjunction
Definition
The disjunction of two propostions, p and q, is theproposition “p or q”. It is true when either p or q is true.
Example
s: The sky is blue.g : The grass is red.m: The moon is made of cheese.s ∨ g : The sky is blue and the grass is red.g ∨ m: The grass is red and the moon is made of cheese.
![Page 5: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/5.jpg)
Truth tables . . .
The meaning of a logical operation can be expressed as its“truth table.”
Construct the truth-table for conjunction.
Construct the truth-table for disjunction.
Construct the truth-table for negation.
Do in class.
![Page 6: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/6.jpg)
A worked example
Example
Let s be “The sun is shining” and t be “It is raining.” Join these into thecompound statement:
(¬s ∧ t) ∨ ¬t.
Phrase the compound statement in English.
Construct the truth table.
Do in class.
![Page 7: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/7.jpg)
Exclusive orThe word “or” is often used to mean “one or the other,” but this is not
the same meaning of “or” in logic!
Definition
The exclusive-or of two statements p and q (written p ⊕ q), is true wheneither p is true or q is true, but not both.
p q p ⊕ q
T T FT F TF T TF F F
![Page 8: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/8.jpg)
Logical equivalences
How do we know if two logical statements are equivalent?
![Page 9: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/9.jpg)
Logical equivalences
How do we know if two logical statements are equivalent?
Construct truth tables for each.
Check if final columns match.
![Page 10: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/10.jpg)
Logical equivalences
How do we know if two logical statements are equivalent?
Construct truth tables for each.
Check if final columns match.
Theorem
Let p and q be statement variables. Then
(p ∨ q) ∧ ¬(p ∧ q) ≡ p ⊕ q
and (p ∧ ¬q) ∨ (q ∧ ¬p) ≡ p ⊕ q .
Prove in class (using Truth Tables).
![Page 11: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/11.jpg)
Conditional StatementsHypothesis → Conclusion
Example
If it is raining, I will carry my umbrella.
If you don’t eat your dinner, you will not get dessert.
p q p → q
T T TT F FF T TF F T
![Page 12: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/12.jpg)
Expressing Conditionals
Conditional can be expressed in many ways:
if p then q
p implies q
q if p
p only if q
a sufficient condition for q is p
a necessary condition for p is q
![Page 13: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/13.jpg)
More on ConditionalIn logic the hypothesis and conclusion need not relate toeach other.
Example
If Joe likes cats, then the sky is blue.
If Joe likes cats, then the moon is made of cheese.
In programming languages “if-then” is a command.
Example
If it rains today, then buy an umbrella.
If x > y then z := x + y
![Page 14: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/14.jpg)
![Page 15: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/15.jpg)
Four important variations ofimplication
Contrapositive
Converse
Inverse
Negation
![Page 16: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/16.jpg)
ContrapositiveDefinition
The contrapositive of a conditional statement is obtained by transposingits conclusion with its premise and inverting. So,
Contrapositive of p → q is ¬q → ¬p.
Example
Original statement: If I live in College Park, then I live in Maryland.
Contrapositive: If I don’t live in Maryland, then I don’t live in College Park.
Theorem
The contrapositive of an implication is equivalent to the original statement.
Prove in class.
![Page 17: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/17.jpg)
Converse
Definition
The converse of a conditional statement is obtained by transposing itsconclusion with its premise.
Converse of p → q is q → p.
Example
Original statement: If I live in College Park, then I live in Maryland.
Converse: If I live in Maryland, then I live in College Park.
![Page 18: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/18.jpg)
Inverse
Definition
The inverse of a conditional statement is obtained by negating bothits premise and its conclusion.
Inverse of p → q is (¬p) → (¬q).(Parentheses added for emphasis.)
Example
Original statement: If I live in College Park, then I live in Maryland.
Inverse: If I don’t live in College Park, then I don’t live in Maryland.
The inverse of an implication is equivalent to the converse!
Why?
![Page 19: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/19.jpg)
Negation
Definition
The negation of a conditional statement is obtained by negating it.Negation of p → q is ¬(p → q) (which is equivalent to p ∧ ¬q).
Example
Original statement: If I live in College Park, then I live in Maryland.
Negation: I live in College Park, and I don’t live in Maryland.
The negation of a conditional statement is not a conditionalstatement!
![Page 20: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/20.jpg)
Biconditional Statements
Example
I will carry my umbrella, if and only if it is raining.
You will get dessert, if and only if you eat your dinner.
p q p ↔ q
T T TT F FF T FF F T
![Page 21: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/21.jpg)
Expressing Biconditionals
Biconditional can be expressed in many ways:
p iff q
p is necessary sufficient for q
p is a necessary sufficient condition for q
![Page 22: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/22.jpg)
Experimenting with biconditionals
Questions:
What do the converse, inverse, and negations of abi-conditional look like?
What is the relationship between the exclusive-or(discussed above) and the bi-conditional?
![Page 23: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/23.jpg)
Logic and Bit Operations
Do in class.
![Page 24: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/24.jpg)
Laws of Propositional Logic . . .We can do algebra in propositional logic.Commutative Laws: p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
Associative Laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Distributive Laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
![Page 25: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/25.jpg)
Laws of Propositional Logic . . .We can do algebra in propositional logic.Commutative Laws: p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
Associative Laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Distributive Laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
How do we know that these laws are valid?
![Page 26: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/26.jpg)
Laws of Propositional Logic . . .We can do algebra in propositional logic.Commutative Laws: p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
Associative Laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Distributive Laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
How do we know that these laws are valid?
Construct the truth-tables and verify!
![Page 27: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/27.jpg)
Laws of Propositional Logic . . .We can do algebra in propositional logic.Commutative Laws: p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
Associative Laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Distributive Laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
How do we know that these laws are valid?
Construct the truth-tables and verify!
Prove a Distributive Law in class.
![Page 28: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/28.jpg)
De Morgan’s laws . . .Theorem (De Morgan’s laws)
Let p and q be statement variables. Then
¬(p ∨ q) ≡ ¬p ∧ ¬q
and ¬(p ∧ q) ≡ ¬p ∨ ¬q .
Examples in English
Example
It is not the case that Alice or Bob went to the store.≡ Alice did not go to the store and Bob did not go to the store.
It is not the case that Alice and Bob went to the store.≡ Alice did not go to the store or Bob did not go to the store.
Prove in class (using Truth Tables).
![Page 29: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/29.jpg)
Laws of Logic
Given any statement variables p, q, and r , a tautology t and a contradiction c,the following logical equivalences hold:1. Commutative laws: p ∧ q ≡ q ∧ p p ∨ q ≡ q ∨ p
2. Associative laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)3. Distributive laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)4. Identity laws: p ∧ t ≡ p p ∨ c ≡ p
5. Negation laws: p ∨ ¬p ≡ t p ∧ ¬p ≡ c
6. Double Negative law: ¬(¬p) ≡ p
7. Idempotent laws: p ∧ p ≡ p p ∨ p ≡ p
8. DeMorgan’s laws: ¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q
9. Universal bounds laws: p ∨ t ≡ t p ∧ c ≡ c
10. Absorption laws: p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p
11. Negations of t and c: ¬t ≡ c ¬c ≡ t
![Page 30: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/30.jpg)
Example of Boolean Algebra
¬(¬p ∧ q) ∧ (p ∨ q) ≡ p
Prove in class (using Boolean algebra).
![Page 31: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/31.jpg)
Validity, as a matter of “form.”
Definition
An argument is a sequence of statements terminatingwith a conclusion.
Validity is based upon formal properties, not content.
Mastery of logical argumentation translates into adeeper understanding of, and facility for, constructingmathematical proof.
![Page 32: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/32.jpg)
Rules of Inference
Some common Rules of Inference:
Modus Ponens
Modus Tollens
Disjunctive syllogism
Rule of contradiction.
.
.
![Page 33: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/33.jpg)
Modus PonensExample
If the weather is bad then the University of Marylandcloses.The weather is bad.Therefore, the University of Maryland is closed.
Modus ponens (To prove by asserting.)
p → q
p
∴ q
Prove in class.
![Page 34: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/34.jpg)
Modus Tollens
Example
If the weather is bad then the University of Marylandcloses.The University of Maryland is not closed.Therefore, the weather is not bad.
Modus Tollens (To prove by denying.)
p → q
¬q
∴ ¬p
![Page 35: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/35.jpg)
Disjunctive Syllogism
Example
I will drink coffee or tea today. [Inclusive or]I did not drink coffee today.Therefore, I drank tea today.
Disjunctive Syllogism
p ∨ q
¬p
∴ q
![Page 36: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/36.jpg)
Rule of ContradictionExample
If this isn’t love, the whole world is crazy.Therefore, this is love.
Line from song in show Finian’s Rainbow.
![Page 37: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/37.jpg)
Rule of ContradictionExample
If this isn’t love, the whole world is crazy.Therefore, this is love.
Line from song in show Finian’s Rainbow.
Sing in class.
![Page 38: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/38.jpg)
Rule of ContradictionExample
If this isn’t love, the whole world is crazy.Therefore, this is love.
Line from song in show Finian’s Rainbow.
Sing in class.
Rule of Contradiction
¬p → c
∴ p
![Page 39: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/39.jpg)
Valid forms of argumentation
Modus Ponens Modus Tollens Disjunctive p ∨ q p ∨ q
p → q p → q Syllogism ¬q ¬p
p ¬q ∴ p ∴ q
∴ q ∴ ¬p
Conjunctive p Hypothetical p → q
Addition q Syllogism q → r
∴ p ∧ q ∴ p → r
Disjunctive p q Dilemma: p ∨ q
Addition ∴ p ∨ q ∴ p ∨ q Proof by p → r
Division q → r
into Cases ∴ r
Conjunctive p ∧ q p ∧ q Rule of ¬p → c
Simplification ∴ p ∴ q Contradiction ∴ p
Closing C.W. |p Assumed Closing C.W. |p Assumedwithout |q derived with |x ∧ ¬x derivedcontradiction ∴ p → q contradiction ∴ ¬p
![Page 40: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/40.jpg)
Examples of Logical Arguments
Example
p ∨ q
q → r
¬p
∴ r
Example
p ∧ q
p → s
¬r → ¬q
∴ s ∧ r
Example
p ∨ q
¬(q ∨ r)
p → (m → r)
∴ ¬m
Prove in class.
![Page 41: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/41.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.
![Page 42: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/42.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.Statements are combined by logical operators: threeprimitive operators are negation, disjunction, andconjunction.
![Page 43: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/43.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.Statements are combined by logical operators: threeprimitive operators are negation, disjunction, andconjunction.These operators have certain properties: they arecommutative, associative, . . . , directionless.
![Page 44: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/44.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.Statements are combined by logical operators: threeprimitive operators are negation, disjunction, andconjunction.These operators have certain properties: they arecommutative, associative, . . . , directionless.Logical implication is constructed. Unlike itscomponents, implications have direction.
![Page 45: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/45.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.Statements are combined by logical operators: threeprimitive operators are negation, disjunction, andconjunction.These operators have certain properties: they arecommutative, associative, . . . , directionless.Logical implication is constructed. Unlike itscomponents, implications have direction.“Arguments” are patterns of reasoning thatincorporate these operators over a particular domain
of discourse, e.g., numbers, objects, etc.
![Page 46: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/46.jpg)
Reviewing & moving forwardStatements may be atomic or compound. Theirsyntax is unambiguous.Statements are combined by logical operators: threeprimitive operators are negation, disjunction, andconjunction.These operators have certain properties: they arecommutative, associative, . . . , directionless.Logical implication is constructed. Unlike itscomponents, implications have direction.“Arguments” are patterns of reasoning thatincorporate these operators over a particular domain
of discourse, e.g., numbers, objects, etc.Most importantly: truth is formal in these sytems.
![Page 47: What is Logic? - University Of MarylandWhat is Logic? Definition Logic is the study of valid reasoning. Philosophy Mathematics Computer science Definition Mathematical Logic is the](https://reader030.vdocuments.us/reader030/viewer/2022040910/5e835df4cf872a06a15388cb/html5/thumbnails/47.jpg)
Applications of logic
Logic is everywhere. Shortly, we will examine how logic isused in several areas relevant to computer science.
Logical primitives & switching circuits.
Logical statements & sequential circuits. Later in thissemester, perhaps
Logical constructions in combinatorial circuits.