Learning Outcomes Mahasiswa dapat menerangkan tentang aljabar proposisi dan sifat kebenaran pernyataan operator & sifat-sifat proposisi beserta contoh.

Slides:



Advertisements
Presentasi serupa
LOGIKA INFORMATIKA.
Advertisements

OPERATOR LOGIKA Berikut adalah operator logika :
Kuliah matematika diskrit Program Studi Teknik Elektro
Himpunan.
FITRI UTAMININGRUM, ST, MT
Modul Matematika Diskrit
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
Gaya Geser Pada Penampang Beton Prategang Pertemuan 12
PANJANG PENYALURAN TULANGAN PERTEMUAN 16
Pengujian Keketerkaitan Dua Peubah Kualitatif (II) Pertemuan 16 Matakuliah: I0014 / Biostatistika Tahun: 2008.
Pertemuan 5-6 Metode pemulusan eksponential tunggal
OPERASI JUMP DAN EXCEPTION HANDLING
Bina Nusantara Analisis Jalur Kerja Proyek Pertemuan 9: Mata kuliah: K0194-Pemodelan Matematika Terapan Tahun: 2008.
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Mata kuliah :K0144/ Matematika Diskrit Tahun :2008 Fuzzy Logic
STRUKTUR BETON DI DALAM TEKAN PERTEMUAN 09
Fuzzy Set dan Fuzzy Logic
Bina Nusantara Analisis Aljabar Boole (Off Class) Pertemuan 14 : Mata kuliah : K0144/ Matematika Diskrit Tahun: 2008.
TEGANGAN PADA PENAMPANG BETON Pertemuan 03 Matakuliah: S0084 / Teori dan Perancangan Struktur Beton Tahun : 2007.
Pernyataan Pertemuan 3:
Matakuliah : S0084 / Teori dan Perancangan Struktur Beton
Pertemuan 5 Balok Keran dan Balok Konsol
Fungsi Logaritma Pertemuan 12
1 Pertemuan 5 PPh PASAL 21 Matakuliah: A0572/ Perpajakan Tahun: 2005 Versi: Revisi 1.
Mengambar kurva fungsi linier Pertemuan 4
Fungsi Eksponensial Pertemuan 11 Matakuliah: J0174/Matematika I Tahun: 2008.
Matakuliah : R0022/Pengantar Arsitektur Tahun : Sept 2005 Versi : 1/1
Matematika Keuangan Pertemuan 14
PERENCANAAN PENULANGAN PONDASI DALAM Pertemuan 26
Logika Proposisi Pertemuan 1:
Diferensial Fungsi Majemuk Pertemuan 20 Matakuliah: J0174/Matematika I Tahun: 2008.
Pertemuan 3 Predicate Logic
PROPOSISI Citra N, S.Si, MT.
Matakuliah : K0074/Kalkulus III Tahun : 2005 Versi : 1/0
Matakuliah : J0174/Matematika I
Pertemuan 26 Review Materi Kuliah dan Presentasi Tugas Akhir
Pertemuan 19 Besaran dan Sifat Batang (Secara Grafis)
Pertemuan 11 : Aljabar Boole
PENYALURAN TULANGAN Pertemuan 23
MATEMATIKA DISKRIT LOGIKA MATEMATIKA.
Sebaran Peluang (II) Pertemuan 4
Regresi Untuk Data Katagorik Pertemuan 08
Regresi Dalam Lambang Matriks Pertemuan 09
KRITERIA DESAIN, STANDAR DESAIN, DAN METODE ANALISIS PERTEMUAN 6
Kontrak Perkuliahan KALKULUS I Ayundyah Kesumawati Kode Mata Kuliah
DESAIN STRUKTUR BALOK BETON PERSEGI BERTULANGAN RANGKAP PERTEMUAN 14
Fuzzy Set Pertemuan 7 : Mata kuliah :K0144/ Matematika Diskrit
Pertemuan 20 OPERASI PADA HIMPUNAN FUZZY
STRUKTUR BETON DI DALAM GESER DAN TORSI PERTEMUAN 08
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
PRESENTASI DAN EVALUASI Pertemuan 39
STRUKTUR BALOK BETON PERSEGI BERTULANGAN TUNGGAL PERTEMUAN 13
Agiska Ria Supriyatna, S.Si, MTI
AXIOMA pada aljabar Boole
Pendahuluan Pertemuan 1
PERENCANAAN PENULANGAN BALOK TPertemuan 10
DESAIN PONDASI DANGKAL GABUNGAN PERTEMUAN 22
ILMU KOM PUTER FAK MIPA UGM.
Learning Outcomes Mahasiswa dapat menjelaskan definisi aljabar boole dan hukum-hukum aljabar boole,duality dan contoh pemakaian aljabar boole. Bina Nusantara.
Pertemuan 13 Pembahasan Kasus
Pertemuan 3 Diferensial
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
KEBUTUHAN PENULANGAN PADA PONDASI DANGKAL DAN DALAM Pertemuan 24
MATEMATIKA KOMPUTASI LOGIKA MATEMATIKA.
Pengambilan Keputusan dengan Data Utama Pertemuan 18
Pertemuan 1 Pengertian Persamaan Diferensial (PD)
KAPASITAS PENAMPANG MENAHAN GAYA LINTANG Pertemuan 13
Prategang Pada Struktur Statis Tak Tentu Pertemuan 13
LOGIKA MATEMATIS Program Studi Teknik Informatika
Modul Matematika Diskrit
Transcript presentasi:

Learning Outcomes Mahasiswa dapat menerangkan tentang aljabar proposisi dan sifat kebenaran pernyataan operator & sifat-sifat proposisi beserta contoh penerapannya. Bina Nusantara

Outline Materi: Pengertian Aljabar Prosposisi Konsep dasar Aljabar Proposisi Sifat-sifat kebenaran Contoh permasalahan Bina Nusantara

Pengertian Aljabar Proposisi Proposisi adalah suatu pernyataan gabungan p,q,.. merupakan variabel, maka proposisi dapat ditulis seperti: P(p,q,r…) Nilai kebenarannya diketahui, bila kebenaran variabelnya diketahui Penentuan nilai kebenarannya umumnya dibuat dengan menggunakan tabel kebenaran Contoh ~(p^~q); Bina Nusantara

Logika Equivalent (kesamaan logika) Dua proposisi yang memiliki nilai tabel kebenaran yang sama Contoh ~ (p ^ q) = ~p v ~q (p v q) ^ q = (p ^ q) v q (~p v q) ^ p = p ^ q (p ^ q) v r = (p v r) ^ (q v r) Bina Nusantara

Aljabar Proposisi Hukum yg berlaku di dalam proposisi Idempotent; pvp=p, p^p=p Associative; (pvq)vr = pv(qvr), (p^q)^r = p^(q^r) Commutative; pvq = qvp, p^q = q^p Distributive; pv(q^r)=(pvq)^(pvr), p^(qvr)=(p^q)v(p^r) Identity; pvf = p, p^t=p, pvt=t, p^f=f Bina Nusantara

Aljabar Proposisi (2) Complement; pv~p=t, p^~p=f, ~t=f, ~f=t Involution; ~~p=p DeMorgans; ~(pvq)=~p ^ ~q, ~(p^q)=~pv~q. Bina Nusantara

Aljabar Proposisi (3) Bina Nusantara

Aljabar Proposisi (4) ~(~pq)(pr) = (p~q)(pr), De’Morgan dan involusi = [(p~q)p][(p~q)r], distributive = p(~qp)(pr)(~qr), distributive = p(~qr), absorbsi. Bina Nusantara

Terima kasih, Semoga berhasil Bina Nusantara