Post 5
D3
MANAJEMEN INFORMATIKA
POLITEKNIK
NEGERI LAMPUNG
Selasa, 1 November 2016
SUNISNI
Logika Informatika
Logika
•
Berasal dari bahasa Yunani à logos
•
Ilmu untuk
berfikir dan menalar dengan benar (sehingga
didapatkan kesimpulan yang absah).
•
Kemampuan
menalar adalah kemampuan untuk menarik konklusi yang tepat dari bukti-bukti
yang ada, dan menurut aturan-aturan
tertentu
Sejarah Perkembangan Logika
•
Logika Klasik
•
Logika Modern
•
Logika Matematika
Manfaat logika
•
Membantu
setiap orang yang mempelajari logika
untuk berpikir secara rasional, kritis, lurus, tetap tertib, dan metodis.
•
Meningkatkan
kemampuan berpikir secara abstrak,
cermat, dan objektif.
•
Menambah
kecerdasan dan meningkatkan kemampuan
berpikir secara tajam dan mandiri.
•
Memaksa
dan mendorong orang untuk berpikir sendiri
dengan menggunakan asas-asas sistematis
Istilah-istilah
•
Premis Ã
pernyataan
•
Argumen : usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari satu kumpulan pernyataan.
•
Validitas argumen à jika
premis-premis benar maka harus diikuti dengan kesimpulan yang benar
Proposisi
BENAR /
SALAH
CONTOH
•
1. Semut lebih kecil dari kecoa
•
2. 100 > 1000
•
3. Sekarang tahun 2015 dan
presiden Indonesia adalah Pak Jokowi
JENIS-JENIS PROPOSISI
•
PROPOSISI ATOMIK : proposisi yang
tidak dapat dipecah-pecah menjadi proposisi penyusunnya.
•
PROPOSISI MAJEMUK : proposisi yang
terdiri dari beberapa proposisi atomik.
Diagram Venn
•
Diagram
Venn adalah adalah diagram yang menunjukkan semua kemungkinan hubungan logika di antara
sekelompok(set/himpunan/grup) benda/objek.
•
Sebagai
bagian ilmu matematika, diagram Venn ini pertama kali diperkenalkan pada
tahun 1880 oleh John Venn untuk
menunjukkan hubungan sederhana dalam topik-topik di bidang logika, probabilitas, statistik, linguistik
dan ilmu komputer.
Gambar Diagram Venn
Tidak ada komentar:
Posting Komentar