LOGIKA TATAP MUKA 3 PGSD FKIP UPM PROBOLINGGO.

Slides:



Advertisements
Presentasi serupa
LOGIKA MATEMATIKA Oleh BUDIHARTI, S.Si..
Advertisements

LOGIKA MATEMATIKA PROGRAM STUDI TEKNIK INFORMATIKA
Logika.
Oleh : LUFVIANA LIKKU TRIMINTARUM A
LOGIKA MATEMATIKA.
Menentukan Nilai Kebenaran Dalam Logika Matematika
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
LOGIKA MATEMATIKA BAG 1: PROPOSISI.
Review Proposisi & Kesamaan Logika
LOGIKA MATEMATIKA Pertemuan III.
Negasi dari Konvers, Invers, dan Kontraposisi
LOGIKA MATEMATIKA SMA Kristen 7 Penabur Jakarta
LOGIKA LOGIKA LOGIKA.
Dosen Pengampu : Novi Elfira, S.Pd Kelompok VI Nama Anggota: 1.Elsa Damayanti 2.Novia Anggraini.
Mata Kuliah Logika Informatika 3 SKS Bab II : Proposisi.
MATEMATIKA DISKRIT By DIEN NOVITA.
MATEMATIKA DISKRIT By DIEN NOVITA.
Konvers , Invers, Kontraposisi
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
BAB 4 Logika Matematika Standar Kompetensi: Kompetensi Dasar:
VALIDITAS PEMBUKTIAN TATAP MUKA 6 Prodi PGSD FKIP UPM.
Pertemuan ke 1.
Logika informatika 2.
Logika informatika 4.
LOGIKA MATEMATIKA.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
PROPOSISI Citra N, S.Si, MT.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
Logical Connectives – Penghubung Logika / Operator Logika
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Pertemuan # 2 Logika dan Pembuktian
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
LOGIKA MATEMATIKA.
PROPOSITION AND NOT PROPOSITION
LOGIKA MATEMATIKA.
DASAR-DASAR MATEMATIKA DAN SAINS
Implikasi dan Aplikasi
LOGIKA MATEMATIKA.
Logika Kalimat, Kalimat Dan Penghubung Kalimat, Pembuktian
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
IMPLIKASI (Proposisi Bersyarat)
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
Oleh : Devie Rosa Anamisa
PENARIKAN KESIMPULAN/ INFERENSI
Konvers, Invers, dan Kontraposisi Suatu Implikasi
Matematika Diskrit TIF (4 sks) 3/9/2016.
LOGIKA MATEMATIKA Pertemuan II.
Agiska Ria Supriyatna, S.Si, MTI
NEGASI PERNYATAAN MAJEMUK
Prepared by eva safaah LA – PROPOSISI Prepared by eva safaah
LOGIKA MATEMATIKA Penerbit erlangga.
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
LOGIKA MATEMATIKA (Pernyataan Majemuk)
Dasar dasar Matematika
SPB 1.6 VALIDITAS PEMBUKTIAN SPB 1.7 PEMBUKTIAN TIDAK LANGSUNG
LOGIKA LOGIKA MAJEMUK KUANTOR
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
Proposisi Lanjut Hukum Ekuivalensi Logika
1.1 Proposisi & Proposisi Majemuk
LOGIKA MATEMATIKA 9/12/2018.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Tabel Kebenaran Dan Proposisi Majemuk
TOPIK 1 LOGIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA.
BAB I DASAR-DASAR LOGIKA
Transcript presentasi:

LOGIKA TATAP MUKA 3 PGSD FKIP UPM PROBOLINGGO

Macam-macam Kata Hubung Kalimat Negasi Konjungsi Disjungsi Implikasi Bikondisional PGSD FKIP UPM PROBOLINGGO

Negasi Definisi: negasi suatu pernyataan adalah pernyataan yg benilai benar jika pernyataan semula salah, dan sebaliknya. Negasi pernyataan p ditulis –p. PGSD FKIP UPM PROBOLINGGO

Contoh Tentukan negasi pernyataan2 berikut: P=Jakarta ibukota RI Q=Zainal memakai kacamata R=2+3>5 PGSD FKIP UPM PROBOLINGGO

Tabel Kebenaran Negasi p -p B S PGSD FKIP UPM PROBOLINGGO

Konjungsi Definisi: konjungsi adl suatu pernyataan majemuk yg terdiri dari dua pernyataan yg dihubungkan dg kata hubung ‘dan’. Konjungsi p dan q ditulis ‘p⋀q’ dibaca: p dan q. PGSD FKIP UPM PROBOLINGGO

Contoh P=Ima anak yg rajin, q=bunga mawar berbau harum, r=2+3<6 Tentukan: p⋀q p⋀r q⋀r. PGSD FKIP UPM PROBOLINGGO

Tabel Kebenaran Konjungsi p q p⋀q B S PGSD FKIP UPM PROBOLINGGO

Disjungsi Definisi: disjungsi adalah suatu pernyataan majemuk yg terdiri dari dua pernyataan yang dihubungkan dengan kata hubung ‘atau’. Ada 2 macam disjungsi: Disjungsi inklusif, disimbulkan dg ‘⋁’ Disjungsi ekslusif, disimbulkan dg ‘⊻’ PGSD FKIP UPM PROBOLINGGO

Tabel Kebenaran Disjungsi p q p⋁q B S p q p⊻q B S PGSD FKIP UPM PROBOLINGGO

Implikasi Definisi: Implikasi adalah suatu pernyataan majemuk yg berbentuk ‘jika p maka q’. Ditulis: “ p→q “ Dibaca: jika p maka q. p disebut hipotesa (anteseden) q disebut konklusi (konsekuen) implikasi jg disebut pernyataan bersyarat. p syarat cukup bagi q q syarat perlu bagi p PGSD FKIP UPM PROBOLINGGO

Tabel kebenaran implikasi q p→q B S PGSD FKIP UPM PROBOLINGGO

Konvers, Invers dan Kontraposisi Definisi: Konvers dari implikasi p→q adalah q→p Invers dari implikasi p→q adalah –p→-q Kontraposisi dari implikasi p→q adalah–q→-p PGSD FKIP UPM PROBOLINGGO

Tabel Kebenaran konvers, invers dan kontraposisi q p→q q→p -p→-q -q→-p B S PGSD FKIP UPM PROBOLINGGO

Bikondisional Definisi: Bikondisional adalah suatu pernyataan majemuk yg berbentuk ‘p jika dan hanya jika q’. Ditulis: “ p ↔ q “ Dibaca: p jika dan hanya jika q atau p bila dan hanya bila q PGSD FKIP UPM PROBOLINGGO

Tabel kebenaran bikondisional p q p↔q B S PGSD FKIP UPM PROBOLINGGO

Kesepakatan penggunaan kata hubung kalimat Logika menggunakan tanda kurung untuk menunjukkan urutan pengerjaan. Jika tidak ada tanda kurung maka disepakati urutan pengerjaan sbb: Negasi Konjungsi, disjungsi Implikasi bikondisional PGSD FKIP UPM PROBOLINGGO

Latihan 1 Diketahui: P= Jakarta ibukota RI Q= 7<6 R= Silahkan duduk S= (x-1)⁵ T=Manusia berkaki dua 1. Manakah yg mrpk pernyataan? Jelaskan! 2. Manakah yg disebut variabel? 3. Manakah yg disebut konstanta? 4. Manakah yg mrpk kalimat terbuka? PGSD FKIP UPM PROBOLINGGO

1. Tuliskan sec simbolik pernyataan2 berikut: Diketahui: p=Geometri sangat sukar (B), q=bahasa sangat menarik (S), r=logika sangat mudah (S). 1. Tuliskan sec simbolik pernyataan2 berikut: Tidak benar bhw logika sangat mudah dan geometri sangat sukar Geometri sangat mudah jika dan hanya jika logika sangat mudah dan bahasa sangat menarik. 2. Tuliskan sec verbal pernyataan2 simbolik ini dan tentukan nilai kebenarannya: –(p⋀q) (p→q)⋁r p↔(q⋁r) PGSD FKIP UPM PROBOLINGGO