Kuantor

KUANTOR UNIVERSAL / UNIVERSAL QUINTIFIER

Kuantor universal menunjukkan bahwa setiap objek dalam semestanya memiliki sifat kalimat menyatakannya. Kita dapat meletakkan kata-kata “untuk semua/untuk setiap x” di depan kalimat terbuka yang mengandung variable x untuk menghasilkan kalimat yang mempunyai suatu nilai kebenaran. Kuantor universal disimbolkan “ "∀"  ”.

Tautologi, Kontradiksi dan Contingent

Tautology adalah suatu bentuk kalimat yang selalu bernilai benar, tidak peduli dengan kalimat-kalimat penyusunnya/premis.

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.