Argumen Logika Proposisional

Pada Postingan Kali ini saya akan melanjutkan pembahasan mengenai Logika Proposisi tentang Interpretasi, dimana pada pembahasan kali ini kita akan membahas mengenai Argumen dimana ini merupakan lanjutan postingan interpretasi Logika Proposisi.

Logika Proposisi - Argumen

Perhatikan bahwa S = {U , V , W} maka sajian S |= W , kita tuliskan/sajikan sebagai berikut :

U adalah premis/hipotesa

V adalah premis/hipotesa

W adalah konklusi.

Sajian terakhir ini yang sering kita jumpai dan dilengkapi penurunan-penurunan dengan menggunakan formula amaupun aksioma. Dengan demikian maka kita sampai ke masalah Argumen yang akan didefinisikan serta bicarakan dibawah ini.

Definisi Argumen

Argumen adalah suatu relasi antara sekumpulan proposisi P1, P2 , . . . , Pn yang disebut premis/hipotesis, dng proposisi lainnya Q , yang disebut konklusi. Disajikan dng 

Definisi :

Suatu Argumen adalah valid jika Q true (T) bilamana semua premis adalah true (T) (lihat Seymour Lipschutz, Schaum’s Series hal 82)

atau : Dalam Logika kita berkonsentrasi pada aturan inferensi yang ke simpulan-kesimpulan diturunkan dari yang diketahui. Kesimpulan yang diperoleh dng mengikuti aturan ini disebut kesimpulan yang sah/valid dan argumennya sah/valid.

Sajian S |= W , seperti disajikan diatas maka jika S = {P1, P2 , . . , Pn } dan W = Q dapat disajikan dengan

P1, P2 , . . . , Pn |= Q

yang disebut dengan Argumen 

Definisi :

Suatu Argumen adl valid jika Q true (T) bila-
mana semua premis adl true (T).
(lihat Seymour Lipschutz, Schaum’s Series hal 82) 

Sajian S |= W , seperti disajikan diatas maka jika S = {P1, P2 , . . , Pn } dan W = Q dapat disajikan dengan

P1 Ù P2 Ù . . . Ù Pn ⇒ Q

karena himpunan dapat diartikan sebagai konjungsi . 

Definisi :

Suatu Argumen adl valid jika Q true (T) bila-
mana semua premis adl true (T).

(lihat Seymour Lipschutz, Schaum’s Series hal 82)

Contoh :
1). Argumen berikut p, p ® q |= q adalah valid;

karena p bernilai T untuk baris 1, 2, p ® q bernilai T untuk baris 1, 3, 4 ,

karena itu p dan p ® q bernilai T

pada baris 1 dan pada baris 1 terse

but q bernilai T

2). Tetapi argumen p ® q , q |= p adalah tak valid ;

karena ada p ® q dan q keduanya

bernilai T (baris 3) akan tetapi p

bernilai f

Tweet

Subscribe to receive free email updates: