02 - Logika Proposisional.pptx

8/18/2019 02 - Logika Proposisional.pptx

1/11

Logika InformatikaLogika Proposisional

Tutik Khotimah, M.Kom


2/11

Tujuan Instruksional

Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

Pengertian Logika Proosisional

!turan Pem"entukan Kalimat

Ta"el Ke"enaran

Logika

Proposisional

Logika

Proposisional

Pengertian Proosisi

!rgumen

!turan #emantik

Interretasi


3/11

Pengertian LogikaProosisional

Hari ini hari Jum’at.

Manusia pasti akan mati.


Logika roosisional adalah logika yangmenangani, memproses atau memanipulasi penarikan

kesimpulan secara logis dari proposisi-proposisi

ProposisionalSetiap pernyataan yang hanyamemiliki satu nilai, enar atau

salah


4/11

Pengertian Proosisi


Proposisi !tomik

Proosisi adalah pernyataan yang erada padaargumen dan mempunyai properti nilai, yaitu "#$!%

atau S!L!H


5/11

Pengertian Proosisi


Simol-simol keenaran &truth symols'

Kalimat-kalimat &sentences' dalam ahasa logikaproposisional dientuk dari simol-simol yang diseutproposisi. Simol-simol terseut adalah(


6/11

!rgumen


!rgumen adalah kumpulan pernyataan yangdiseut premis dan diikuti oleh kesimpulan

yang selaras dengan premis-premisnya

!rgumen logis kuat&Logically Sound'

!rgumen logis tidakkuat &)allacy'*S

!rgumen +alid Semua premis ernilai enar


7/11

$entuk !rgumen



8/11

!turan Pem"entukan Kalimat

Setiap proposisi, yaitu simol keenaran atau simol proposisimerupakan kalimat.

!paila ! adalah kalimat, demikian uga dengan negasinya &not !'.

!paila ! dan " adalah kalimat, demikian uga dengan konungsinya&! and "'.

!paila ! dan " adalah kalimat, demikian uga dengan disungsinya&! or "'.

!paila ! dan " adalah kalimat, demikian uga dengan implikasinya&i ! then "'. ! diseut antecedent dan " diseut consequent .

!paila ! dan " adalah kalimat, demikian uga dengan

ekui+alensinya &! i and only i "'. ! diseut left-hand-side &sisi kiri'dan " diseut right-hand-side &sisi kanan'.

!paila !, " dan adalah kalimat, demikian uga dengankondisionalnya &i ! then " else '. ! diseut clausa if , " diseutclausa then dan diseut clausa else.



9/11

Interretasi

Interretasi adala% pemerian nilai keenaran,true atau alse, pada masing-masing himpunansimol-simol proposisional.

/nterpretasi kosong tidak memeri nilai keenaranke suatu simol proposisional mana pun.

ontoh

!( P or &not P'


P

alse P

true P

true

I0( I1( I2( 3

alse

3 true 3 true % true


10/11

!turan #emantik

!turan roosisi$ilai keenaran masing-masing simol proposisional dalam kalimat sama dengan nilai keenaran yangdierikan oleh I pada simol terseut.

!turan trueKalimat true ernilai true under I.

!turan falseKalimat alse ernilai alse under I.

!turan not$egasi ernilai alse apaila kalimat ernilai true, dan negasi ernilai true apaila kalimat ernilai alse.

!turan andKonungsi ernilai true apaila kedua proposisi ernilai true, selain itu konungsi ernilai alse

!turan or4isungsi erniali alse apaila kedua proposisi ernilai alse, selain itu disungsi ernilai true

!turan if-t%en

/mplikasi ernilai alse apaila antecendent ernilai true dan conse5uent ernilai alse, selain itu implikasiernilai true.

!turan if-and-onl&-if #kui+alensi ernilai true apaila kedua sisi ernilai sama, dan ekui+alensi ernilai alse apaila kedua sisiernilai ereda

!turan if-t%en-elseKondisional ernilai sama dengan klausa then apaila klausa i ernilai true, dan kondisional ernilai samadengan klausa else apaila klausa i ernilai alse.Logika Informatika | Teknik Informatika

Universitas Muria Kudus - 2016

aturan yang diperlukan untuk menentukan nilai keenaran dari suatu kalimat.


11/11

Ta"el Ke"enaran


suatu tael yang menunukkan secara sistematis satu demisatu nilai-nilai keenaran seagai hasil kominasi dari

proposisi-proposisi yang sederhana

! $ ! ' $ ! ($

! $

! ) $

) ) ) ) T T) T ) T T )

T ) ) T ) )

T T T T T T

! $ * If ! t%en $ else *

) ) ) )

) ) T T

) T ) )

) T T T

T ) ) )

T ) T ) T T ) T

T T T T

02 - Logika Proposisional.pptx

Documents

Transcript of 02 - Logika Proposisional.pptx