Materi Logika Informatika

Logika Matematika Dasar
Ilmu Logika itu kalimat kalimat atau argument
Tujuannya untuk menentukan kalimat benar dan salah
1. Deklarasi (Proposi)
Kalimat deklaratif (proposi) = Bernilai
Contoh yang Proposi :
2 + 2 = 4
Jakarta adalah ibukota Negara Indonesia
Republic indonesia berjumlah 10juta jiwa
Contoh yang bukan Proposi :
Anto lebih tinggi dari tuti
Kalimat diatas termasuk bukan proposi karena belum jelas siapanya, anto siapa dan tuti juga siapa (tidak jelas)

 

ContohA : hari ini panas

B : hari ini cerah
Hari ini tidak panas tapi cerah
Hari ini tidak panas dan tidak cerah
Tidak benar bahwa hari ini panas dan cerah
Penyelesaian
-aɅb
-aɅ-b
-(aɅb)

Ket : T = true(benar)
F = force(salah)

2. Ekuivalen (sama)
Jika –(a) dengan a hasilnya sama atau tidak ?

Berarti dalam table kebenaran itu hasil dari –(a) ≡ a (ekuivalen)

Nilainya sama saja.

3. Tautologi Dan Kontradiksi
tautologi adalah kalimat yang selalu benar sedangkan kontradiksi adalah
kalimat yang selalu salah

Table diatas itu Tautologi karena kalimat bernilai benar semua
4. Konvers Invers kontraposisi
misalkan suatu implikasi : a  b
konvers : a  a
invers : -a  -b
kontraposisi : -b  -a
contohnya
a. keliling segi empat adalah 16 cm
b. keliling persegi panjang adalah 16 cm
implikasi = jika keliling persegi empat adalah 16 cm, maka keliling persegi panjang adalah 16 cm
konvers = jika keliling persegi panjang adalah 16 cm, maka keliling perssegi empat adalah 16 cm
invers = jika keliling persegi empat adalah bukan 16 cm, maka keliling persegi panjang adalah bukan 16 cm
kontraposisi = jika keliling persegi panjang adalah bukan 16 cm meka keliling persegi empat adalah bukan 16 cm
5. Inferensi Logika
contoh tentukan apakah valid atau invalid ?
pv (qvr)

Silahkan download materi lengkapnya disini :
Materi Lengkap Logika Informatika