KUANTOR TATAP MUKA 3 FKIP UNIVERSITAS PANCA MARGA.

Slides:



Advertisements
Presentasi serupa
LOGIKA MATEMATIKA s/d PERNYATAAN MAJEMUK
Advertisements

PREDIKAT dan FUNGSI PROPOSISIONAL
KUANTOR DAN TEORI KUANTIFIKASI
Kalimat Berkuantor Matematika Diskrit.
TOPIK 1 LOGIKA.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Pernyataan Berkuantor
VALIDITAS PEMBUKTIAN TATAP MUKA 6 Prodi PGSD FKIP UPM.
Kecerdasan Buatan #3 Logika Proposisi.
KUANTOR DAN TEORI KUANTIFIKASI
FUNGSI LINIER TATAP MUKA 5
Kalimat berkuantor (logika matematika)
Pendahuluan (Himpunan dan Sub himpunan)
Tugas 2_ Kelompok Dikumpulkan paling lambat:
ZULFA ROHMATUL MUBAROKAH ( /4A)
Matematika Diskrit bab 2-Himpunan
LogikA MATEMATIKA.
KALIMAT BERKUANTOR.
Teori Himpunan.
Bahan kuliah Matematika Diskrit
LOGIKA MATEMATIKA.
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
COUNTER EXAMPLE & KUANTOR DUA-VARIABEL ATAU LEBIH
1. SISTEM BILANGAN REAL.
Kania Evita Dewi Sistem Bilangan Real.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Grace Lusiana Beeh, S. Kom.
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
MATAKULIAH KONSEP DASAR MATEMATIKA [PERTEMUAN 7]
F. Metode Inferensi Teknik untuk mendapatkan konklusi yang valid berdasarkan premise yang ada tanpa menggunakan Tabel Kebenaran Ada beberapa Metode antara.
TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
Logika Matematika Pernyataan.
Himpunan Citra N, MT.
Oleh : FITRI UTAMININGRUM, ST, MT)
Tugas Minggu ke 2 Kuliah Sistel Tahun 2008.
Logika matematika Kel. 4 Nama Kelompok: Naptia eka wulandari
POKOK BAHASAN 1 BARISAN DAN DERET
LOGIKA INFORMATIKA Kuantor.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
TEORI HIMPUNAN TATAP MUKA 9 PRODI PGSD FKIP UNIVERSITAS PANCA MARGA.
QUANTIFIER (KUANTOR) dan Induksi matematika
Mata Kuliah: MATEMATIKA DISKRIT Harni Kusniyati
Matematika Diskrit Himpunan
LOGIKA MATEMATIKA Kelas : X Semester :2
APLIKASI HIMPUNAN DAN HIMPUNAN KUASA
Teori Himpunan.
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Predicate & quantifier
SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
Logika dan Logika Matematika
Transparansi Kuliah Kedua Matematika Diskrit
Penerapan Barisan dan Deret Dalam Ekonomi
CCM110 MATEMATIKA DISKRIT Pertemuan ke 3-4, Aljabar Proposisi
VALIDITAS PEMBUKTIAN 2 TATAP MUKA 6.
LOGIKA MATEMATIKA Pertemuan I Apaan tuh?.
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
Himpunan.
VALIDITAS PEMBUKTIAN TATAP MUKA 5
RELASI ANTARA HIMPUNAN
LOGIKA MATEMATIKA Disusun Oleh : 2.Emi Suryani ( ) 5A4
UJIAN TENGAH SEMESTER UNIVERSITAS PGRI PALEMBANG FKIP PG-PAUD
OPERASI HIMPUNAN TATAP MUKA 11 PRODI PGSD FKIP UNIVERSITAS PANCA MARGA.
MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVESITAS JAMBI 2017
Kesimpulan ini mencakup semua materi yang telah diberikan sebelumnya
LOGIKA MATEMATIS Program Studi Teknik Informatika
Oleh : FITRI UTAMININGRUM, ST, MT)
Quantifier (Kuantor) dan Induksi matematika
QUANTIFIER (KUANTOR) dan Induksi matematika
SMK/MAK Kelas XI Semester 1
Transcript presentasi:

KUANTOR TATAP MUKA 3 FKIP UNIVERSITAS PANCA MARGA

Lebih dari satu variabel Materi: Fungsi Pernyataan Satu Variabel Kuantor Universal Eksistensial Negasi Lebih dari satu variabel FKIP UNIVERSITAS PANCA MARGA

Sasaran Belajar Setelah mengikuti perkuliahan ini, diharapkan mahasiswa mampu: Menentukan nilai kebenaran dari suatu pernyataan kuantor dengan satu variabel Menentukan negasi pernyataan kuantor dengan satu variabel Menentukan nilai kebenaran dari suatu pernyataan kuantor dengan lebih dari satu variabel Menentukan negasi pernyataan kuantor dengan lebih dari satu variabel FKIP UNIVERSITAS PANCA MARGA

Fungsi Pernyataan Definisi: Suatu fungsi pernyataan adalah suatu kalimat terbuka di dalam semesta pembicaraannya. Fungsi pernyataan ditulis: p(x) FKIP UNIVERSITAS PANCA MARGA

Contoh: p(x)= 5+x>5, fungsi pernyataan pd A={x: x bil asli} ---  tidak punya nilai kebenaran x=2 p(2) = 5+2>5 -B p(x) bernilai benar untuk semua x anggota A p(x) = x makan nasi, fungsi pernyataan pd A={x: x manusia}- x=newton p(newton)=newton makan nasi -S p(x) bernilai benar untuk beberapa x anggota A FKIP UNIVERSITAS PANCA MARGA

Kuantor umum (Universal) Simbol  dibaca: ‘untuk semua’ atau ‘untuk setiap’ disebut kuantor umum. Jika p(x) fungsi pernyataan pd himp A, maka (xA)p(x) atau xA.p(x) atau xA p(x) adalah suatu pernyataan, dibaca: ‘untuk setiap x elemen A, p(x) mrpk pernyataan yg benar’ atau ‘untuk semua x berlaku p(x) FKIP UNIVERSITAS PANCA MARGA

Latihan 1 Semua manusia tdk kekal nilai kebenarannya … x (x+3>1) pd A={bil Asli} x (x+3<1) pd A={bil Asli} nilai kebenarannya… FKIP UNIVERSITAS PANCA MARGA

Kuantor khusus (Eksistensial) Simbol  dibaca: ‘ada’ atau ‘untuk beberapa’ atau ‘untuk paling sedikit satu’ disebut kuantor khusus. Jika p(x) fungsi pernyataan pd himp A, maka (xA)p(x) atau xA.p(x) atau xA p(x) adalah suatu pernyataan, dibaca: ‘ada x elemen A, sdhg p(x) mrpk pernyataan yg benar’ atau ‘untuk beberapa x berlaku p(x) FKIP UNIVERSITAS PANCA MARGA

Latihan 2 Beberapa perwira TNI adalah wanita nilai kebenarannya … x (x+1>5) pd A={bil Asli} x (x+3<1) pd A={bil Asli} FKIP UNIVERSITAS PANCA MARGA

Negasi pernyataan kuantor Negasi pernyataan yg mengandung kuantor universal adalah pernyataan yg mengandung kuantor eksistensial, dan sebaliknya. -x p(x)  x –p(x) -x p(x)  x-p(x) FKIP UNIVERSITAS PANCA MARGA

Latihan 3 Tentukan negasi dari pernyataan berikut: Semua manusia tidak kekal simbolik: negasi: Beberapa perwira TNI adalah wanita x (x+3<1) FKIP UNIVERSITAS PANCA MARGA

Fungsi pernyataan dg lebih dari satu variabel Didefinisikan A1, A2, A3, …, An. Suatu fungsi pernyataan yg mengandung variabel pd himp. A1x A2 x A3 x… x An, sdhg p(a1, a2, a3, …, an) suatu pernyataan untuk a1, a2, a3, …, an anggota A1x A2 x A3 x… x An. FKIP UNIVERSITAS PANCA MARGA

Latihan 4 f(x,y)= x menikah dg y, didefinisikan pd {pria}x{wanita} Nilai kebenaran … f(x,y,z)= 2x-y+5z<10, didefinisikan pd AxAxA, A={bil Asli} nilai kebanaran … x y (x+y=1) pd A={bil Asli} nilai kebenaran … negasi: x y z (x+y+z >5 pd A ={bil Asli} negasi FKIP UNIVERSITAS PANCA MARGA

TUGAS MANDIRI Tugas Pertemuan 3 Kerjakan latihan 1,2,3,4 Download tugas pertemuan 3 di http://nurulsyaillah.wordpress.com Dikumpulkan paling lambat Minggu, 29 september 2013, pukul 20.00 WIB ke nsyaillah@yahoo.com Catatan: subject: nama, nim, fak, prodi, sem, kelas, Konsep Dasar Mat, Tugas Pertemuan 3. FKIP UNIVERSITAS PANCA MARGA