1. PROPOSITION AND NOT PROPOSITION
LIGICA
PROPOSITION AND NOT PROPOSITION

2. Isi dengan Judul Halaman Terkait
Proposition
Proposition is a sentence which can explain something true or false.
A proposition is usually symbolized by small letter, such as a, b, c, etc.
Examples:
a : 2 is an even number (true)
b : 4 can be divided by 3 (false)
The truth proposition has truth value T (true), while the false proposition has the truth value F (false).
The truth value of proposition can be denoted as  (tau)
Examples:
a : 8 is an even number, it is a truth proposition, (a) = T
p : 5 is less than 4, it is a false proposition, (p) = F
Hal.: 2
Isi dengan Judul Halaman Terkait

3. Isi dengan Judul Halaman Terkait
Open Sentences (Not Proposition)
Open sentences containing variables, so can not be determined the truth value yet.
Examples : 1.
2. It is liquid
A. NEGATION
If p is a proposition, then the negation of p is written by ~p
and it is read as not p or p is not true.
Examples :
p : 7 is prime number, then ~p: 7 is not prime number
q : 3+2 is equal to 6, then ~q: 3+2 is not equal to 6
The truth table p T F
Hal.: 3
Isi dengan Judul Halaman Terkait

4. Disjunction
Disjunction is two proposition which uses a connective “OR”
Proposition disjunction of p and q, denoted as
read as p or q
The truth table of disjunction is as follows: p q T S F
Sentences to remember :
“ students, you have to bring pencil or pen ”
Hal.: 4
Isi dengan Judul Halaman Terkait

5. Isi dengan Judul Halaman Terkait
Conjunction
Conjunction is a kind of compound proposition, which uses a connective “AND”
Conjunction of proposition p and q denoted as
and read p dan q
The truth table of
Sentences to remember : p q B S
“ students, you have to bring book and pen ”
Hal.: 5
Isi dengan Judul Halaman Terkait

6. Implication
Implication is a compound proposition which is formed from two proposition of p and q denoted as if p then q
The implication if p then q is denoted as
The truth table of implication is as follows:
Read if p then q or
p only if q
q if p
p is sufficient condition for q
q is necessary condition for p p q T F
Hal.: 6
Isi dengan Judul Halaman Terkait

7. Isi dengan Judul Halaman Terkait
Biimplication
Biimplication from propositions p and q can be denoted as
and read as
p if and only if q
If p then q and if q then p
p is necessary condition and enough for q
q is necessary condition and enough for p
The truth table : p q T F
Hal.: 7
Isi dengan Judul Halaman Terkait

8. Isi dengan Judul Halaman Terkait
Compound Proposition
Compound proposition is a proposition formed from a few single sentences. They are AND (Λ), OR (V), IF …, THEN …( =>), AND IF ONLY IF … ()
The examples compound proposition 1. 2.
Examples :
Determine the truth value of
To determine the truth value, usually using the truth table : p q ~q
(pv~q)
(pv~q)=>p T F
So, the truth value of (pv~q) => p
is T,T,T,F
or denoted as :
T T T F
Hal.: 8
Isi dengan Judul Halaman Terkait

9. Isi dengan Judul Halaman Terkait
Tautology
Tautology is a compound proposition which always true for all possible valuation of proposition component
Example :
Show that the compound proposition
adalah sebuah tautologi
Table p q
(pvq)
p => (pvq) T F
So the proposition is Tautology
Kontradiction
Kontradiction is a compound proposition which always false for all possible valuation of proposition component
Hal.: 9
Isi dengan Judul Halaman Terkait

10. Isi dengan Judul Halaman Terkait
The Equivalence of Two Compound Proposition
The two compound proposition is called equivalent if those two compound sentences have the same truth value for all possible valuation of proposition component
The equivalence of two compound proposition is denoted by p ≡ q
Equivalent
Hal.: 10
Isi dengan Judul Halaman Terkait

11. Isi dengan Judul Halaman Terkait
The Equivalence of Two Compound Proposition
p : Mother takes my sister , q : I am studying
(p V q) : Mother takes my sister or, I am studying
~(p V q) : (~p~q) = Mother doesn’t take my sister and I am not studying
p : I pass to the next grade , q : I get present
pq : If I pass the next grade then I get present
~(pq) =(p~q) : I pass to the next grade and I don’t get present
I pass to the next grade but I don’t get present
Hal.: 11
Isi dengan Judul Halaman Terkait

12. Isi dengan Judul Halaman Terkait
The Equivalence of Two Compound Proposition
In disjunction and conjuction, they have commulative law, associative law, and distributive law.
Commutative Law
Associative Law
Distributive Law
Distributive conjunction to disjunction
Distributive conjunction to disjunction
Hal.: 12
Isi dengan Judul Halaman Terkait

13. Isi dengan Judul Halaman Terkait
The Correlation Between Converse, Inverse, Controposition and Implication
If we have an implication , then we can mate another implication, they are :
, is called converse from implication
, is called inverse from implication
, is called contraposition from implication p q ~p ~q
pq
~q~p
qp
~p~q B S B S S B S B B S B S B S B S ≡
Implication equivalent with its contraposition ≡
Converse equivalent with its inverse
Hal.: 13
Isi dengan Judul Halaman Terkait

14. Isi dengan Judul Halaman Terkait
Universal Quantor
All students of grade X of senior high school 1 are clever
The words “All” every are universal equator (general)
The symbol of universal equator are :
Read as for all x, we have p(x) or
Read as, for all x is S member, we have p(x)
Exsistential Quantor
A few students of grade X of senior high school are clever.
The word “a few” or “there are/there is” are exsistential quantor (specific)
Examples:
U = a set of all students of senior high school in Jakarta
A = a set of all students of senior high school 1
B = a set of all grade X students of senior high school 1 who are clever
The proposition of “a few of grade X students of senior high school ! are clever”, can be denoted by
Read : a few students of senior high school 1 are clever, OR
at least a student of grade X of senior high school 1 is clever
Hal.: 14
Isi dengan Judul Halaman Terkait

15. Isi dengan Judul Halaman Terkait
NEGATION OF QUANTORED STATEMENT
Negation of quantored statement
Example:
p : All the first grade students are diligent
~p : There is one students who is not diligent
q : There is one students whose house is in Kelapa Gading
~q : All of the first grade students’ house are not in Kelapa Gading
r : If all the first grade students pass to the next grade, then I am happy
~r : All the first grade students pass to the next grade and I am not happy
~r : All the first grade students pass to the next grade but I am not happy
Hal.: 15
Isi dengan Judul Halaman Terkait

16. Isi dengan Judul Halaman Terkait
Drawing Conclusion
Drawing Conclusion
The statements which have the truth value is called premise
Then, using logical principle it can be drawn a new statement ( conclusion)
Drawing conclusion is also called argumentation
An argumentation is called legal if the premises are true, then the conclusion are also true
Hal.: 16
Isi dengan Judul Halaman Terkait

17. Isi dengan Judul Halaman Terkait
Drawing conclusion
Continuation
1. SYLLOGISM
conclusion
premise 1
premise 2
Example:
If today is raining, then I will not go to school premise 1
If I’m not going to school, then my father will angry premise 2
Then, the conclusion is : if today is raining, then my father will angry
Hal.: 17
Isi dengan Judul Halaman Terkait

18. Isi dengan Judul Halaman Terkait
Drawing Conclusion
2. Ponen Modus
premise 1
premise 2
conclusion
Example:
If I have a lot of money, then I will buy a house premise 1
I have a lot of money premise 2
Then the conclusion is I will buy a house
Hal.: 18
Isi dengan Judul Halaman Terkait

19. Isi dengan Judul Halaman Terkait
Drawing Conclusion
3. Tollens Modus
premise 1
premise 2
conclusion
Example:
If the day the weather is fine, I will come to your party premise 1
I won’t come to your party premise 2
Then the conclusion is Today the weather is not fine
An argumentation is called legal if the conjunction of the premises implicate with the conclusion. And it is called TAUTOLOGY
Hal.: 19
Isi dengan Judul Halaman Terkait

20. Isi dengan Judul Halaman Terkait
No Lazy student! Or
STUDY IN THE WHOLE LIFE
Hal.: 20
Isi dengan Judul Halaman Terkait