//
you're reading...
Common

logical implication

Ilustrasi Islam
Ilustrasi

Lanjut yuk.

Apakah yang dimaksud dengan konsekuensi logis?

Konsekuensi logis dikenal dalam bahasa Inggris sebagai logical implication atau logical entailment.

Konsekuensi, implikasi atau entailment adalah jenis hubungan yang dimiliki oleh dua pernyataan jika di setiap dunia kemungkinan, nilai Truth yang dimiliki kedua pernyataan tersebut selalu sama.

Sebagai ilustrasi:

p = Kibou diampuni
q = Kibou pernah melakukan kesalahan

Maka bisa kita katakan dengan memakai logika modalitas:

Untuk setiap dunia kemungkinan x, jika p itu True di x maka q juga True di x dan jika p itu False di x maka q juga False di x.

Atau bisa juga kita katakan:

Tidak ada dunia kemungkinan di mana p itu True dan q itu False dan tidak ada dunia kemungkinan di mana p itu False dan q itu True.

Jika pernyataan p dan q memiliki hubungan modalitas seperti di atas, maka kita bisa katakan bahwa p dan q memiliki hubungan logical implication atau entailment.

Konsep logical implication sangat penting karena seringkali digunakan dalam struktur argumen logika deduktif yang disebut modus ponens, yaitu:

1. If p then q
2. p
Therefore
3. q

– HOT NEWS: MENKOMINFO TIFATUL SEMBIRING SELINGKUH, ISTRI PERTAMA KABUR DARI RUMAH!!!!

– MENKOMINFO: Kalau Internetnya Cepat Mau Dipakai buat Apa?

– Korupsi Ahmad Heryawan/Aher Gubernur PKS Bisa dibaca disini.

– Korupsi Anis Matta, Tifatul Sembiring dan pejabat PKS lainnya bisa dibaca disini.

Beberapa Link/Website Mungkin Diblokir, untuk membuka blokir silakan klik:
Tip-tip Buka Blokir Website Karena Nawala

Atau dengan Firefox Add On Berikut:

Firefox anonymoX – Anti Blokir Situs Website

Faithfreedom Indonesia

Koruptor Koalisi Prahara Prabowo Hatta Rajasa
Foto Koalisi Koruptor Prabowo Hatta Prahara

Diskusi

Belum ada komentar.

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout /  Ubah )

Foto Google

You are commenting using your Google account. Logout /  Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout /  Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout /  Ubah )

Connecting to %s

%d blogger menyukai ini: