Logika Informatika part 2

Istilah-Istilah dalam Logika Informatika

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

Jenis-Jenis Proposisi

1. PROPOSISI ATOMIK : proposisi yang tidak dapat dipecah-pecah menjadi proposisi penyusunnya.

Contoh:

· Mohammad Hatta adalah wakil presiden pertama RI

· 5 adalah bilangan genap

· Mahasiswa MI belajar di gedung seroja

· 2+5 = 7

2. PROPOSISI MAJEMUK : proposisi yang terdiri dari beberapa proposisi atomik.

Contoh:

· 3 adalah bilangan prima dan ganjil

· Para dosen mendapat laptop dan honor

· Jika kami rajin belajar maka kami akan lulus

· Ayah pergi ke kantor jika anak-anak sudah pergi sekolah

· Jika 1+1 = 5 maka waktu akan berhenti berputar

Sekian postingan dari saya semoga dapat bermaanfaat bagi para pengunjung semua.

Terimakasih.

Materi di atas saya dapat dari materi mata kuliah Logika Informatika Politeknik

Negeri Lampung semester 1.