1 / 46

PERNYATAAN DAN BUKAN PERNYATAAN

LOGIKA. PERNYATAAN DAN BUKAN PERNYATAAN. LOGIKA. PROPOSITION AND NOT PROPOSITION. LOGIKA. Standar Kompetensi Menerapkan logika matematika dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor. Kompetensi Dasar

calista-kennedy
Download Presentation

PERNYATAAN DAN BUKAN PERNYATAAN

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. LOGIKA PERNYATAAN DAN BUKAN PERNYATAAN

  2. LOGIKA PROPOSITION AND NOT PROPOSITION

  3. LOGIKA Standar Kompetensi Menerapkan logika matematika dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor Kompetensi Dasar 1. Mendiskripsikan pernyataan dan bukan pernyataan (kalimat terbuka). 2. Mendiskripsikan ingkaran, konjungsi, disjungsi, implikasi, biimplikasi, dan ingkarannya. 3. Mendiskripsikan invers, konvers, dan Kontraposisi. 4. Menerapkan modus ponens, modus tollens dan prinsip silogisme dalam menarik kesimpulan. LOGIKA

  4. LOGICAL Competence Standard Applying mathematic logical in solving a problem related to compound statement and quantor statement. Basic Competence 1. Describing statement and not statement (open sentence). 2. Describing negation, conjunction, disjunction, implication, biimplication, and its negation. 3. Describing inverse, converse, and contraposition. 4. Applying Ponens modus, Tollens modus, and Syllogism principle in drawing conclusion. LOGIKA

  5. LOGIKA Indikator: 1. Membedakan pernyataan dan kalimat terbuka. 2. Menentukan nilai kebenaran suatu pernyataan. 3. Mendeskripsikan ingkaran, konjungsi, disjungsi, implikasi, biimplikasi dan ingkarannya. 4. Mendiskripsikan invers, konvers, dan kontraposisi. LOGIKA

  6. LOGICAL Indicator: 1. Differentiate between statement and open sentence. 2. Define the truth value of a statement. 3. Describing negation, conjunction, disjunction, implication, biimplication and its negation. 4. Describing inverse, converse, and contraposition. LOGIKA

  7. A. PERNYATAANPernyataan adalah kalimat yang hanya bernilai benar saja atau salah saja, tidak bisa sekaligus benar dan salah PERNYATAAN DAN BUKAN PERNYATAAN Suatu pernyataan biasanya dilambangkan dengan huruf kecil seperti :a, b, c , dll. Contoh: a : 2 adalah bilangan genap (bernilai benar) b : 4 habis dibagi 3 (bernilai salah) Pernyataan yang benar dikatakan mempunyai nilai kebenaran B (benar), sedangkan pernyataan yang salah dikatakan mempunyai nilai kebenaran S (salah). Kata nilai kebenaan dilambangkan dengan  (tau). Contoh: a: 8 adalah bilangan genap, merupakan pernyataan yang benar, (a)=B p : 5 lebih kecil dari 4, merupakan pernyataan yang salah, (p)=S LOGIKA

  8. 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 LOGIKA

  9. B. KALIMAT TERBUKAKalimat terbuka adalah yang memuat peubah/variable, sehingga belum dapat ditentukan nilai kebenarannya (benar/salah) KALIMAT TERBUKA Contoh: 2. itu adalah benda cair A. NEGASI Jika p merupakan sebuah pernyataan, maka ingkaran atau negasi dari p ditulis dengan lambang ~p. Contoh: p: 7 adalah bilangan prima , maka ~p: 7 bukan bilangan prima q : 3+2 sama dengan 6 , maka ~q: 3+2 tidak sama dengan 6 Tabel kebenaran LOGIKA

  10. Examples : 1. 2. It is liquid Open Sentences (Not Proposition) Open sentences containing variables, so can not be determined the truth value yet. 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 LOGIKA

  11. DISJUNGSI B. DISJUNGSIDisjungsi adalah gabungan dari dua pernyataan yang dirangkai dengan menggunakan kata hubung atau.Disjungsi pernyataan p dan pernyataan q, ditulis dengan lambang: Tabel kebenaran disjungsi adalah sebagai berikut: “ Ingatlah “ “ Siswa harus membawa pencil dan bolpoint “ LOGIKA

  12. Proposition disjunction of p and q, denoted as read as p or q Sentences to remember : “ students, you have to bring pencil or pen ” Disjunction Disjunction is two proposition which uses a connective “OR” The truth table of disjunction is as follows: LOGIKA

  13. KONJUNGSI C. KONJUNGSI Konjungsi adalah pernyataan yang dibentuk dari dua pernyataan yang dirangkai dengan kata hubung atau. Konjungsi pernyataan p dan pernyataan q, ditulis dengan lambang: Dibaca p dan q Tabel kebenaran “ Ingatlah “ “ Siswa harus membawa pencil dan bolpoint “ LOGIKA

  14. Conjunction of proposition p and q denoted as and read p dan q The truth table of Sentences to remember : “ students, you have to bring book and pen ” Conjunction Conjunction is a kind of compound proposition, which uses a connective “AND” LOGIKA

  15. IMPLIKASI D. IMPLIKASI Implikasi adalah pernyataan majemuk yang dibentuk dari dua pernyataan p dan pernyataan q dalam bentuk jika p maka q Implikasi jika p maka q ditulis dengan lambang: • Dibaca jika p maka q atau • p hanya jika q • q jika p • p syarat cukup bagi q • q syarat perlu bagi p Tabel kebenaran implikasi adalah sebagai berikut: Kalimat untuk mengingat : “ jika kamu lulus ujian maka kamu saya beri hadiah “ LOGIKA

  16. 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 LOGIKA

  17. BIIMPLIKASI E. BIIMPLIKASI Biimplikasi dari pernyataan-pernyataan p dan q dapat dituliskan sebagai berikut: dibaca : p jika dan hanya jika q Jika p maka q dan jika q maka p p syarat perlu dan cukup bagi q q syarat perlu dan cukup bagi p Tabel kebenaran LOGIKA

  18. 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 : LOGIKA

  19. Contoh pernyataan majemuk: 1. 2. P q B B S S B S BS B B B S S B S B B B S B Jadi nilai kebenaran dari adalah B,B,B,S Atau ditulis: B B B S PERNYATAAN MAJEMUK Pernyataan majemuk adalah pernyataan yang dibentuk dari beberapa pernyataan tunggal (componen) yang dirangkai dengan menggunakan kata hubung logika. Contoh: Tentukan nilai kebenaran dari Untuk menentukan nilai kebenaran, biasanya menggunakan tabel kebenaran LOGIKA

  20. 1. 2. Determine the truth value of So, the truth value of (pv~q) => p is T,T,T,F or denoted as : T T T F 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 Examples : To determine the truth value, usually using the truth table : LOGIKA

  21. Jadi pernyataan merupakan tautologi TAUTOLOGI TAUTOLOGITautologi adalah sebuah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Contoh: Tunjukkan bahwa pernyataan majemuk adalah sebuah tautologi Tabel B B B S B B B B KONTRADIKSI Kontradiksi adalah sebuah pernyataan majemuk yang selalu salah untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. LOGIKA

  22. adalah sebuah tautologi Show that the compound proposition So the proposition is Tautology Tautology Tautology is a compound proposition which always true for all possible valuation of proposition component Example : Table Contradiction Contradiction is a compound proposition which always false for all possible valuation of proposition component LOGIKA

  23. PERNYATAAN MAJEMUK DUA BUAH PERNYATAAN MAJEMUK YANG EKUIVALEN Dua buah penyataan majemuk dikatakan ekuivalen, jika kedua pernyataan majemuk itu memiliki nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan komponen-komponennya Lambang dari dua buah pernyataan majemuk yang equivalen adalah Ekuivalen LOGIKA

  24. 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 LOGIKA

  25. PERNYATAAN MAJEMUK Lanjutan p : Mama mengantar adik , q : Saya belajar (p V q) : Mama mengantar adik atau saya belajar ~(p V q) : (~p~q) =Mama tidak mengantar adik dan saya tidak belajar p : Saya naik kelas , q : Saya dapat hadiah pq : Jika Saya naik kelas maka Saya dapat hadiah ~(pq) =(p~q) : Saya naik kelas danSaya tidak dapat hadiah Saya naik kelas tetapiSaya tidak dapat hadiah LOGIKA

  26. The Equivalence of Two Compound Proposition Next 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 LOGIKA

  27. Pada disjungsi dan konjungsi berlaku sifat komutatif, asososiatif dan ditributif Sifat Komutatif Sifat Asosiatif Sifat Distributif Distributif konjungsi terhadap disjungsi Distibutif konjungsi terhadap disjungsi LOGIKA

  28. 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 LOGIKA

  29. Jika kita mempunyai sebuah implikasi , maka kita bisa membuat beberapa buah implikasi yang lain, yaitu , disebut konvers dari implikasi , disebut invers dari implikasi , disebut kontraposisi dari implikasi ≡ Implikasi ekuivalen dengan kontraposisinya ≡ Konvers ekuivalen dengan invers . HUBUNGAN KONVERS, INVERS, DAN KONTRAPOSISI DENGAN IMPLIKASI B S B B B S B B B B S B S B S B B B S S B S B S S S B B B B S B B B S B LOGIKA

  30. , is called converse from implication , is called inverse from implication , is called contraposition from implication ≡ Implication equivalent with its contraposition ≡ Converse equivalent with its inverse The Correlation Between Converse, Inverse, Controposition and Implication If we have an implication , then we can mate another implication, they are : B B S S B S B S S S B B S B S B B S B B B S B B B B S B B B S B LOGIKA

  31. dibaca, untuk semua x berlakulah p(x)atau dibaca, untuk semua x anggota S berlakulah p(x) KUANTOR UNIVERSAL KUANTOR UNIVERSALSemua siswa Kelas X SMA Satu pandai.Kata semua atau setiap merupakan kuantor universal (umum)Lambang dari kuator universal adalah: LOGIKA

  32. Universal Quantor 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) LOGIKA

  33. KUANTOR EKSISTENSIAL Lanjutan KUANTOR EKSISTENSIAL Beberapa siswa kelas X SMA Satu pandai. Kata beberapa atau ada merupakan kuantor eksistensial (khusus) Misalkan: U=himpunan semua siswa SMA di Jakarta A=himpunan semua siswa SMA Satu B=himpunan semua siswa kelas X SMA satu yang pandai Pernyataan “Beberapa siswa kelas X SMA Satu pandai”, dapat ditulis dengan lambang berikut: dibaca: Beberapa siswa SMA Satu pandai, atau Sekurang-kurangnya ada seorang ada seorang siswa kelas X SMA Satu yang pandai. LOGIKA

  34. Universal Quantor Existential Quantor A few students of grade X of senior high school are clever. The word “a few” or “there are/there is” are existential 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 LOGIKA

  35. INGKARAN PERNYATAAN BERKUANTOR INGKARAN PERNYATAAN BERKUANTOR Contoh: p : Semua siswa Satu rajin belajar ~p : Ada siswa Satu yang tidak rajin belajar q : Ada siswa Satu yang rumahnya di Kelapa Gading ~q : Semua siswa Satu rumahnya tidak di Kelapa Gading r : Jika semua siswa kelas satu naik kelas maka Saya senang ~r : Semua siswa kelas satu naik kelas dan Saya tidak senang ~r : Semua siswa kelas satu naik kelas tetapi Saya tidak senang LOGIKA

  36. 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 LOGIKA

  37. Penarikan kesimpulan Penarikan kesimpulan Pernyataan yang diketahui nilai kebenarannya disebut premis Kemudian dengan menggunakan prinsip logika dapat diturunkan pernyataan baru (kesimpulan/ konklusi) Penarikan kesimpulan tersebut sering juga disebut argumentasi Suatu argumentasi dikatakan sah jika premis-premisnya benar, maka konklusinyajuga benar LOGIKA

  38. 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 LOGIKA

  39. premis 1 premis 2 kesimpulan/konklusi Penarikan kesimpulan Lanjutan 1. SILLOGISME Contoh: Jika hari ini hujan, maka saya tidak berangkat ke sekolah premis 1 Jika saya tidak berangkat sekolah, maka ayah akan marah premis 2 Maka konklusinya adalah: Jika hari ini hujan, maka ayah akan marah LOGIKA

  40. premise 1 premise 2 conclusion Drawing conclusion Continuation 1. SYLLOGISM 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 LOGIKA

  41. premis 1 premis 2 kesimpulan/konklusi Penarikan kesimpulan 2. Modus ponen Contoh: Jika saya punya uang banyak, maka saya akan membeli rumah premis 1 Saya punya uang banyak premis 2 Maka konklusinya adalah Saya akan membeli rumah LOGIKA

  42. premise 1 premise 2 conclusion Drawing Conclusion 2. Ponen Modus Example: If I have a lot of money, then I will buy a housepremise 1 I have a lot of money premise 2 Then the conclusion is I will buy a house LOGIKA

  43. premis 1 premis 2 kesimpulan/konklusi Penarikan kesimpulan 3. Modus tollens Contoh: Jika hari ini cuaca cerah , maka saya datang ke pestamu premis 1 Saya tidak datang ke pestamu premis 2 Maka konklusinya adalah Hari ini cuaca tidak cerah Suatu argumentasi dikatakan sah jika konjungsi dari premis-premisnya berimplikasidengan konklusinya merupakan TAUTOLOGI LOGIKA

  44. premise 1 premise 2 conclusion Drawing Conclusion 3. Tollens Modus 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 isToday the weather is not fine An argumentation is called legal if theconjunction of the premisesimplicate with the conclusion. And it is called TAUTOLOGY LOGIKA

  45. Jangan Malas ATAU Belajarlah sepanjang hayat LOGIKA

  46. No Lazy student! Or STUDY IN THE WHOLE LIFE LOGIKA

More Related