LOGIKA TATAP MUKA 2 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 s/d PERNYATAAN MAJEMUK
DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
Kalimat Matematika.
Bab 1 Logika Matematika Matematika Diskrit.
EKUIVALENSI LOGIKA PERTEMUAN KE-7 OLEH: SUHARMAWAN, S.Pd., S.Kom.
Ekuivalensi Logika.
MATEMATIKA DISKRIT. MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH.
Mata Kuliah Logika Informatika 3 SKS Bab II : Proposisi.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
LOGIKA MATEMATIKA PERTEMUAN 5 KALKULUS PROPOSISI
LOGIKA INFORMATIKA Pengantar.
MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH BERHINGGA ELEMEN-ELEMEN.
TOPIK 1 LOGIKA.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
TOPIK 1 LOGIKA.
Ubahlah ekspresi logika berikut menjadi CNF dan DNF
VALIDITAS PEMBUKTIAN TATAP MUKA 6 Prodi PGSD FKIP UPM.
Kecerdasan Buatan #3 Logika Proposisi.
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.
Mata Kuliah Logika Informatika Teknik Informatika SKS
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Pertemuan # 2 Logika dan Pembuktian
LogikA MATEMATIKA.
KALIMAT BERKUANTOR.
LOGIKA PROPOSISI (Logika Pernyataan).
LOGIKA MATEMATIKA.
Logika Kalimat, Kalimat Dan Penghubung Kalimat, Pembuktian
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
IMPLIKASI (Proposisi Bersyarat)
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Grace Lusiana Beeh, S. Kom.
TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
Logika Matematika Pernyataan.
TOPIK 1 LOGIKA.
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
Matematika diskrit Logika Proposisi
Persamaan dan Pertidaksamaan
PERNYATAAN ATAU PROPORSI
LOGIKA INFORMATIKA Kuantor.
LOGIKA TATAP MUKA 3 PGSD FKIP UPM PROBOLINGGO.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom
APLIKASI HIMPUNAN DAN HIMPUNAN KUASA
UKURAN SIMPANGAN/DISPERSI/VARIASI
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
FKIP MATEMATIKA UMS 2013 MATH IS FUN... TRI SUNARNI (A )
SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
SPB 1.6 VALIDITAS PEMBUKTIAN SPB 1.7 PEMBUKTIAN TIDAK LANGSUNG
VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6.
VALIDITAS PEMBUKTIAN TATAP MUKA 5
RELASI ANTARA HIMPUNAN
LOGIKA MATEMATIKA Disusun Oleh : 2.Emi Suryani ( ) 5A4
Matematika Diskrit TIF (4 sks).
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
TOPIK 1 LOGIKA.
06 Logika Matematika Penarikan Kesimpulan
MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVESITAS JAMBI 2017
KUANTOR TATAP MUKA 3 FKIP UNIVERSITAS PANCA MARGA.
Kesimpulan ini mencakup semua materi yang telah diberikan sebelumnya
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
Asrul Sani, ST. M.Kom MT Pertemuan 4 Asrul Sani, ST M.Kom MT - Logika Informatika.
LOGIKA INFORMATIKA Pengantar.
Materi Kuliah Matematika Diskrit
Transcript presentasi:

LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO

MATERI Konsep Dasar Mat Penerapan Teori Himpunan dalam Logika Penerapan Logika dalam Teori Himpunan Penerapan Teori Himpunan dalam Logika

Tautologi, Kontradiksi dan Ekuivalensi MATERI LOGIKA Pernyataan Kata Hubung Kalimat Kuantor Tautologi, Kontradiksi dan Ekuivalensi Validitas Pembuktian

Pernyataan Pernyataan Definisi Penulisan Jenis Nilai Kebenaran

Definisi Suatu pernyataan(statement) adalah suatu kalimat deklaratif yg bernilai benar saja atau salah saja tetapi tidak sekaligus benar dan salah Contoh: Sekarang hari hujan Besok ada kuliah dan praktikum di lab. PGSD FKIP UPM PROBOLINGGO

Buatlah masing-masing 5 contoh dan jelaskan! Kalimat yang merupakan pernyataan! Kalimat yang bukan merupakan pernyataan!

Biasanya disimbolkan dengan huruf p, q, r, … Penulisan Biasanya disimbolkan dengan huruf p, q, r, … PGSD FKIP UPM PROBOLINGGO

Jenis Pernyataan Pernyataan sederhana Pernyataan majemuk PGSD FKIP UPM PROBOLINGGO

Penyataan sederhana (single statement) Definisi: Pernyataan sederhana adalah pernyataan yang hanya menyatakan pikiran tunggal dan tidak mengandung kata hubung kalimat PGSD FKIP UPM PROBOLINGGO

Pernyataan majemuk (composite statement) Definisi: pernyataan majemuk adl pernyataan yg terdiri dari pernyataan sederhana(satu atau lebih) dg bermacam-macam kata hubung kalimat(connective) PGSD FKIP UPM PROBOLINGGO

Buatlah masing-masing 5 contoh dan jelaskan! Kalimat yang merupakan pernyataan sederhana! Kalimat yang merupakan pernyataan majemuk!

Nilai Kebenaran Nilai kebenaran suatu pernyataan dinyatakan dg “B” jika benar dan “S” jika salah

Nilai Kebenaran Nilai kebenaran pernyataan sederhana tergantung pd realitas yg dinyatakan Nilai kebenaran pernyataan majemuk tergantung pd nilai kebenaran pernyataan- pernyataan sederhana yang menyusunnya dan kata hubung kalimat yang digunakan PGSD FKIP UPM PROBOLINGGO

Buatlah masing-masing 5 contoh dan jelaskan! Kalimat yang merupakan pernyataan yang bernilai benar! Kalimat yang merupakan pernyataan yang bernilai salah!

Variabel dan Konstanta Definisi: Variabel adalah simbol untuk menunjuk suatu anggota yg belum spesifik dlm semesta pembicaraan Konstanta adalah simbol untuk menunjuk suatu anggota tertentu (yang sudah spesifik) dlm semesta pembicaraan PGSD FKIP UPM PROBOLINGGO

Contoh: Manusia makan nasi …………… memakai sepatu 4+x=7 4+…. =7 P<5 PGSD FKIP UPM PROBOLINGGO

Kalimat Terbuka Definisi: Kalimat terbuka adalah kalimat yg mengandung variabel. Jika kita mensubstitusikan variabel dg konstanta di dlm semesta pembicaraannya, kalimat terbuka itu menjadi pernyataan. PGSD FKIP UPM PROBOLINGGO

Buatlah masing-masing 5 contoh dan jelaskan! Kalimat yang merupakan kalimat terbuka! Ubahlah ke-5 kalimat tersebut menjadi pernyataan!