PROPOSITION AND NOT PROPOSITION LIGICA PROPOSITION AND NOT PROPOSITION

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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