Interpretasi Perluasan (Extended Interpretation) - Logika Proposisional

Interpretasi Perluasan (Extended Interpretation) - pada postingan kali ini kita akan beajar mengenai Interpretasi Perluasan (Extended Interpretation), Interpretasi perluasan merupakan suatu interpretasi yang memberikan nilai, kepada P, jika kita misalkan dengan P, dan yang memberikan, Kepada semua simbol tersebut dalam proposisional selain. Itu sedikit cuplikan mengenai pengertian dari Intepretasi Perluasan. Selengkapnya akan dibahas di sini secara rinci.

Definisi Interpretasi Perluasan

Jika I adalah sebuah intrepretasi, P adalah sembarang simbol proposisional, dan τ adalah nilai kebenaran (true atau false), maka interpretasi perluasan:

(P ← τ) ◦I, 

adalah interpretasi yang memberikan nilai τ kepada P, dan yang memberikan, kepada semua simbol proposisional selain P, nilai-nilai kebenaran yang diberikan oleh I kepada mereka.

I : {Q ← true ; R ← false.}

Maka interpretasi perluasan (P ← false) ◦ I adalah interpretasi di mana: P diberi nilai false; Q diberi nilai true; dan R diberi nilai false.
Interpretasi perluasan (Q ← false) ◦ I adalah interpretasi di mana: Q diberi nilai false; dan R diberi nilai false

Sekarang Kita akan bahas mengenai Interpretasi Perluasan Jamak

Interpretasi Perluasan Jamak.

Untuk sebuah interpretasi I, simbol-simbol proposisional P1, P2, ......, Pn dan nilai kebenaranτ1, τ2, ......, τn:
(P1 ← τ1 ◦ (P2 ← τ2)◦ .......◦ (Pn ← τn) ◦ I
sama dengan:
(P1 ← τ1) ◦ ((P2 ← τ2 ) ◦ .......◦ ((Pn ← τn) ◦ I) .......).

Jika
P1 dan P2 berbeda, maka:
(P1 ← τ1) ◦ (P2 ← τ2) ◦ I
sama dengan
(P2 ← τ2) ◦ (P1 ← τ1) ◦ I
untuk semua nilai kebenaran τ1 dan τ2.

Jika τ1 dan τ2 adalah nilai kebenaran yang berbeda maka:

(P ← τ1) ◦ (P ← τ2) ◦ I = (P ← τ1) ◦ I

dan

(P ← τ2) ◦ (P ← τ1) ◦ I = (P ← τ2) ◦ I.

Kesetujuan (Agreement) - Logika Proposisional

Dua buah interpretasi I dan J setuju pada kalimat F jika:
(a) nilai kebenaran F pada I sama dengan nilai kebenaran F pada J, atau
(b) baik I dan J bukan interpretasi untuk F.

Proposisi
Jika dua interpretasi untuk kalimat F setuju pada tiap-tiap simbol proposisional dari F, maka mereka setuju pada F

Andaikan
F sebuah kalimat dan I adalah interpretasi untuk F. Andaikan P1, P2, Pn adalah simbol-simbol proposisional yang tidak muncul di F, dan τ1, τ2, ......., τn sembarang nilai kebenaran. Maka interpretasi perluasan jamak:

J = hP 1 ← τ1) ◦ (P2 ← τ2)◦ .......◦ (Pn ←  τn)◦ I

dan I sendiri setuju pada F

Pembahasan Kali ini bertujuan memperkenalkan kalian mengenai Interpretasi Perluasan, Dan Dasar dalam membuatu suatu program, Semoga secepatnya kita menjadi mansternonton. Sekian saja artikel ini jika bermanfaat, dan menggemberikan Ilmu, Saya sangat berterimakasih mengenai, Kita juga disini belajar mengenai Tabel Kebenaran dan lain-lain. 

Itu saja yang dapat saya sampaikan megnenai Interpretasi Perluasan. Semoga dengan artikel ini dapat memberikan banyak manfaat yang sangat besar buat kalian semua. Jika terdapat pertanyaan dapat kalian tanyakan dengan cara menuliskan pertanyaan kalian di kolom komentar atau dapat kalian tulis di kontak form kami. Sekian dan Terima Kasih telah berkunjung di situs kami.

Interpretasi Perluasan (Extended Interpretation) - Logika Proposisional

Terima Kasih

OmahInformatika.xyz

Tweet

Subscribe to receive free email updates: