SlideShare a Scribd company logo
1 of 11
Download to read offline
PART I: MATHEMATICAL LOGIC
“Although mathematics is both a science and an art, special characteristics distinguish
mathematics from the humanities and from other sciences. Particularly important is the kind of
reasoning that typifies mathematics. The natural or social scientist generally makes observations of
particular cases or phenomena and seeks a general theory that describes or explains the
observations. This approach is called inductive reasoning, and it is tested by making further
observations. If the results are incompatible with theoretical expectations, the scientist usually must
reject or modify his theory.
The mathematician, too, frequently uses inductive reasoning in attempting to describe patterns
and relationships among quantities and structures. The characteristic thinking of the mathematician,
however, is deductive reasoning, in which one uses logic to draw conclusions based on statements
accepted as true. The conclusions of a mathematician are proved to be true, provided that
assumptions are true. If a mathematical theory predicts results incompatible with reality, the fault
will lie not in the theory but with the inapplicability of the theory to that portion of reality. Indeed,
the mathematician is not restricted to the study of observable phenomena, even though mathematics
can trace its development back to the need to describe spatial relations (Geometry) and motion
(Calculus) or to solve numerical problems (Algebra). Using logic, the mathematician can draw
conclusions about any mathematical structure imaginable.”
The basics of logic and the idea of proof are important in many areas other than mathematics.
For example, the thought processes used to construct an algorithm for a computer program are
much like those used to develop the proof of a theorem.
What is Logic?
• An instrument used to appraise the correctness of reasoning.
• The study of propositions / reasoning
What is a proposition?
• Declarative statement that is either true or false, but not both.
Examples:
The square root of 2 is irrational.
1+1 = 5
In the year 2000, more than a thousand Filipinos migrated to Canada.
-5 < 75
Examples of sentences that are not propositions:
What did you say?
x = 6.
This sentence is false.
Notation:
• The truth values of propositions are:
1 or T for true
0 or F for false
• Capital letters are used to denote propositions.
PROPOSITIONS AND CONNECTIVES:
1. Negation of Propositions (  P )
• Formed by introducing the word “not” in a proper place in the proposition.
• Suppose P is a proposition
P is the negation of P
• Truth table
P  P
1 0
0 1
EXAMPLE: It is not the case that the square root of 10 is greater than 4.
10 is not divisible by 2.
2. Conjunction ( P ∧ Q )
• Truth table
P Q P ∧ Q
1 1 1
1 0 0
0 1 0
0 0 0
EXAMPLE: 6<7 and 7<8.
2*4=16 and a quart is larger than a liter.
3. Disjunction ( P ∨ Q )
• Truth table
P Q P ∨ Q
1 1 1
1 0 1
0 1 1
0 0 0
EXAMPLES: Venus is smaller than earth or 1+4 = 5.
The square root of 2 is less than the square root of 3 or chicken have lips.
4. Implication or Conditional Statement (P⇒Q) read as: If P then Q
• P is called the hypothesis or the premise
• Q is called the conclusion
• Truth table
P Q P ⇒ Q
1 1 1
1 0 0
0 1 1
0 0 1
EXAMPLES:
If triangle ABC is isosceles, then the base angles A and B are equal.
Mars has 10 moons implies that 1+1 = 2.
1+2=3 implies that 1<0.
If the sun shines tomorrow then I will play basketball.
If you get 100 in the final exam then you will pass this course.
5. Logical Equivalence or the Biconditional Statement (P⇔Q) read as: P if and only if Q
• P ⇔ Q is equal to (( P ⇒ Q ) ∧ (Q ⇒ P))
• Truth table
P Q P ⇒ Q Q ⇒ P P ⇔ Q
or
( P ⇒ Q ) ∧ ( Q⇒P)
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
EXAMPLES : A rectangle is a square if and only if the rectangle’s diagonals are perpendicular.
5+6=6 if and only if 7+1=10.
Types of Propositional Forms
Tautology
• A proposition that is always true under all possible combination of truth values for all
component propositions.
example: (P∧Q) ⇒ P
P Q P∧Q (P∧Q) ⇒ P
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 1
Contradiction
• A proposition that is always false under all possible combination of truth values of the
component propositions.
example: P∧¬P
P ¬P P∧¬P
0 1 0
1 0 0
Contingency
• The combination of tautology and Contradiction
a proposition which is neither a tautology nor a contradiction
ex.
(P v Q ) ⇒ P
P Q P v Q ( P v Q) ⇒ P
1 1 1 1
1 0 1 1
0 1 1 0
0 0 0 1
Rules of Replacement
( equivalent propositions)
Any logically equivalent expressions can replace each other wherever they occur.
1. Idempotence
P ⇔ ( P ∨ P )
P ⇔ ( P ∧ P )
2. Commutativity
( P ∨ Q ) ⇔ ( Q ∨ P )
( P ∧ Q ) ⇔ ( Q ∧ P )
3. Associativity
( P ∨ Q ) ∨ R ⇔ P ∨ ( Q ∨ R )
( P ∧ Q ) ∧ R ⇔ P ∧ ( Q ∧ R )
4. De Morgan’s Laws
 ( P ∨ Q ) ⇔  P ∧  Q
 ( P ∧ Q ) ⇔  P ∨  Q
5. Distributivity of ∧ over ∨
P ∧ ( Q ∨ R ) ⇔ ( P ∧ Q ) ∨ ( P ∧ R )
6. Distributivity of ∨ over ∧
P ∨ ( Q ∧ R ) ⇔ ( P ∨ Q ) ∧ ( P ∨ R )
7. Double Negation
  P ⇔ P
8. Material Implication
( P ⇒ Q ) ⇔ (  P ∨ Q )
9. Material Equivalence
( P ⇔ Q ) ⇔ ( P ⇒ Q ) ∧ ( Q⇒P )
10. Exportation
[ ( P ∧ Q ) ⇒ R ] ⇔ [ P ⇒ ( Q ⇒ R ) ]
11. Absurdity
[ ( P ⇒ Q ) ∧ ( P ⇒  Q )] ⇔  P
12. Contrapositive
( P ⇒ Q ) ⇔ (  Q ⇒  P )
13. Identity
P ∨ 1 ⇔ 1 P ∧ 1 ⇔ P
P ∨ 0 ⇔ P P ∧ 0 ⇔ 0
P ∨  P ⇔ 1 P ∧  P ⇔ 0
 0 ⇔ 1  1 ⇔ 0
13. Absorption
P ∧ ( P ∨ R ) ⇔ P
P ∨ ( P ∧ R ) ⇔ P
EXAMPLES:
1. SHOW THAT [P<=>Q] <=>[(P∧Q) ∨ (¬P ∧ ¬Q)]
P Q P<=>QP∧Q ¬P∧¬Q (P∧Q)∨(¬P∧¬Q)
1 1 1 1 0 1
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 1 1
Corresponding TRUTH VALUES OF THE PROPOSITIONS ARE EQUAL.
Therefore, [P<=>Q] <=>[(P∧Q) ∨ (¬P ∧ ¬Q)] is a tautology. Hence, P<=>Q is equivalent to [(P∧Q)
∨ (¬P ∧ ¬Q)].
2. SIMPLIFY [(P⇒Q) v (P⇒R)] ⇒( Q v R )
[(¬P v Q )v(¬P v R)] ⇒ (Q v R) MI
[(¬P v¬P)v(Q v R)] ⇒( Q v R ) Assoc.
[¬Pv(QvR) ] ⇒ ( Q v R ) Idempotence
¬[¬P v( Q v R ) v ( Q v R ) MI
[P∧¬(QvR)]v(QvR) Dem, DN
[Pv(QvR)]∧[¬(QvR)v(QvR)] Distributivity
[Pv (QvR)]∧1 Identity
Pv(QvR) Identity
3. On a rare TV game show, a young couple was shown three keys labeled A, B and C and was told
that they could win a beautiful new home simply by picking the key which opened its front door. To
help the couple make their decision, the EMCEE of the show gave them the following pieces of
information:
“ Either key A will open the door, or key B will not and key C will. “
“ If key B will not open the door then key C will. “
“ It is impossible that either both keys A and B will open the door or both keys A and C will.”
After a few minute-reflection the couple made the correct choice. WHICH KEY DID THE
COUPLE PICK? Show a solution that uses a TRUTH TABLE.
By truth table, show that every condition is true if key chosen is A or B or C.
Solution:
A B C A ∨ ( B ∧ C)  B ⇒ C  [(A ∧ B) ∨ (A ∧ C)]
1 0 0 1 0 1
0 1 0 0 1 1
0 0 1 1 1 1
Key C is the one chosen.
EXERCISE. Prove each of the rules of replacement using truth tables
Argument
• An argument is a collection of propositions where it is claimed that one of the propositions ( the
conclusion ), follows from the other propositions (the premises).
Inductive Argument
• One where it is claimed that within a certain probability of error the conclusion follows from the
premises
Deductive Argument
• One where it is claimed that the conclusion absolutely follows from the premises.
valid Argument
• A deductive argument is said to be valid if whenever the premises are all true and the conclusion
is also true.
Rules of Inference ( Basic Valid Arguments )
1.Addition
P
______
∴P v Q
2.Conjunction
P
Q
______
∴P∧Q
3.Simplification
P∧Q
_______
∴P
4.Modus Ponens
P⇒ Q
P
______
∴ Q
5. Modus Tolens
P⇒ Q
¬Q
______
∴¬P
6.Disjunctive Syllogism
P v Q
¬P
______
∴Q
7. Hypothetical Syllogism
P⇒Q
Q⇒R
______
∴P⇒ R
8.Constructive Dilemma
(P⇒Q)∧(R⇒S)
P v R
______
∴Q v S
9.Destructive Dilemma
(P⇒Q)∧(R⇒S)
¬Q v ¬S
______
∴¬P v ¬R
Proving Invalidity
• To show that an argument is invalid , we make an argument of truth values to the component
propositions that will make the premises true and the conclusion false.
example:
J ⇒ ( K ⇒ L ) 1 J = 1
K ⇒ (  L ⇒ M ) 1 K = 0
( L ∨ M ) ⇒ N 1 L = 0
M = 0
∴ J ⇒ N 0 N = 0
Invalid
R=>P P = 1
P v Q Q = 0
______
∴P=>Q R = O
Rule of conditional Proof
• To prove P ⇒ Q, include P among the premises and prove Q instead.
Ex.
1. A=>(B=>C)
2. B=>(C=>D)
_____
∴ A=>(B=>D)
3. A Rule of conditional proof
∴B=>D
4.B Rule of conditional proof
∴D
5. C=>D MP 2,4
6. B =>C MP 1,3
7. C MP 4,6
8. D MP 5,7
Rule of Indirect Proof
• To Prove Q, include  Q among the premises and derive a contradiction (prove 0).
Ex.
1.P⇒Q
2.Q⇒R
3.S⇒¬R
4.¬S⇒¬T
5.¬T⇒¬Q
-----------
∴ ¬P
6.¬¬P Rule of indirect proof
______
∴ 0
7.P DN 6
8.Q MP 1,7
9.R MP 2,8
10.¬S MT 3,9
11.¬T MP 4,10
12. ¬Q MP 5,11
13. Q ∧ ¬Q Conj. 8,12
14. 0 identity 13
Examples:
1. Prove the following arguments
a. (A v G )=> S
(A∧T)
______
∴ S
Proof:
(1) (A v G )⇒ S
(2) (A∧T)
______
∴ S
(3) A Simp. 2
(4) A v G Add. 3
(5) S MP 1,4
b. (1) (A∧B)⇒[A ⇒(D∧E)]
(2) (A∧B)∧C
_____
∴D v E
(3) A∧B Simp. 2
(4) A ⇒(D∧E) MP 1,3
(5) A Simp. 3
(6) D∧E MP 4, 5
(7) D Simp. 6
(8) D v E Add. 7
2.“ If we are a rich nation then we can help the poor. If we can help the poor then surely we should.
On the other hand, if the poor can help themselves then we shouldn’t help them. But if the poor
can’t help themselves then there are not sufficient jobs. If there are not sufficient jobs then we can’t
help the poor. But either the poor can help themselves or they cannot. Hence, either way, it seems
that we are not a rich nation! ”
Let P = we are a rich nation, Q = we can help the poor, R = we should help the poor, S = the poor
can help themselves,
T = there are sufficient jobs
Proof:
1. P ⇒ Q
2. Q ⇒ R
3. S ⇒  R
4.  S ⇒  T
5.  T ⇒  Q
6. S ∨  S
∴  P
7. ¬S ⇒ ¬Q HS (4,5)
8. Q ⇒ S Contrapositive (7)
9. Q ⇒ ¬R HS ( 8,3)
10. ¬R ⇒ ¬Q Contrapositive (2)
11 Q ⇒ ¬Q HS (9,10)
12. ¬Q ∨ ¬Q Material Implication (11)
13. ¬Q Idempotence (12)
14. ¬P MT (1,13)
3.“ If the test subject asks for food then he is hungry and if he is deprived of food for twenty-four hours,
he is hungry. Analysis of the test subject’s blood will indicate an absence of significant amount of
glucose only if he is deprived of food or asks for food. Hence, if the analysis of the subjects blood
shows an absence of significant amount of glucose, he is hungry.”
Let P = subject asks for food, Q = he is hungry, R = he is deprived of food, S = Analysis shows an
absence of glucose
Proof:
1. ( P ⇒ Q ) ∧ ( R ⇒ Q )
2. S ⇒ ( R ∨ P )
∴ S ⇒ Q
3. S Conditional Proof
∴ Q
4. R ∨ P MP (2,3)
5. P ∨ R Comm (4)
6. Q ∨ Q CD (1,5)
7. Q Idempotence
4. If universities charge no tuition, everyone will enter. If universities charge tuition, there is no equality
of opportunity unless deserving students get scholarships. But universities must either not charge or
charge tuition. Moreover, it is false that everyone will enter universities. Accordingly, if there is
equality of opportunity, then deserving students get scholarship.
Let
P- universities charge tuition
Q-everyone will enter
R-there is equality in opportunity
S-deserving students get scholarships
1. ¬P ⇒ Q
2. p ⇒ ¬RvS
3. P ∨ ¬P
4. ¬Q
______
∴R⇒S
5.P
6.P∨Q
7.¬R∨S
8.R⇒S
5. If the world is chaos, then it cannot be reformed unless a sage appears. But no sage can appear if the
world is chaos. The world surely is chaos. Hence, it cannot be reformed.
Let P= The world is chaos, Q= The world can be reformed
R-sage appears
1.P⇒(¬Q∨R)
2.P⇒¬R
3.P
______
∴¬Q
1.P⇒(¬Q∨R)
2.P⇒¬R
3.P
______
∴¬Q
4.¬Q∨R
5.¬R
6.¬Q
USEFUL TRANSLATIONs
P ∧ Q
P and Q P despite Q
P but Q Despite P, Q
P although Q P inspite of Q
Although P, Q P whereas Q
Not only P, but also Q P yet Q
While P, Q P while Q
P ∨ Q
P or Q P and/or Q
P or Q or both P unless Q
Either P or Q
P ⇒ Q
If P then Q Q if P
If P, Q Q provided that P
P only if Q Q incase of P
P implies Q
P ⇔ Q
P if and only if Q If p and only then Q
If and only if P, Q P just incase Q
If P, and only if Q

More Related Content

What's hot

Discrete-Chapter 04 Logic Part II
Discrete-Chapter 04 Logic Part IIDiscrete-Chapter 04 Logic Part II
Discrete-Chapter 04 Logic Part IIWongyos Keardsri
 
Discrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IDiscrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IWongyos Keardsri
 
Discrete-Chapter 05 Inference and Proofs
Discrete-Chapter 05 Inference and ProofsDiscrete-Chapter 05 Inference and Proofs
Discrete-Chapter 05 Inference and ProofsWongyos Keardsri
 
Logic and proof
Logic and proofLogic and proof
Logic and proofSuresh Ram
 
Mathematics for Computer Engineering
Mathematics for Computer EngineeringMathematics for Computer Engineering
Mathematics for Computer EngineeringAdhiyaman Manickam
 
Lecture notes in_discrete_mathematics
Lecture notes in_discrete_mathematicsLecture notes in_discrete_mathematics
Lecture notes in_discrete_mathematicssaiful26baiust
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategyallyn joy calcaben
 
Module - 2 Discrete Mathematics and Graph Theory
Module - 2 Discrete Mathematics and Graph TheoryModule - 2 Discrete Mathematics and Graph Theory
Module - 2 Discrete Mathematics and Graph TheoryAdhiyaman Manickam
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiersraksharao
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Ikhtiar Khan Sohan
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceasimnawaz54
 
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS Baasilroy
 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework HelpExcel Homework Help
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proofAbdur Rehman
 

What's hot (20)

Discrete-Chapter 04 Logic Part II
Discrete-Chapter 04 Logic Part IIDiscrete-Chapter 04 Logic Part II
Discrete-Chapter 04 Logic Part II
 
Discrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part IDiscrete-Chapter 04 Logic Part I
Discrete-Chapter 04 Logic Part I
 
Discrete-Chapter 05 Inference and Proofs
Discrete-Chapter 05 Inference and ProofsDiscrete-Chapter 05 Inference and Proofs
Discrete-Chapter 05 Inference and Proofs
 
Logic and proof
Logic and proofLogic and proof
Logic and proof
 
Mathematics for Computer Engineering
Mathematics for Computer EngineeringMathematics for Computer Engineering
Mathematics for Computer Engineering
 
Lecture notes in_discrete_mathematics
Lecture notes in_discrete_mathematicsLecture notes in_discrete_mathematics
Lecture notes in_discrete_mathematics
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
Module - 2 Discrete Mathematics and Graph Theory
Module - 2 Discrete Mathematics and Graph TheoryModule - 2 Discrete Mathematics and Graph Theory
Module - 2 Discrete Mathematics and Graph Theory
 
Per3 logika&amp;pembuktian
Per3 logika&amp;pembuktianPer3 logika&amp;pembuktian
Per3 logika&amp;pembuktian
 
Formal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and QuantifiersFormal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and Quantifiers
 
Unit 1 quantifiers
Unit 1  quantifiersUnit 1  quantifiers
Unit 1 quantifiers
 
Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)Discrete Math Presentation(Rules of Inference)
Discrete Math Presentation(Rules of Inference)
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Formal Logic - Lesson 1 - Introduction to Logic
Formal Logic - Lesson 1 - Introduction to LogicFormal Logic - Lesson 1 - Introduction to Logic
Formal Logic - Lesson 1 - Introduction to Logic
 
Discrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order LogicDiscrete Math Lecture 02: First Order Logic
Discrete Math Lecture 02: First Order Logic
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inference
 
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
Digital Text Book :POTENTIAL THEORY AND ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
 
3 fol examples v2
3 fol examples v23 fol examples v2
3 fol examples v2
 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework Help
 
Method of direct proof
Method of direct proofMethod of direct proof
Method of direct proof
 

Similar to Course notes1

Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDr. Khaled Bakro
 
UNIT-III-PPT.pptx
UNIT-III-PPT.pptxUNIT-III-PPT.pptx
UNIT-III-PPT.pptxDakshBaveja
 
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdfrAjyarAjanItjJa
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdfsmarwaneid
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]DIwakar Rajput
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptNandiniSR2
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxPriyalMayurManvar
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptxRavind8
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptsamalaramesh4
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdfjayarao21
 
Discrete structures &amp; optimization unit 1
Discrete structures &amp; optimization unit 1Discrete structures &amp; optimization unit 1
Discrete structures &amp; optimization unit 1SURBHI SAROHA
 

Similar to Course notes1 (20)

Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
 
UNIT-III-PPT.pptx
UNIT-III-PPT.pptxUNIT-III-PPT.pptx
UNIT-III-PPT.pptx
 
Logic parti
Logic partiLogic parti
Logic parti
 
DM(1).pptx
DM(1).pptxDM(1).pptx
DM(1).pptx
 
dma_ppt.pdf
dma_ppt.pdfdma_ppt.pdf
dma_ppt.pdf
 
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
[gaNita] 2. Propositional Equivalences [math.fsu.edu].pdf
 
Chapter 01 - p1.pdf
Chapter 01 - p1.pdfChapter 01 - p1.pdf
Chapter 01 - p1.pdf
 
Logic
LogicLogic
Logic
 
DMS UNIT-1 ppt.pptx
DMS UNIT-1 ppt.pptxDMS UNIT-1 ppt.pptx
DMS UNIT-1 ppt.pptx
 
12_Truth_Tables.pptx
12_Truth_Tables.pptx12_Truth_Tables.pptx
12_Truth_Tables.pptx
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
L2.pdf
L2.pdfL2.pdf
L2.pdf
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptx
 
Drinkfromme.pptx
Drinkfromme.pptxDrinkfromme.pptx
Drinkfromme.pptx
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.ppt
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdf
 
Discrete structures &amp; optimization unit 1
Discrete structures &amp; optimization unit 1Discrete structures &amp; optimization unit 1
Discrete structures &amp; optimization unit 1
 

Recently uploaded

Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machinePadma Pradeep
 
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | DelhiFULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhisoniya singh
 
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksBenefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksSoftradix Technologies
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraDeakin University
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxnull - The Open Security Community
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreternaman860154
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Patryk Bandurski
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):comworks
 

Recently uploaded (20)

Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
 
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | DelhiFULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
 
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other FrameworksBenefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other Frameworks
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning era
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food Manufacturing
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping Elbows
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 
Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptx
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):
 

Course notes1

  • 1. PART I: MATHEMATICAL LOGIC “Although mathematics is both a science and an art, special characteristics distinguish mathematics from the humanities and from other sciences. Particularly important is the kind of reasoning that typifies mathematics. The natural or social scientist generally makes observations of particular cases or phenomena and seeks a general theory that describes or explains the observations. This approach is called inductive reasoning, and it is tested by making further observations. If the results are incompatible with theoretical expectations, the scientist usually must reject or modify his theory. The mathematician, too, frequently uses inductive reasoning in attempting to describe patterns and relationships among quantities and structures. The characteristic thinking of the mathematician, however, is deductive reasoning, in which one uses logic to draw conclusions based on statements accepted as true. The conclusions of a mathematician are proved to be true, provided that assumptions are true. If a mathematical theory predicts results incompatible with reality, the fault will lie not in the theory but with the inapplicability of the theory to that portion of reality. Indeed, the mathematician is not restricted to the study of observable phenomena, even though mathematics can trace its development back to the need to describe spatial relations (Geometry) and motion (Calculus) or to solve numerical problems (Algebra). Using logic, the mathematician can draw conclusions about any mathematical structure imaginable.” The basics of logic and the idea of proof are important in many areas other than mathematics. For example, the thought processes used to construct an algorithm for a computer program are much like those used to develop the proof of a theorem. What is Logic? • An instrument used to appraise the correctness of reasoning. • The study of propositions / reasoning What is a proposition? • Declarative statement that is either true or false, but not both. Examples: The square root of 2 is irrational. 1+1 = 5 In the year 2000, more than a thousand Filipinos migrated to Canada. -5 < 75 Examples of sentences that are not propositions: What did you say? x = 6. This sentence is false. Notation: • The truth values of propositions are: 1 or T for true 0 or F for false • Capital letters are used to denote propositions. PROPOSITIONS AND CONNECTIVES: 1. Negation of Propositions (  P ) • Formed by introducing the word “not” in a proper place in the proposition. • Suppose P is a proposition P is the negation of P
  • 2. • Truth table P  P 1 0 0 1 EXAMPLE: It is not the case that the square root of 10 is greater than 4. 10 is not divisible by 2. 2. Conjunction ( P ∧ Q ) • Truth table P Q P ∧ Q 1 1 1 1 0 0 0 1 0 0 0 0 EXAMPLE: 6<7 and 7<8. 2*4=16 and a quart is larger than a liter. 3. Disjunction ( P ∨ Q ) • Truth table P Q P ∨ Q 1 1 1 1 0 1 0 1 1 0 0 0 EXAMPLES: Venus is smaller than earth or 1+4 = 5. The square root of 2 is less than the square root of 3 or chicken have lips. 4. Implication or Conditional Statement (P⇒Q) read as: If P then Q • P is called the hypothesis or the premise • Q is called the conclusion • Truth table P Q P ⇒ Q 1 1 1 1 0 0 0 1 1 0 0 1 EXAMPLES: If triangle ABC is isosceles, then the base angles A and B are equal. Mars has 10 moons implies that 1+1 = 2. 1+2=3 implies that 1<0. If the sun shines tomorrow then I will play basketball. If you get 100 in the final exam then you will pass this course.
  • 3. 5. Logical Equivalence or the Biconditional Statement (P⇔Q) read as: P if and only if Q • P ⇔ Q is equal to (( P ⇒ Q ) ∧ (Q ⇒ P)) • Truth table P Q P ⇒ Q Q ⇒ P P ⇔ Q or ( P ⇒ Q ) ∧ ( Q⇒P) 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 EXAMPLES : A rectangle is a square if and only if the rectangle’s diagonals are perpendicular. 5+6=6 if and only if 7+1=10. Types of Propositional Forms Tautology • A proposition that is always true under all possible combination of truth values for all component propositions. example: (P∧Q) ⇒ P P Q P∧Q (P∧Q) ⇒ P 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 Contradiction • A proposition that is always false under all possible combination of truth values of the component propositions. example: P∧¬P P ¬P P∧¬P 0 1 0 1 0 0 Contingency • The combination of tautology and Contradiction a proposition which is neither a tautology nor a contradiction ex. (P v Q ) ⇒ P P Q P v Q ( P v Q) ⇒ P 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 1
  • 4. Rules of Replacement ( equivalent propositions) Any logically equivalent expressions can replace each other wherever they occur. 1. Idempotence P ⇔ ( P ∨ P ) P ⇔ ( P ∧ P ) 2. Commutativity ( P ∨ Q ) ⇔ ( Q ∨ P ) ( P ∧ Q ) ⇔ ( Q ∧ P ) 3. Associativity ( P ∨ Q ) ∨ R ⇔ P ∨ ( Q ∨ R ) ( P ∧ Q ) ∧ R ⇔ P ∧ ( Q ∧ R ) 4. De Morgan’s Laws  ( P ∨ Q ) ⇔  P ∧  Q  ( P ∧ Q ) ⇔  P ∨  Q 5. Distributivity of ∧ over ∨ P ∧ ( Q ∨ R ) ⇔ ( P ∧ Q ) ∨ ( P ∧ R ) 6. Distributivity of ∨ over ∧ P ∨ ( Q ∧ R ) ⇔ ( P ∨ Q ) ∧ ( P ∨ R ) 7. Double Negation   P ⇔ P 8. Material Implication ( P ⇒ Q ) ⇔ (  P ∨ Q ) 9. Material Equivalence ( P ⇔ Q ) ⇔ ( P ⇒ Q ) ∧ ( Q⇒P ) 10. Exportation [ ( P ∧ Q ) ⇒ R ] ⇔ [ P ⇒ ( Q ⇒ R ) ] 11. Absurdity [ ( P ⇒ Q ) ∧ ( P ⇒  Q )] ⇔  P 12. Contrapositive ( P ⇒ Q ) ⇔ (  Q ⇒  P ) 13. Identity P ∨ 1 ⇔ 1 P ∧ 1 ⇔ P P ∨ 0 ⇔ P P ∧ 0 ⇔ 0 P ∨  P ⇔ 1 P ∧  P ⇔ 0  0 ⇔ 1  1 ⇔ 0 13. Absorption P ∧ ( P ∨ R ) ⇔ P P ∨ ( P ∧ R ) ⇔ P EXAMPLES: 1. SHOW THAT [P<=>Q] <=>[(P∧Q) ∨ (¬P ∧ ¬Q)] P Q P<=>QP∧Q ¬P∧¬Q (P∧Q)∨(¬P∧¬Q) 1 1 1 1 0 1 1 0 0 0 0 0
  • 5. 0 1 0 0 0 0 0 0 1 0 1 1 Corresponding TRUTH VALUES OF THE PROPOSITIONS ARE EQUAL. Therefore, [P<=>Q] <=>[(P∧Q) ∨ (¬P ∧ ¬Q)] is a tautology. Hence, P<=>Q is equivalent to [(P∧Q) ∨ (¬P ∧ ¬Q)]. 2. SIMPLIFY [(P⇒Q) v (P⇒R)] ⇒( Q v R ) [(¬P v Q )v(¬P v R)] ⇒ (Q v R) MI [(¬P v¬P)v(Q v R)] ⇒( Q v R ) Assoc. [¬Pv(QvR) ] ⇒ ( Q v R ) Idempotence ¬[¬P v( Q v R ) v ( Q v R ) MI [P∧¬(QvR)]v(QvR) Dem, DN [Pv(QvR)]∧[¬(QvR)v(QvR)] Distributivity [Pv (QvR)]∧1 Identity Pv(QvR) Identity 3. On a rare TV game show, a young couple was shown three keys labeled A, B and C and was told that they could win a beautiful new home simply by picking the key which opened its front door. To help the couple make their decision, the EMCEE of the show gave them the following pieces of information: “ Either key A will open the door, or key B will not and key C will. “ “ If key B will not open the door then key C will. “ “ It is impossible that either both keys A and B will open the door or both keys A and C will.” After a few minute-reflection the couple made the correct choice. WHICH KEY DID THE COUPLE PICK? Show a solution that uses a TRUTH TABLE. By truth table, show that every condition is true if key chosen is A or B or C. Solution: A B C A ∨ ( B ∧ C)  B ⇒ C  [(A ∧ B) ∨ (A ∧ C)] 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 Key C is the one chosen. EXERCISE. Prove each of the rules of replacement using truth tables Argument • An argument is a collection of propositions where it is claimed that one of the propositions ( the conclusion ), follows from the other propositions (the premises). Inductive Argument • One where it is claimed that within a certain probability of error the conclusion follows from the premises Deductive Argument • One where it is claimed that the conclusion absolutely follows from the premises. valid Argument
  • 6. • A deductive argument is said to be valid if whenever the premises are all true and the conclusion is also true. Rules of Inference ( Basic Valid Arguments ) 1.Addition P ______ ∴P v Q 2.Conjunction P Q ______ ∴P∧Q 3.Simplification P∧Q _______ ∴P 4.Modus Ponens P⇒ Q P ______ ∴ Q 5. Modus Tolens P⇒ Q ¬Q ______ ∴¬P 6.Disjunctive Syllogism P v Q ¬P ______ ∴Q 7. Hypothetical Syllogism P⇒Q Q⇒R ______ ∴P⇒ R 8.Constructive Dilemma (P⇒Q)∧(R⇒S) P v R
  • 7. ______ ∴Q v S 9.Destructive Dilemma (P⇒Q)∧(R⇒S) ¬Q v ¬S ______ ∴¬P v ¬R Proving Invalidity • To show that an argument is invalid , we make an argument of truth values to the component propositions that will make the premises true and the conclusion false. example: J ⇒ ( K ⇒ L ) 1 J = 1 K ⇒ (  L ⇒ M ) 1 K = 0 ( L ∨ M ) ⇒ N 1 L = 0 M = 0 ∴ J ⇒ N 0 N = 0 Invalid R=>P P = 1 P v Q Q = 0 ______ ∴P=>Q R = O Rule of conditional Proof • To prove P ⇒ Q, include P among the premises and prove Q instead. Ex. 1. A=>(B=>C) 2. B=>(C=>D) _____ ∴ A=>(B=>D) 3. A Rule of conditional proof ∴B=>D 4.B Rule of conditional proof ∴D 5. C=>D MP 2,4 6. B =>C MP 1,3 7. C MP 4,6 8. D MP 5,7 Rule of Indirect Proof • To Prove Q, include  Q among the premises and derive a contradiction (prove 0). Ex. 1.P⇒Q
  • 8. 2.Q⇒R 3.S⇒¬R 4.¬S⇒¬T 5.¬T⇒¬Q ----------- ∴ ¬P 6.¬¬P Rule of indirect proof ______ ∴ 0 7.P DN 6 8.Q MP 1,7 9.R MP 2,8 10.¬S MT 3,9 11.¬T MP 4,10 12. ¬Q MP 5,11 13. Q ∧ ¬Q Conj. 8,12 14. 0 identity 13 Examples: 1. Prove the following arguments a. (A v G )=> S (A∧T) ______ ∴ S Proof: (1) (A v G )⇒ S (2) (A∧T) ______ ∴ S (3) A Simp. 2 (4) A v G Add. 3 (5) S MP 1,4 b. (1) (A∧B)⇒[A ⇒(D∧E)] (2) (A∧B)∧C _____ ∴D v E (3) A∧B Simp. 2 (4) A ⇒(D∧E) MP 1,3 (5) A Simp. 3 (6) D∧E MP 4, 5 (7) D Simp. 6 (8) D v E Add. 7 2.“ If we are a rich nation then we can help the poor. If we can help the poor then surely we should. On the other hand, if the poor can help themselves then we shouldn’t help them. But if the poor can’t help themselves then there are not sufficient jobs. If there are not sufficient jobs then we can’t help the poor. But either the poor can help themselves or they cannot. Hence, either way, it seems that we are not a rich nation! ”
  • 9. Let P = we are a rich nation, Q = we can help the poor, R = we should help the poor, S = the poor can help themselves, T = there are sufficient jobs Proof: 1. P ⇒ Q 2. Q ⇒ R 3. S ⇒  R 4.  S ⇒  T 5.  T ⇒  Q 6. S ∨  S ∴  P 7. ¬S ⇒ ¬Q HS (4,5) 8. Q ⇒ S Contrapositive (7) 9. Q ⇒ ¬R HS ( 8,3) 10. ¬R ⇒ ¬Q Contrapositive (2) 11 Q ⇒ ¬Q HS (9,10) 12. ¬Q ∨ ¬Q Material Implication (11) 13. ¬Q Idempotence (12) 14. ¬P MT (1,13) 3.“ If the test subject asks for food then he is hungry and if he is deprived of food for twenty-four hours, he is hungry. Analysis of the test subject’s blood will indicate an absence of significant amount of glucose only if he is deprived of food or asks for food. Hence, if the analysis of the subjects blood shows an absence of significant amount of glucose, he is hungry.” Let P = subject asks for food, Q = he is hungry, R = he is deprived of food, S = Analysis shows an absence of glucose Proof: 1. ( P ⇒ Q ) ∧ ( R ⇒ Q ) 2. S ⇒ ( R ∨ P ) ∴ S ⇒ Q 3. S Conditional Proof ∴ Q 4. R ∨ P MP (2,3) 5. P ∨ R Comm (4) 6. Q ∨ Q CD (1,5) 7. Q Idempotence 4. If universities charge no tuition, everyone will enter. If universities charge tuition, there is no equality of opportunity unless deserving students get scholarships. But universities must either not charge or charge tuition. Moreover, it is false that everyone will enter universities. Accordingly, if there is equality of opportunity, then deserving students get scholarship. Let P- universities charge tuition Q-everyone will enter R-there is equality in opportunity
  • 10. S-deserving students get scholarships 1. ¬P ⇒ Q 2. p ⇒ ¬RvS 3. P ∨ ¬P 4. ¬Q ______ ∴R⇒S 5.P 6.P∨Q 7.¬R∨S 8.R⇒S 5. If the world is chaos, then it cannot be reformed unless a sage appears. But no sage can appear if the world is chaos. The world surely is chaos. Hence, it cannot be reformed. Let P= The world is chaos, Q= The world can be reformed R-sage appears 1.P⇒(¬Q∨R) 2.P⇒¬R 3.P ______ ∴¬Q 1.P⇒(¬Q∨R) 2.P⇒¬R 3.P ______ ∴¬Q 4.¬Q∨R 5.¬R 6.¬Q USEFUL TRANSLATIONs P ∧ Q P and Q P despite Q P but Q Despite P, Q P although Q P inspite of Q Although P, Q P whereas Q Not only P, but also Q P yet Q While P, Q P while Q P ∨ Q P or Q P and/or Q P or Q or both P unless Q Either P or Q P ⇒ Q If P then Q Q if P If P, Q Q provided that P P only if Q Q incase of P
  • 11. P implies Q P ⇔ Q P if and only if Q If p and only then Q If and only if P, Q P just incase Q If P, and only if Q