Title: CONTRADICTION
 1class X
CONTRADICTION
CONJUNCTION
TAUTOLOGY
STATEMENT
EQUIVALENCE
IMPLICATION
MATHEMATIC LOGIC
OPEN SENTENCE 
PROBLEMS
CONVERSE,INVERSE, CONTRAPOSITION
NEGATION
BIIMPLICATION
QUANTIFIER
DISJUNCTION
LOGICAL IMPLICATION
CONCLUSIONS
EXCERCISE 
 2Statement is a sentence which is only right or 
wrong, but can not right and wrong and the same 
time.
- Example of Statement 
-  3 is a prime number  ? right statement 
-  12 is an odd number  ? wrong statement
STATEMENT
- Example of Non Statement  
-  What is your weight?  
-  For those who are sleepy, please sleep  
-  Chicken noodle is delicious 
3Open sentence is sentence which is contain 
variable so the right value can not be determined.
- Example open sentence  
-  x  y  10  
-  It is a solid thing 
Open Sentence
- Open sentence can be changed into statement by 
 changing the variable in universal set.
- Solution of open sentence is changed value in 
 universal set which changes open sentence become
 right statement
4From a statement can be made a new statement by 
adding incorrect word in front of the first 
statement or inserting not or no in the first 
statement. The new statement can be found by 
using the method called Negation marked with ?.
Example  Negation of p  25 divisible by 2 is  
 p  Incorrect if 25 divisible by 2 p  25 
is not divisible by 2
NEGATION
- If statement p is true then ? p is false 
- If statement p is false ? p is true
5Disjunction is statement which is formed from 
two statements p and q that is connected with 
but and notated  p ? q
A disjunction is false if two statements are false
DISJUNCTION
p q p ? q
T T T
T F T
F T T
F F F
TRUTH TABLE
Exercise 
 6Conjunction is statement which is formed from 
two statements p and q that is connected with 
and/but/although/even though and notated  p ? q
A conjunction is true if two statements are true.
CONJUNCTION
p q p ? q
T T T
T F F
F T F
F F F
TRUTH TABLE
EXERCISE 
 7Implication is a compound statement which is 
formed from two statements p and q, connected 
with if  then  and notated  p ? q
An implication is false if p is true and q is 
false .
IMPLICATION
p q p ? q
T T T
T F F
F T T
F F T
TRUTH TABLE
EXERCISE 
 8Bi-implication is a compound statement which is 
formed from two statements p and q, connected 
with if and only if and notated  p ?q
A bi-implication is true if both statements have 
the same truth.
BIIMPLICATION
p q p ? q
T T T
T F F
F T F
F F T
TRUTH TABLE
EXERCISE 
 9Two statement A and B are equivalence, if have 
the same truth, written A ? B
- These are some important equivalence 
- Commutative Laws  
-  a. p ? q ? q ? p 
-  b. p ? q ? q ? p 
- 2. Assosiative Laws 
-  a. p ? (q ? r) ? (p ? q) ? r 
-  b. p ? (q ? r) ? (p ? q) ? r 
EQUIVALENCE 
 103. Distributive Laws a. p ? (q ? r) ? (p ? q) ? 
(p ? r) b. p ? (q ? r) ? (p ? q) ? (p ? r) 4. 
de Morgan Laws a. (p ? q) ? p ? q b. (p ? 
q) ? p ? q 5. Another equivalence 
statements a. p ? q ? p ? q b. p ? q ? (p 
? q) ? (q ? p) c. (p ? q) ? p ? q d. (p ? 
q) ? (p ?  q) ? (q ? p) 
EQUIVALENCE 
 11Tautology is a compound statements which is 
always true for all true possibility of its 
component statements.
Example Show that (p ? q) ?p is a tautology.
TAUTOLOGY
Answer 
p q p ? q (p?q)?p
T T T T
T F F T
F T F T
F F F T 
 12Contradiction is a compound statements which is 
always false for all truth possibility of its 
component statement.
Example  Show that (p ? q) ? p is a 
contradiction 
CONTRADICTION
Answer 
p q p ? q p (p?q) ? p
T T T F F
T F F F F
F T F T F
F F F T F 
 13Implication Logic is a tautology which is 
contain implication
Example  Show that p ?(p ? q) is implication 
logic.
LOGICAL IMPLICATION 
Answer 
p q p ? q p ? (p ? q)
B B B B
B S B B
S B B B
S S S B 
 14From an implication p ? q can be formed another 
implications are converse, inverse, and 
contraposition. If p ? q is an implication 
then q ? p is called converse ?p ? ?q is called 
inverse ?q ? ?p is called contraposition
Converse Inverse Contraposition 
 15Example Find converse, inverse and 
contraposition from statement If ? is acute 
angle, then cos ? is positif. Answer Converse  
If cos ? is positive , then ? is acute 
angle Inverse  If ? is not acute angle, then 
cos ? is not positive. Contraposition  If cos 
? is not positive, then ? is not acute angle
Converse Inverse Contraposition
Implication equal with contraposition p ? q ? 
 q ?  p Inverse equal with converse   p ?  
q ? q ? p 
 16- Universal Quantifier 
-   using all or each  
-   notated  ?x ?S, p(x) 
-  read  for all x so p(x) 
- 2. Existential Quantifier 
-   using some or there are/is  
-   notated  ?x ?S, p(x) 
-  read exist x so p(x) 
QUANTIFIER
PROBLEMS 
 17- Negation of Quantifier Statement 
- (?x ?S, p(x)) ? ?x ?S, p(x) 
- (? x ?S, p(x)) ? ? x ?S, p(x) 
- Example  
- Negation of  All prime number is natural number 
 is Exist a prime number is not natural number
- Negation of Exist plant which does not have 
 leaves is All plant has leaves
-  
QUANTIFIER
PROBLEMS 
 18-  Three basic conclusions , are modus ponens, 
 modus tollens and syllogism
- Modus Ponens 
-  p ? q (premis) 
-  p (premis) 
-  --------- 
-  ? q (conclusion)
CONCLUSIONS
PROBLEMS 
 192. Modus Tollens p ? q (premis) ?q (premis) --
------- ? ?p (conclusion)
CONCLUSIONS
PROBLEMS 
 203. Syllogism p ? q (premis) q ? 
r (premis) --------- ? p ? r (conclusion)
CONCLUSIONS
PROBLEMS 
 21IMPLICATION
CONJUNCTION
CONCLUSIONS
PROBLEMS
BIIMPLICATION
EQUIVALENT
DISJUNCTION 
 22DISJUNCTION EXERCISES
QUESTION NO. 1 Find the truth value form these 
disjunction ! 3 is prime number or 3 is odd. 
T
F
TO PROBLEMS MENU 
 23DISJUNCTION EXERCISES
QUESTION NO. 2 Find the truth value form these 
disjunction ! sin2x  cos2x  1 or sin 60? 
½ 
T
F
TO PROBLEMS MENU  
 24DISJUNCTION EXERCISES
QUESTION NO. 3 Find the truth value form these 
disjunction ! 0 is natural number or ½ is a 
whole number. 
T
F
TO PROBLEMS MENU 
 25DISJUNCTION EXERCISES
QUESTION NO. 4 Find the truth value form these 
disjunction ! 13 divisible by 2 or 7 is prime 
number. 
T
F
TO PROBLEMS MENU 
 26CONJUNCTION EXERCISES
- Find the truth value form these conjunction ! 
- sin2x  1  cos2x and cos 60?  ½ 
- 2 is prime number even tough 2 is even. 
- - 3 is whole number but  3 is greater than 0. 
- ?2  ? 8  ?10 and log 0  1
TO PROBLEMS MENU  
 27IMPLICATION EXERCISES
- Find the truth value form these implications! 
-  a. If 3 is factor of 12, then 12 is divisible by 
 2.
-  b. If log 10  1, then log 40  4. 
-  c. If 6 is prime number, then 6 is even. 
-  d. If x2 lt 0, then x2  1 gt 0 
-  e. If 22 x 23  26, then ?2 x ?3  ?6 
-  f. If sin 90?  0, then cos 90?  1 
-  g. If x2 gt 0, then ?4  ? 2
Next problems
TO PROBLEMS MENU 
 28IMPLICATION EXERCISES
2. Known these statements have true value p  
Farhan passes the exam q  Farhan is happy Find 
the truth value from each implication a. If 
Farhan passes the exam, then he is happy b. If 
Farhan passes the exam, then he is unhappy c. If 
Farhan failed the exam, then he is happy d. If 
Farhan failed the exam, then he is unhappy  
 29BI-IMPLICATION EXERCISES
1. Find the truth value form these bi-implication 
! a. 0 is whole number if and only if 0 is 
natural number b. 2 is prime number if and only 
if 2 is factor of 12 c. tan 30?  ?3 if and 
only if cos180?  1 d. log 8  log 2  log 6 if 
and only if log 10  1 e. 22 x 23  46 if and 
only if ?2  ?3  ?5 f. x  1  0 if and only 
if x2 0 g. x2  4 lt 0 if and only if -2 lt x lt 2
Next Problems 
 30BI-IMPLICATION EXERCISES
2. Known these statements have true value p  
Olga is an actress q  Olga is beautiful Find 
the truth value from these bi-implication a. If 
Olga is an actress, then she is beautiful b. If 
Olga is an actress, then she is not beautiful c. 
If Olga is not an actress, then she is 
beautiful d. If Olga is not an actress, then she 
is not beautiful 
TO PROBLEMS MENU 
 31EQUIVALENCE EXERCISES
 Find converse, inverse, and contraposition form 
these implication 1. (p?q) ? r 2. (p?q) ? 
r 3. p ? (q ?r) 4. If Tukul is an entertainer, 
then he is funny 5. If ? ABC is equilateral, 
then ? ABC is isosceles 6. If father goes to 
his office, then he rides his car or motorcycle
TO PROBLEMS MENU  
 32CONCLUSION EXERCISES
 Find valid or invalid of each argument 1. If 
rainy then, Olga brings an umbrella Today is 
raining ----------------------------------------
-------------------------- ? Olga is bringing 
an umbrella 2. If Michael Jordan is a 
basketball player, then he is tall Michael 
Jordan is a basketball player ------------------
------------------------------------------------ 
 ? Michael Jordan is tall
Next Exercise
TO PROBLEMS MENU 
 33CONCLUSION EXERCISES
 3. If Zahra is passenger attendance, then she is 
beautiful If Zahra is beautiful, then many 
people like her 
 -------------------------------------------------
----------------------- ? If Zahra is passenger 
attendance, then many people like her 4. If 
there is sugar, then there is ants There is no 
ants -------------------------------------------
----------------------- ? There is no sugar
TO PROBLEMS MENU  
 34 DISJUNCTION EXERCISES
QUESTION NO. 1 Find the truth value from these 
disjunction 3 is prime number or 3 is odd.
T
F
T
QUESTION NO. 2
TO PROBLEM MENU  
 35DISJUNCTION EXERCISES
QUESTION NO. 1 Find the truth value from these 
disjunction 3 is prime number or 3 is odd.
T
F
T
QUESTION NO. 2
TO PROBLEMS MENU  
 36DISJUNCTION EXERCISES
QUESTON NO. 2 Find the truth value from these 
disjunction ! sin2x  cos2x  1 or sin 60? ½ 
T
F
T
QUESTION NO. 3
TO PROBLEM MENU 
 37DISJUNCTION EXERCISES
QUESTION NO. 2 Find the truth value from these 
disjunction ! cos 60?  ½ or sin 60? ½ 
T
T
F
QUESTION NO. 3
TO PROBLEMS MENU  
 38DISJUNCTION EXERCISES
QUESTION NO. 3 Find the truth value from these 
disjunction ! 0 is natural number or ½ is whole 
number.
S
F
T
QUESTION NO. 4
TO PROBLEMS MENU  
 39DISJUNCTION EXERCISES
QUESTION NO. 3 Find the truth value from each 
disjunction! 0 is natural number or ½ is whole 
number.
F
T
S
QUESTION NO. 4
TO PROBLEMS MENU  
 40DISJUNCTION EXERCISES
QUESTION NO. 4 Find the truth value from these 
disjunction ! 13 is divisible by 2 or 7 is prime 
number.
T
T
F
TO PROBLEMS MENU  
 41DISJUNCTION EXERCISES
QUESTION NO. 4 Find the truth value from these 
disjunction ! 13 is divisible by 2 or 7 is prime 
number.
T
T
F
TO PROBLEMS MENU  
 42Good ,. You right! 
 43Excellent,. Y ou right! 
 44Well done ..! 
 45Sorry..you are wrong!