pengenalan Logika Informatika ( part 1)

Logika informatika disebut juga the calculus of computer science karna logika memegang peran penting di bidang ilmu komputer.Logika merupakan dasar-dasar matemtis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, serta menguji ketepatan suatu program.

Negasi, konjungsi, Disjungsi

Negasi (ingkaran)
jika P adalah "makassar ibukota sul-sel". maka ingkaran atau negasinya adalah ~P atau ¬P, yaitu " makassar bukan ibukota Sul-sel". jika P bernilai benar/true, maka ingkaran P (~P) adalah bernilai false atau sebaliknya.

Konvers, Invers, dan Kontraposisi

Perhatikan pernyataan berikut :

“jika Amin berbadan yang gemuk, maka Amin sulit jongkok”

Bentuk umum dari implikasi tersebut adalah “ p =>q”, dengan keterangan sebagai berikut:

Ekuivalensi Logika

Pada tautology dan juga kontradiksi dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautology, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula jika keduanya kontradiksi.

Inferensi logika

Argumen valid dan invalid

Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P1,P2,…Pn yang disebut Premis  (hipotesa atau asumsi) dan membentuk proposisi baru (Q) yang disebut konklusi (Kesimpulan).

Nilai kebenaran suatu Argumen ditentukan sebagai berikut :

Logika Predikat

Seperti yang telah dibahas sebelumnya, bahwa titik berat suatu logika adalah pada pembuktian validitas suatu argument logika proposional dengan berbagai teknik yang relevan. Yaitu menggunakan table kebenaran sebagai dasar pembuktian dan dan juga menggunakan hukum-hukum logika.