MATEMATIKA DISTRIK: LOGIKA PROPOSISI

MATEMATIKA DISTRIK

Matematika distrik adalah cabang matematika yang mempelajari objek distrik
pada dunia teknik infomatika, komputer bekerja secara distrik
informasi yang disimpan dan diolah oleh komputer, dalam bentuk distrik

Manfaat mempelajari Matematika Distirik:

• Mengajarkan berpikir secara matematis
• Menggunakan argumen dan notasi matematika untuk mendeskripsikan suatu masalah secara format
• Landasan matematis untuk bidang lain di ilmu komputer

LOGIKA PROPOSISI

Logiak Proposisi adalah Area logika yang berhubungan dengan preposisi dikembangkan oleh secara sistematis oleh filusuf Yunani, Aristoteles,
Sedangkan kata Proposisi memiliki arti sebuah ekspresi atau pernyataan (kalimat yang menyatakan fakta) yang memiliki nilai benar (true) atau salah (false), tetapi tidak keduanya secara ersamaan,

Indonesia berada di Asia Tenggara (merupakan sebuah proposisi yang bernilai True)
1+1=2 (Merupakan sebuah proposisi yang bernilai True)
2+2=3(Merupakan sebuah proposisi yang bernilai False)
8>10 (Merupakan sebuah proposisi yang bernilai True)
Ini hari apa? (bukan merupakan sebuah proposisi karena ini merupakn kalimat tanya, tidak memiliki sebuah ekspresi atau pernyataan, kalimat yang menyatakan fakta, benar atau salah)
x +1=3 (Menurut kalian ini apa? Apakah sebuah proposisi? Jika iya bernilai false atau true?, Menurut penulis sih ini bukan sebuah proposisi karena kita tidak tahu nilai x itu berap?)
Lihatlah pemangan itu! (Bukan Merupakan sebuah proposisi)
x^2>10 (sama kaya poin ke-6, ini bukan sebuah proposisi)

Konstanta Proposisi

Konstanta Proposisi adalah proposisi yang bernilai tetap setiap saat, terdapat 2 konstanta proposisi; True dan False,

2+2=4 (True)
1 adalah bilangan genap (False)
Jakarta adalah ibukota Indonesia (True)

Variable Proposisi

Variable Proposisi adalah yang bisa bernilai false atau true pada saat yang berbeda, bisa ditulis dengan huruf misal (p,q,r,s,p_1,…)

Hari ini hujan
Hari ini cerah
Saya adalah mahasiswa teknik informatika

Proposisi Atom

Proposisi Atom (Atomic proposition) adalah Proposisi sederhana yang tidak bisa di pecah lagi

Hari ini hujan
Andi adalah karyawan Bank Mandiri
Jakarta adalah ibukota Indonesia

Proposisi Majemuk
Proposisi Majemuk (Compound proposition) adalah proposisi baru yang dibentuk dari proposisi-proposisi yang sudah ada, dengan menggunakan beberapa operator logika

Hari ini hujan tetapi udaranya terasa panas
Hari ini tidak hujan dan udara terasa panas

Operator logika

Operator Uner (Unary Operator)

membutuhkan satu operand
Negasi (