Dokumen tersebut membahas tentang logika predikat, kuantor universal dan eksistensial, serta ingkaran kalimat berkuantor. Logika predikat memperluas logika proposisi dengan memungkinkan predikat untuk menyatakan sesuatu tentang banyak objek sekaligus. Kuantor digunakan untuk mengkuantifikasi seberapa banyak objek yang memenuhi suatu predikat, dan terdiri dari kuantor universal dan eksistensial. Ingkaran kalimat berkuantor meny
Aturan Inferensi dan Metode PembuktianFahrul Usman
Dokumen tersebut membahas tentang aturan inferensi dan metode pembuktian dalam logika matematika. Secara singkat, dibahas mengenai konsep dasar seperti argumen valid, aturan inferensi seperti modus ponens, dan metode pembuktian seperti pembuktian langsung.
Dokumen tersebut membahas strategi dan metode pembuktian dalam mata kuliah Matematika Diskrit. Beberapa strategi pembuktian yang disebutkan antara lain pembuktian langsung dengan metode pengecekan satu per satu, pembuktian berdasarkan kasus, pembuktian dengan eliminasi kasus, dan pembuktian ekuivalensi. Dokumen tersebut juga membahas metode pembuktian tak langsung seperti kontradiksi dan kontraposisi.
Dokumen tersebut membahas tentang logika predikat, kuantor universal dan eksistensial, serta ingkaran kalimat berkuantor. Logika predikat memperluas logika proposisi dengan memungkinkan predikat untuk menyatakan sesuatu tentang banyak objek sekaligus. Kuantor digunakan untuk mengkuantifikasi seberapa banyak objek yang memenuhi suatu predikat, dan terdiri dari kuantor universal dan eksistensial. Ingkaran kalimat berkuantor meny
Aturan Inferensi dan Metode PembuktianFahrul Usman
Dokumen tersebut membahas tentang aturan inferensi dan metode pembuktian dalam logika matematika. Secara singkat, dibahas mengenai konsep dasar seperti argumen valid, aturan inferensi seperti modus ponens, dan metode pembuktian seperti pembuktian langsung.
Dokumen tersebut membahas strategi dan metode pembuktian dalam mata kuliah Matematika Diskrit. Beberapa strategi pembuktian yang disebutkan antara lain pembuktian langsung dengan metode pengecekan satu per satu, pembuktian berdasarkan kasus, pembuktian dengan eliminasi kasus, dan pembuktian ekuivalensi. Dokumen tersebut juga membahas metode pembuktian tak langsung seperti kontradiksi dan kontraposisi.
Dokumen tersebut membahas tentang penalaran dan logika. Secara singkat, dokumen tersebut menjelaskan bahwa penalaran adalah cara berpikir dengan menggunakan akal budinya, serta membahas tentang proposisi, operator logika, tabel kebenaran, dan hukum-hukum logika.
Dokumen tersebut membahas berbagai metode pembuktian dalam matematika seperti pembuktian langsung, tidak langsung, kontradiksi, contoh penyangkal, dan induksi yang dapat digunakan untuk menyelesaikan soal-soal olimpiade sains nasional dan internasional. Metode-metode tersebut dijelaskan dengan contoh-contoh soal beserta pembahasannya.
Dokumen tersebut membahas konsep dan notasi dasar proposisi dalam logika, termasuk definisi proposisi, operator logika seperti konjungsi, disjungsi, negasi, implikasi, dan tabel kebenaran yang terkait. Diberikan pula contoh-contoh penerapan operator logika dan hukum-hukum aljabar proposisi.
Program ATM ini bertujuan untuk mempermudah pengguna melakukan transaksi perbankan secara otomatis dan memberikan kenyamanan karena dapat melakukan transaksi berulang kali."
Modul ini membahas persamaan Diophantine linier dan non linier. Persamaan Diophantine linier dapat diselesaikan dengan cara biasa, reduksi, dan kongruensi. Metode penyelesaian persamaan Diophantine non linier meliputi triple Pythagoras dan bilangan jumlah kuadrat. [/ringkuman]
Dokumen tersebut membahas tentang logika matematika yang mencakup pengertian logika matematika, unsur-unsur logika seperti pernyataan, penyangkalan pernyataan, pernyataan majemuk, penarikan kesimpulan, dan contoh-contohnya.
Proposisi adalah kalimat deklaratif yang bernilai benar atau salah. Proposisi dapat dikombinasikan menggunakan operator logika seperti dan, atau, dan tidak. Proposisi dapat dibedakan berdasarkan bentuk, sifat, kualitas, dan kuantitasnya.
Dokumen tersebut merupakan materi pelajaran logika informatika yang membahas tentang pengertian logika, sejarah logika, dan logika formal. Terdapat pembahasan mengenai tokoh-tokoh penting dalam perkembangan logika serta penjelasan mengenai logika informatika dan hubungannya dengan ilmu komputer.
Dokumen tersebut membahas tentang penalaran dan logika. Secara singkat, dokumen tersebut menjelaskan bahwa penalaran adalah cara berpikir dengan menggunakan akal budinya, serta membahas tentang proposisi, operator logika, tabel kebenaran, dan hukum-hukum logika.
Dokumen tersebut membahas berbagai metode pembuktian dalam matematika seperti pembuktian langsung, tidak langsung, kontradiksi, contoh penyangkal, dan induksi yang dapat digunakan untuk menyelesaikan soal-soal olimpiade sains nasional dan internasional. Metode-metode tersebut dijelaskan dengan contoh-contoh soal beserta pembahasannya.
Dokumen tersebut membahas konsep dan notasi dasar proposisi dalam logika, termasuk definisi proposisi, operator logika seperti konjungsi, disjungsi, negasi, implikasi, dan tabel kebenaran yang terkait. Diberikan pula contoh-contoh penerapan operator logika dan hukum-hukum aljabar proposisi.
Program ATM ini bertujuan untuk mempermudah pengguna melakukan transaksi perbankan secara otomatis dan memberikan kenyamanan karena dapat melakukan transaksi berulang kali."
Modul ini membahas persamaan Diophantine linier dan non linier. Persamaan Diophantine linier dapat diselesaikan dengan cara biasa, reduksi, dan kongruensi. Metode penyelesaian persamaan Diophantine non linier meliputi triple Pythagoras dan bilangan jumlah kuadrat. [/ringkuman]
Dokumen tersebut membahas tentang logika matematika yang mencakup pengertian logika matematika, unsur-unsur logika seperti pernyataan, penyangkalan pernyataan, pernyataan majemuk, penarikan kesimpulan, dan contoh-contohnya.
Proposisi adalah kalimat deklaratif yang bernilai benar atau salah. Proposisi dapat dikombinasikan menggunakan operator logika seperti dan, atau, dan tidak. Proposisi dapat dibedakan berdasarkan bentuk, sifat, kualitas, dan kuantitasnya.
Dokumen tersebut merupakan materi pelajaran logika informatika yang membahas tentang pengertian logika, sejarah logika, dan logika formal. Terdapat pembahasan mengenai tokoh-tokoh penting dalam perkembangan logika serta penjelasan mengenai logika informatika dan hubungannya dengan ilmu komputer.
Logika Matematika Materi SMP kelas VII rudatulaini
Dokumen tersebut membahas tentang logika matematika dalam pemecahan masalah. Terdapat penjelasan mengenai indikator pembelajaran, contoh pernyataan, operasi-operasi logika seperti negasi, konjungsi, disjungsi, implikasi dan biimplikasi beserta tabel kebenarannya.
This document provides a summary of a software project to develop an online insurance survey record system. It outlines the project work breakdown structure including requirements gathering, design, development, and testing. Gantt and network charts are included to illustrate the project tasks and timelines. Resource forms, graphs, sheets, and usage are documented for the two team members assigned to the project. The system will automate insurance survey reports for different policy types for a client.
This document compares and summarizes four presentation tools: Prezi, SlideShare, Voki, and Voicethread. It provides guiding questions about features like intuitiveness, cost, iPad accessibility, collaboration capabilities, sharing options, appropriate age levels, and other noteworthy features. Key information about each tool is summarized, including ease of use, pricing, platform compatibility, collaboration features, and target audience.
Este documento resume las características principales de los metales, incluyendo que son buenos conductores de calor y electricidad. Explica que los metales se obtienen de minerales en las rocas y describe las edades de cobre, bronce e hierro, que marcaron el desarrollo de la metalurgia y el uso de diferentes metales a lo largo de la historia. También resume algunas propiedades físicas y mecánicas comunes de los metales.
The document discusses performing a quick health check of pay-per-click campaigns to diagnose performance issues. A health check involves assessing key performance indicators and campaign settings to uncover potential inefficiencies. It should take 30 minutes or less and be done by someone other than the main campaign manager. Regular health checks every 3 months can help ensure budgets are spent effectively and identify areas for improvement.
This document provides an overview of Siddhivinayak Electrical Consultants, an electrical design and consulting firm based in Pune, India. In 3 sentences:
Siddhivinayak offers electrical design and consulting services, with experience on various project types including industrial, commercial, and residential. The company's scope of work includes electrical designs, equipment selection, tender documentation, and construction supervision. The document outlines the company's vision, services offered, sample project portfolio, and contact details.
The document is a report on cloud computing written by Abdul-Rehman Aslam for his course instructor Mr. Safee. It discusses key topics such as what cloud computing is, the cloud service model of Infrastructure as a Service, Platform as a Service and Software as a Service. It also covers the different types of clouds including public, private, hybrid and community clouds. The report highlights the key characteristics of cloud computing such as cost, device and location independence, multi-tenancy, reliability, scalability and security. It concludes that cloud computing brings many possibilities and is a technology that has taken the software and business world by storm.
YouTube is a video sharing website where users can watch, like, share, comment and upload videos. It was founded in 2005 and acquired by Google in 2006. The site allows users to view videos posted by others and upload their own videos. It quickly became the largest video sharing site worldwide and the second most popular search engine.
Radhin P V has over 4 years of experience in Linux administration and big data. He has experience managing Linux servers, installing and configuring Red Hat and Ubuntu, performing system upgrades, and optimizing performance. He also has experience installing and configuring Hadoop clusters, managing data and jobs, and troubleshooting issues. Radhin seeks a position in information technology that offers professional growth while allowing him to learn new skills.
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive functioning. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
IHM Parish was established in 1952 in Andorra, Pennsylvania. The parish began holding masses in a local school building and celebrated its first mass on January 11, 1953. Ground was broken in 1953 for the parish's first building, a church-school connected to a convent. The Sisters of Saint Joseph staffed the school. As the parish grew, a new, separate church was built and dedicated in 1965 to accommodate more parishioners.
This document discusses a study examining the prevalence of post-traumatic stress disorder (PTSD) among trauma surgeons. The study aims to determine if PTSD is present in trauma surgeons by surveying members of the American Association for the Surgery of Trauma and Eastern Trauma Society. Surgeons will complete a questionnaire assessing demographic information and symptoms of PTSD. The researchers expect to find varying levels of PTSD depending on factors like sex, age, and years of experience.
El águila debe renovarse a los 40 años para continuar viviendo. Debe volar a lo alto de una montaña y golpear su pico contra la pared hasta arrancarlo, para que le crezca uno nuevo y pueda desprender sus garras y plumas viejas. Este doloroso proceso de renovación de 150 días le dará 30 años más de vida.
Brief introduction and data points on green jobs in Hawaii. Presented by Brant Hi'ikua Chillingworth, Program Officer at the Hau'oli Mau Loa Foundation, at the 2012 Hawaii Environmental Education Symposium Green Jobs in Hawaii session.
El documento resume la historia de la música griega antigua desde el período mítico hasta el período helenístico, destacando figuras como Orfeo, Apolo y Arion. Luego describe los modos eclesiásticos como el doriano, frigio y lidio durante la Edad Media, así como el canto gregoriano. Finalmente, traza la evolución de la música desde la polifonía en la Edad Media hasta el desarrollo del bajo continuo, fuga y otras formas musicales en el período barroco.
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, STAnisa Maulina
Kalkulus Proposisi merupakan salah satu mata kuliah yang ada di Jurusan Teknik Informatika, untuk lebih lanjut silahkan kunjungi http://blogs.unpas.ac.id/anisamaulina/2012/11/24/jurusan-teknik-informatika/
Dokumen tersebut membahas tentang proporsi, yaitu kalimat yang bernilai benar atau salah. Dibahas pula pengertian, contoh, dan cara mengkombinasikan proporsi menggunakan operator logika."
Dokumen tersebut membahas tentang proporsi, yang didefinisikan sebagai kalimat yang bernilai benar atau salah. Diberikan contoh proporsi dan bagaimana proporsi dapat digabungkan menggunakan operator logika seperti 'dan', 'atau', dan 'tidak'. Juga dijelaskan tentang tabel kebenaran dan hukum-hukum logika proporsi. [/ringkasan]"
Dokumen tersebut membahas tentang logika matematika. Secara singkat, dokumen tersebut menjelaskan tentang pengertian pernyataan, lambang dan nilai kebenaran suatu pernyataan, pernyataan majemuk seperti disjungsi, konjungsi, implikasi dan biimplikasi, serta kuantor universal dan eksistensial.
Dokumen tersebut membahas tentang logika matematika. Secara singkat, dokumen tersebut menjelaskan tentang pengertian pernyataan, lambang dan nilai kebenaran suatu pernyataan, pernyataan majemuk seperti disjungsi, konjungsi, implikasi dan biimplikasi, serta kuantor universal dan eksistensial.
Dokumen tersebut memberikan definisi dasar logika proposisi dan predikat, termasuk definisi proposisi, penghubung logika, tabel kebenaran, fungsi proposisi, kuantor, tautologi, kontradiksi, dan implikasi tautologi. Dokumen juga menjelaskan aljabar Boolean dan ekspresi Boolean serta prinsip dualitas dan hukum-hukum aljabar Boolean. Metode penyederhanaan fungsi Boolean meliputi cara aljabar, peta Karnaugh, dan metode Quine McCluskey.
Dokumen tersebut membahas tentang logika proposisi yang mencakup definisi proposisi, proposisi komposit, hukum-hukum aljabar proposisi, implikasi logis, prinsip dualitas, negasi berkuantor, tabel kebenaran, dan prinsip-prinsip logika seperti modus ponens, modus tollens, dan silogisme."
Dokumen tersebut membahas tentang logika proposisi yang mencakup definisi proposisi, proposisi komposit, hukum-hukum aljabar proposisi, implikasi logis, prinsip dualitas, negasi berkuantor, tabel kebenaran, dan prinsip-prinsip logika seperti modus ponens, modus tollens, dan silogisme."
Dokumen tersebut membahas tentang logika dan unsur-unsur dasarnya seperti kalimat, variabel, konstanta, pernyataan terbuka, kuantor, negasi, tabel kebenaran, pernyataan majemuk, silogisme, modus ponens dan modus tollens.
Modul Ajar Bahasa Inggris Kelas 10 Fase E Kurikulum MerdekaFathan Emran
Modul Ajar Bahasa Inggris Kelas 10 SMA/MA Fase E Kurikulum Merdeka - abdiera.com. Modul Ajar Bahasa Inggris Kelas 10 SMA/MA Fase E Kurikulum Merdeka. Modul Ajar Bahasa Inggris Kelas 10 SMA/MA Fase E Kurikulum Merdeka.
Laporan Pembina Pramuka SD dalam format doc dapat anda jadikan sebagai rujukan dalam membuat laporan. silakan download di sini https://unduhperangkatku.com/contoh-laporan-kegiatan-pramuka-format-word/
Universitas Negeri Jakarta banyak melahirkan tokoh pendidikan yang memiliki pengaruh didunia pendidikan. Beberapa diantaranya ada didalam file presentasi
Workshop "CSR & Community Development (ISO 26000)"_di BALI, 26-28 Juni 2024Kanaidi ken
Dlm wktu dekat, Pelatihan/WORKSHOP ”CSR/TJSL & Community Development (ISO 26000)” akn diselenggarakan di Swiss-BelHotel – BALI (26-28 Juni 2024)...
Dgn materi yg mupuni & Narasumber yg kompeten...akn banyak manfaat dan keuntungan yg didpt mengikuti Pelatihan menarik ini.
Boleh jga info ini👆 utk dishare_kan lgi kpda tmn2 lain/sanak keluarga yg sekiranya membutuhkan training tsb.
Smga Bermanfaat
Thanks Ken Kanaidi
Workshop "CSR & Community Development (ISO 26000)"_di BALI, 26-28 Juni 2024
Logika matematika 1
1. Definisi proposisi :
PROPOSISI adalah kalimat deklaratif yang
bernilai benar atau salah, tetapi tidak
dapat sekaligus keduanya.
Kebenaran atau kesalahan dari suatu
kalimat disebut sebagai NILAI KEBENARAN
Contoh :
Sapi adalah hewan mamalia
13 adalah bilangan genap
Ambilkan buku di atas meja itu !
2. PROPOSISI ATOMIK adalah proposisi yang berisi satu
variabel proposisional atau satu kostanta proposisional
Contoh :
P : Budi mahasiswa berprestasi
PROPOSISI MAJEMUK adalah proposisi yang berisi lebih
dari satu variabel proposisional atau dengan kata lain
proposisi baru yang diperoleh dengan
mengkombinasikan satu atau lebih proposisi.
Contoh :
A BΛC
3. Pengkombinasian Proposisi
OPERATOR LOGIKA adalah operator yang digunakan untuk
mengkombinasikan proposisi
Operator Logika Dasar :
Operator Biner yaitu operator yang mengoperasikan dua
buah proposisi
1. Dan ( and )
2. Atau ( or )
Operator Uner yaitu operator yang hanya membutuhkan
satu buah proposisi
Tidak ( not )
4. Notasi Operator Logika
Operator Logika Notasi
Dan ( and ) Λ
Atau ( or ) V
Tidak ( not ) ~
Jika … maka … ( if … then … )
Jika dan hanya jika ( if and only if )
5. Contoh :
Diketahui proposisi – proposisi sebagai berikut :
A : Hari ini cuaca cerah
B : Anak – anak bermain di taman
AΛB : Hari ini cuaca cerah dan anak – anak bermain di
taman
AVB : Hari ini cuaca cerah atau anak – anak bermain di
taman
~A : Hari ini cuaca tidak cerah
( Tidak benar hari ini cuaca cerah )
A V ~B : Hari ini cuaca cerah atau anak – anak tidak bermain di
taman
~A Λ ~B : Hari ini cuaca tidak cerah dan anak – anak tidak
bermain di taman
~(~A) : Tidak benar hari ini cuaca tidak cerah
6. Tabel Kebenaran
TABEL KEBENARAN digunakan untuk menampilkan
hubungan antara nilai kebenaran dari proposisi atomik
KONJUNGSI ( Λ ) adalah kata lain dari operator “dan ( and )“
Tabel Kebenaran Konjungsi
A B AΛ B
T T T
T F F
F T F
F F F
7. DISJUNGSI ( V ) adalah kata lain dari operator “atau ( or)“.
Ada dua jenis punggunaai operator “atau (or)”, yaitu “inclusive
or” dan “excusive or”
Tabel Kebenaran Disjungsi Inclusive Or
A B AVB
T T T
T F T
F T T
F F F
Disjungsi inclusive or bernilai benar jika salah satu dari
proposisi atomiknya benar atau keduanya benar.
Contoh :
“ Anda dapat memesan bebek goreng atau kakap goreng”
8. Tabel Kebenaran Disjungsi Exclusive Or ( xor )
A B A B
T T F
T F T
F T T
F F F
Disjungsi exclusive or bernilai benar jika hanya salah satu
dari proposisi atomiknya benar, selain itu salah.
Contoh :
“ Pemenang lomba puisi akan mendapat hadiah berupa
berlibur ke Bali atau uang ”
9. NEGASI ( ~ ) adalah kata lain dari operator “tidak (not)”
Tabel Kebenaran Negasi
A ~A
T F
F T
Contoh :
A : Sammy tinggi
Maka
~A : Sammy tidak tinggi
BUKAN
Sammy pendek
10. IMPLIKASI ( ) adalah kata lain dari operator “jika … maka …
(if … then … )”
Tabel Kebenaran Implikasi
A B A B
T T T
T F F
F T T
F F T
Implikasi ( A B ) bernilai salah hanya jika A
bernilai benar dan B bernilai salah, selain itu
implikasi bernilai benar
11. EKUIVALENSI ( ) adalah kata lain dari operator “jika dan
hanya jika (if and only if )”
Tabel Kebenaran Ekuivalensi
A B A B
T T T
T F F
F T F
F F T
Ekuivalensi ( A B ) bernilai benar jika
pasangan A dan B keduanya bernilai sama, baik
T maupun F. Jika pasangannya berbeda, maka
nilai ekuivalensi salah
12. Hierarki Operator Logika
Hierarki ke Operator Logika Notasi
1 Negasi ~
2 Konjungsi Λ
3 Disjungsi V
4 Implikasi
5 Ekuivalensi
Jika terdapat lebih dari satu operator pada hierarki yang sama,
maka dikerjakan mulai dari yang kiri.
Contoh :
A Λ B V C, harus dibaca (( A Λ B ) V C), bukan ( A Λ (B V C ))
A B Λ C, harus dibaca ( A (B Λ C)), bukan (( A B) Λ C)
13. Contoh :
Jika Mira lulus UAN, orang tuanya akan senang,
dan dia dapat melanjutkan sekolah ke jenjang
kuliah, tetapi jika dia tidak lulus, semua
usahanya akan sia – sia.
A = Mira lulus UAN
B = orang tua Mira senang
C = Mira kuliah
D = usaha Mira sia – sia
(A ( B Λ C )) Λ ((~A) D)
14. Jika pada tabel kebenaran untuk semua
pasangan nilai variabel – variabel proposisional
bernilai benar atau T, maka disebut valid atau
TAUTOLOGI
Jika pada tabel kebenaran untuk semua
pasangan nilai variabel – variabel proposisional
bernilai salah atau F, maka disebut KONTRADIKSI
15. Mengubah Pernyataan menjadi Ekspresi Logika
1. Jika Peterpan mengadakan konser, maka penonton akan
hadir jika harga tiket tidak terlalu tinggi
2. Jika Peterpan mengadakan konser, maka harga tiket tidak
terlalu tinggi
Penyelesaian :
Mengubah ke variabel proposisional
P : Peterpan mengadakan konser
Q : Penonton akan hadir
R : Harga tiket terlalu tinggi
Mengubah pernyataan menjadi ekspresi logika :
1. P (~R Q)
2. P ~R
16. 3. Jika Tya pergi, maka Yanto sedih dan Yanto tidak gembira
A : Tya pergi
B : Yanto sedih
C : Yanto gembira
A (B Λ ~C)
4. Jika Roni pergi ke sawah, maka Hesti pergi kuliah. Jika
Amir menjaga rumah, maka Hesti pergi kuliah. Dengan
demikian, jika Roni pergi ke sawah atau Amir menjaga
rumah, maka Hesti pergi kuliah
X : Roni pergi ke sawah
Y : Hesti pergi kuliah
Z : Amir menjaga rumah
((X Y) Λ (Z Y)) ((X V Z) Y)
17. 5. Es yang mencair di kutub mengakibatkan permukaan
air laut naik
Jika es mencair di kutub, maka permukaan air laut naik
A : Es mencair di kutub
B : Permukaan air laut naik
A B
6. Jika Budi belajar rajin dan sehat, maka Budi lulus
ujian, atau jika Budi tidak belajar rajin dan tidak sehat,
maka Budi tidak lulus ujian
P : Budi belajar rajin
Q : Budi sehat
R : Budi lulus ujian
((P Λ Q) R) V ((~P Λ ~Q) ~R)
18. Hukum – Hukum Logika Proposisi
1. Hukum Identitas 2. Hukum Dominasi
a. P V F P a. P Λ F F
b. P Λ T P b. P V T T
3. Hukum Negasi 4. Hukum Idempoten
a. P V ~P T a. P V P P
b. P Λ ~P F b. P Λ P P
5. Hukum Involusi (Negasi Ganda) 6. Hukum Penyerapan (Absorpsi)
~(~P) P a. P V (P Λ Q) P
b. P Λ (P V Q) P
7. Hukum Komutatif 8. Hukum Asosiatif
a. P V Q QVP a. P V (Q V R) (P V Q) V R
b. P Λ Q QΛP b. P Λ (Q Λ R) (P Λ Q) Λ R
9. Hukum Distributif 10. Hukum De Morgan
a. P V (Q Λ R) (P V Q) Λ (P V R) a. ~(P Λ Q) ~P V ~Q
b. P Λ (Q V R) (P Λ Q) V (P Λ R) b. ~(P V Q) ~P Λ ~Q
19. Varian Proposisi Bersyarat
Terdapat varian bentuk dari implikasi P Q , yaitu :
1. KONVERS : Q P
2. INVERS : ~P ~Q
3. KONTRAPOSISI : ~Q ~P
Contoh :
Jika Heri mempunyai vila, maka dia orang kaya
P : Heri mempunyai villa
Q : Heri orang kaya
1. Konvers : Jika Heri orang kaya, maka dia
mempunyai vila
2. Invers : Jika Heri tidak mempunyai vila, maka dia
bukan orang kaya
3. Kontraposisi : Jika Heri bukan orang kaya, maka
dia tidak mempunyai vila
20. Jika Tarjo terbukti mencuri, maka dia dikenai sanksi
P : Tarjo terbukti mencuri
Q : Tarjo dikenai sanksi
Konvers : Jika Tarjo dikenai sanksi, maka dia terbukti
mencuri
Invers : Jika Tarjo tidak terbukti mencuri, maka dia
tidak dikenai sanksi
Kontraposisi : Jika Tarjo tidak dikenai sanksi, maka dia
tidak terbukti mencuri
21. INFERENSI adalah proses penarikan kesimpulan dari
beberapa proposisi.
Kaidah Inferensi :
1. MODUS PONEN
Didasarkan pada validitas (P Λ (P Q)) Q
P dan (P Q) adalah hipotesis, sedangkan Q adalah
kesimpulan.
Kaidah modus ponen dituliskan sebagai berikut :
P Q
P
Q
Modus ponen menyatakan bahwa jika hipotesis P dan
implikasi P Q benar, maka kesimpulan Q benar
22. Contoh :
Misalkan implikasi “Jika Lina makan teratur, maka
lambung Lina sehat” dan hipotesis “Lina makan teratur”
adalah benar. Maka menurut modus ponen,
kesimpulannya sebagai berikut :
Jika Lina makan teratur, maka lambung Lina sehat
Lina makan teratur
Lambung Lina sehat
23. 2. MODUS TOLLEN
Didasarkan pada validitas (~Q Λ (P Q)) ~P
Dituliskan dengan cara :
P Q
~Q
~P
Contoh :
Misalkan implikasi “Jika z bilangan genap, maka z 2
bernilai genap” dan hipotesis “ z 2 bernilai tidak
genap” keduanya adalah benar. Menurut modus
tollen kesimpulannya sebagai berikut :
Jika z bilangan genap, maka z 2 bernilai genap
z 2 Bernilai tidak genap
z bukan bilangan genap
24. 3. SILOGISME HIPOTESIS
Didasarkan pada validitas ((P Q) Λ (Q R)) (P R)
Dituliskan dengan cara :
P Q
Q R
P R
Contoh :
Misalkan implikasi “Jika kami saling memahami, maka kami
merasa nyaman” dan implikasi “Jika kami merasa nyaman,
maka kami segera menikah” keduanya adalah benar. Menurut
silogisme hipotesis, kesimpulannya sebagai berikut :
Jika kami saling memahami, maka kami merasa nyaman
Jika kami merasa nyaman, maka kami segera menikah
Jika kami saling memahami, maka kami segera menikah
25. 4. SILOGISME DISJUNGTIF
Didasarkan pada validitas ((P V Q) Λ ~P) Q
Dituliskan dengan cara :
PVQ
~P
Q
Contoh :
Rahmi mendaftar S3 atau Rahmi menikah tahun depan
Rahmi tidak mendaftar S3
Rahmi menikah tahun depan
26. 5. SIMPLIFIKASI
Didasarkan pada validitas (P Λ Q) P
Dituliskan dengan cara :
PΛQ PΛQ
atau
P Q
Urutan proposisi di dalam konjungsi P Λ Q tidak
mempunyai pengaruh apa – apa.
Contoh :
Anggoro adalah mahasiswa ITB dan mahasiswa STT Telkom
Anggoro adalah mahasiswa ITB
Simplifikasi berikut juga benar :
Anggoro adalah mahasiswa ITB dan mahasiswa STT Telkom
Anggoro adalah mahasiswa STT Telkom