DASAR DASAR LOGIKA

1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat ya ! "er ilai "e ar ata# salah$ tetapi tidak ked#a ya. %erik#t i i adalah "e"erapa &o toh Proposisi ' a. ". &. d. ()(*+ + adalah "ila !a prima ,akarta adalah i"#kota e!ara I do esia Pe d#d#k I do esia "er-#mlah ./ -#ta

1.1 Pe !h#"# ! kalimat Seri ! kali "e"erapa kalimat perl# di!a"# !ka me -adi sat# kalimat ya ! le"ih pa -a !. 0isal ya kalimat ' 1 + adalah "ila !a !e a da 2 adalah "ila !a !a -il 1 mer#paka !a"# !a dari ( "#ah kalimat ' 1 + adalh "ila !a !e ap 1 da kalimat 1 2 adalah "ila !a !a -il 1 didalam lo!ika dike al . "#ah pe !h#"# ! ' Sim"ol 1 ( 2 3 7 9 Arti %e t#k

4idak 5 6ot 5 6e!asi 4idak ......... Da 5 A d 5 Ko -# !si 8.. da 88 Ata# 5 Or 5 Dis-# !si 8.. ata# ........

+ : Implikasi ,ika ....... maka ....... . ; %i implikasi ......"ila da ha ya "ila ...... Dalam matematika di!# aka h#r#f h#r#f ke&il seperti p$ <$ r$ ... # t#k me yataka s#" kalimat da sim"ol sim"ol pe !h#"# ! # t#k me yataka pe !h#"# ! kalimat. 0isalka ' p me yataka kalimat 1 + adalah "ila !a !e ap 1 = < me yataka kalimat 1 2 adalah "ila !a !a -il 1 0aka kalimat ' 1 + adalah "ila !a !e ap da 2 adalah "ila !a !a -il 1 dapat di yataka de !a sim"ol p 7 < ,ika p da < mer#paka kalimat kalimat$ maka ta"el ke"e ara pe !h#"# ! tampak pada ta"el ( 4 * 4r#e5"e ar > ? * ?alse5salah ). Perhatika "ah@a se&ara #m#m$ -ika ada 9aria"el ( p$ <$ ...)$ maka ta"el ke"e ara mem#at ( "aris. P 4 4 ? ? < 4 ? 4 ? 3p ? ? 4 4 p7< 4 ? ? ? p9< 4 4 4 ? p:< 4 ? 4 4 p;< 4 ? ? 4 =

Ao toh ' 0isal k ' 0o de ora ! kaya s ' 0o de "ers#ka &ita 4#lis "e t#k sim"olis kalimat "erik#t i i ' a 0o de ora ! ya ! miski tetapi "ers#ka &ita " 0o de ora ! kaya ata# ia sedih & 0o de tidak kaya ata#p# "ers#ka &ita d 0o de seora ! ya ! miski ata# ia kaya tetapi sedih A !!aplah e!asi dari kaya adalah miski e!asi dari "ers#ka &ita adalah sedih Pe yelesaia ' a Kata pe !h#"# ! tetapi memp# yai arti ya ! sama de !a kata pe !h#"# ! 1da 1$ sehi !!a sim"olis ya adalah 3 k 7 s "k93s & Kalimat terse"#t "erarti "ah@a 0o de tidak kaya da sekali!#s 0o de tidak "ers#ka &ita. %e t#k sim"olis ya 3 k 7 3 s d 3 k 9 (k 7 3 s) da

(. I fere si Lo!ika Lo!ika selal# "erh#"# !a de !a per yataa per yataa ya ! dite t#ka ilai ke"e ara ya. Seri ! kali dii !i ka # t#k me e t#ka "e ar tidak ya kesimp#la "erdasarka se-#mlah kalimat ya ! diketah#i ilai ke"e ara ya. (.1 Ar!#me Balid da I 9alid Ar!#me adalah ra !kaia kalimat kalimat. Sem#a kaliamat kalimat terse"#t ke&#ali ya ! terakhir dise"#t hipotesa ( ata# as#msi5premise). Kalimat terakhir dise"#t kesimp#la . Se&ara #m#m$ hipotesa da kesimp#la dapat di!am"arka se"a!ai "erik#t ' P1 P( P2 ... P ==================== < C kesimp#la (ta da < di"a&a 1 -adi < 1 S#at# ar!#me dikataka 9alid apa"ila # t#k sem"ara ! per yataa ya ! dis#"sit#sika

kedalam hipotesa$ -ika sem#a hipotesa terse"#t "e ar$ maka kesimp#la -#!a "e ar. Se"alik ya meskip# sem#a hipotesa "e ar tetapi ada kesimp#la ya ! salah$ maka ar!#me terse"#t dikataka i 9alid. Kala# s#at# ar!#me da sem#a hipotesa ya "er ilai "e ar maka ke"e ara ilai ko kl#si dikataka se"a!ai 1 dii fere sika (dit#r# ka ) dari ke"e ara hipotesa 1. D t#k me !e&ek apakah s#at# ar!#me mer#paka kalimat ya ! 9alid$ dapat dilak#ka la !kah la !kah se"a!ai "erik#t ' 1 4e t#ka hipotesa da kesimp#la kalimat. ( %#at ta"el ya ! mer#paka ilai ke"e ara # t#k sem#a hipotesa da kesimp#la . 2 Aarilah "aris kritis$ yait# "aris dima a sem#a hipotesa "er ilai "e ar. + Dalam "aris kritis terse"#t$ -ika sem#a ilai "er ilai "e ar$ maka ar!#me it# 9alid. ,ika dia tara "aris kritis terse"#t ada "aris de !a ilai kesimp#la ya ! salah$ maka ar!#me it# i 9alid. Ao toh 4e t#ka apakah ar!#me i i 9alid 5 i 9alid a p9(<9r) 3r ================ p9< " p:(<93r) <:(p7r) ==================== p:r

Pe yelesaia ' a Ada ( hipotesa masi ! masi ! p 9 ( < 9 r ) da 3 r. Kesimp#la ya adalah p 9 <. 4a"el ke"e ara hipotesa hipotesa da kesimp#la adalah '
%aris ke

p 4 4 4 4 ? ? ? ?

< 4 4 ? ? 4 4 ? ?

r 4 ? 4 ? 4 ? 4 ?

<9r 4 4 4 ? 4 4 4 ?

p 9 (<9r) 4 4 4 4 4 4 4 ?

1 ( 2 + . E F G

3 r ? 4 ? 4 ? 4 ? 4

p9< 4 4 4 4 4 4 ? ?

%aris kritis adalah "aris ($ +$ E ("aris ya ! sem#a hipotesa ya "er ilai 4. Pada "aris "aris terse"#t kesimp#la ya -#!a "er ilai 4. 0aka ar!#me terse"#t valid. " Hipotesa adalah p : ( < 9 3 r ) da <:(p7r ). Ko kl#si ya adalah p : r$ ta"el ke"e ara ya adalah
%aris ke p < r 3 r <93r p7r p:(<93r) <:(p7<) P:r

4 4 4 ?

( 2 + . E F G

4 4 4 ? ? ? ?

4 ? ? 4 4 ? ?

? 4 ? 4 ? 4 ?

4 ? 4 ? 4 ? 4

4 ? 4 4 4 ? 4

? 4 ? ? ? ? ?

4 ? 4 4 4 4 4

? 4 4 ? ? 4 4

? 4 ? 4 4 4 4

%aris kritis adalah "aris 1$ +$ F$ da G. Pada "aris ke + ("aris kritis) ilai ko kl#si ya adalah ?$ maka ar!#me terse"#t invalid. (.( 0etode 0etode I fere si 0etode I fere si yait# tek ik # t#k me #r# ka kesimp#la "erdasarka hipotesa ya ! ada$ ta pa har#s me !!# aka ta"el ke"e ara . Ada delapa "e t#k i fere si adalah A4DRA6 ARGD0I6 1 0od#s Po e %I64DK p:< p ======== < p:< 3< ========

( 0od#s 4olle

3p 2 Pe am"aha Dis-a !tif p ======= p9< p7< ====== p p9< 3p ======= < p:< <:r ======== p:r p9< p:r <:r ========= r p < ======= p7< < ======= p9< p7< ====== < p9< 3< ======= p

+ Pe yederha aa Ko-# !tif . Silo!isme Dis-# !tif

E Silo!isme Hipotesis

F Dilema

G Ko-# !si

Ao toh ' Pada s#at# hari$ a da he dak per!i ke kamp#s da "ar# sadar "ah@a a da tidak memakai ka&amata. Setelah me !i !at=i !at$ ada "e"erapa fakta ya ! a da pastika ke"e ara ya ' a ,ika ka&amata ada di me-a dap#r$ maka ak# pasti s#dah melihat ya ketika sarapa pa!i " Ak# mem"a&a kora mem"a&a ya di dap#r di r#a ! tam# ata# ak#

& ,ika ak# mem"a&a kora di r#a ! tam#$ maka pastilah ka&amata k#letakka di me-a tam# d Ak# tidak melihat ka&amatak# pada @akt# sarapa pa!i e ,ika ak# mem"a&a "#k# di ra -a !$ maka ka&amata k#letakka di me-a sampi ! ra -a ! f ,ika ak# mem"a&a kora ! di dap#r$ maka ka&amatak# ada di me-a dap#r %erdasarka fakta=fakta terse"#t$ te t#ka di ma a letak ka&amata terse"#t J

Pe yelesaia '

D t#k mem#dahka pemahama da pe !!# aa h#k#m h#k#m i fere si$ maka kalimat kalimat terse"#t le"ih dah#l# di yataka dalam sim"ol sim"ol lo!ika misal ya ' p ' Ka&amata ada di me-a dap#r < ' Ak# melihat ka&amatak# ketika sarapa pa!i r ' Ak# mem"a&a kora di r#a ! tam# s ' Ak# mem"a&a kora di dap#r t ' Ka&amata k#letakka di me-a tam# # ' Ak# mem"a&a "#k# di ra -a ! K ' Ka&amata k#letaka dime-a sampa ra -a ! De !a sim"ol sim"ol terse"#t maka fakta fakta di atas dapat di t#lis se"a!ai "erik#t ' (a) p:< (") r9s (&) r:t (d) 3< (e) #:@ (f) s:p I fere si ya ! dapat dilak#ka "erik#t '

adalah se"a!ai

1p:< 3< ======== 3p (s:p 3p ========= 3s 2r9s 3s ========= r +r:t r ========= t

fakta (a) fakta (d) de !a 0od#s 4olle fakta (f) kesimp#la dari 1 de !a 0od#s 4olle fakta (") kesimp#la ( de !a Silo!isme Dis-# !tif fakta (&) kesimp#la 2 de !a 0od#s Po e

Kesimp#la ' Ka&amata ada di me-a tam# Perhatika "ah@a # t#k me &apai kesimp#la akhir$ tidak sem#a fakta diper!# aka . Dalam &o toh fakta (e) tidak di!# aka . Hal i i tidak me -adi masalah selama pe #r# a dilak#ka de !a me !!# aka metode i fere si ya ! "e ar.