Dasar Logika Informatia II

1. 11
DDAASSAARR –– DDAASSAARR
LLOOGGIIKKAA
IINNFFOORRMMAATTIIKKAA
EErriikk HHaaddii SSaappuuttrraa,, SS..KKoomm,, MM..EEnngg..

2. 2
PPEENNIILLAAIIAANN
 MMAATTCCHHIINNGG PPAAKKAAIIAANN 3300%
((CCEELLAANNAA++KKEEMMEEJJAA++DDAASSII++SSEEPPAATTUU))
 TTUUGGAASS//PPRREESSEENNTTAASSII 1155%
 UUJJIIAANN MMIIDD SSEEMMEESSTTEERR
2255%
 UUJJIIAANN AAKKHHIIRR SSEEMMEESSTTEERR 3300%

3. 3
KKOONNVVEERRSSII NNIILLAAII
AA == 8800 --110000
BB == 6600 --7799
CC == 4400 --5599
DD == 2200 --3399
EE == 00 --1199

4. PPrrooppoossiittiioonn ((ppeerrnnyyaattaaaann))
 MMeerruuppaakkaann kkoommppoonneenn ppeennyyuussuunn llooggiikkaa
ddaassaarr yyaanngg ddiillaammbbaannggkkaann ddeennggaann hhuurruuff
kkeecciill ((pp,, qq,, rr,, ……....)) yyaanngg mmeemmiilliikkii nniillaaii
kkeebbeennaarraann ((TTrruuee aattaauu FFaallssee))..
 DDiiwwaakkiillii oolleehh kkaalliimmaatt ddeekkllaarraattiiff..
 LLaawwaann kkaalliimmaatt ddeekkllaarraattiiff  KKaalliimmaatt TTeerrbbuukkaa
 UUnnttuukk mmeennggkkoommbbiinnaassiikkaann dduuaa aattaauu lleebbiihh
pprrooppoossiissii ddiippeerrlluukkaann
““ccoonnnneeccttiivvee//ppeenngghhuubbuunngg””..
4

5. 55
SSyynnttaaccttiiccss RRuullee
((AAttuurraann SSiinnttaakkttiikk))
AAddaallaahh aattuurraann yyaanngg ddiippeerrlluukkaann uunnttuukk
mmeennggkkoommbbiinnaassiikkaann aannttaarraa pprrooppoossiittiioonnss ddaann
pprrooppoossiittiioonnaall ccoonnnneeccttiivveess uunnttuukk
mmeenngghhaassiillkkaann sseenntteenncceess ((kkaalliimmaatt llooggiikkaa))..

6. PPrrooppoossiittiioonnss ++
PPrrooppoossiittiioonnaall CCoonnnneeccttiivveess
 SSeenntteenncceess
PPrrooppoossiittiioonnaall ccoonnnneeccttiivvee yyaanngg ddiigguunnaakkaann::
NNoott ((~~)),, aanndd ((Ù)),, oorr ((Ú)),, iiff –– tthheenn -- (()),,
IIff –– tthheenn -- eellssee,, ddaann iiff aanndd oonnllyy iiff (())
66

7. IInntteerrpprreettaassii
 AAddaallaahh ppeemmbbeerriiaann nniillaaii kkeebbeennaarraann ((ttrruuee
aattaauu ffaallssee)) ppaaddaa sseettiiaapp ssyymmbbooll pprrooppoossiissii
ddaarrii ssuuaattuu kkaalliimmaatt llooggiikkaa..
SSeemmaannttiicc RRuullee ((AAttuurraann SSeemmaannttiikk))
 AAddaallaahh ssuuaattuu aattuurraann yyaanngg ddiigguunnaakkaann uunnttuukk
mmeenneennttuukkaann ““ttrruutthh vvaalluuee”” ddaarrii ssuuaattuu
sseenntteennccee,, yyaaiittuu ::
7

8. 8
1. Negation Rule
(Aturan NOT)
p not p
True False
False True

9. 9
2. Conjunction Rule
(Aturan AND)
p q p and q
True True True
True False False
False True False
False False False

10. 10
3. Disjunction Rule
(Aturan OR)
p q p or q
True True True
True False True
False True True
False False False

11. SSiiffaatt--ssiiffaatt aalljjaabbaarr llooggiikkaa
uunnttuukk kkoonnjjuunnggssii ddaann ddiissjjuunnggssii
11
 HHuukkuumm IIddeemmppootteenn
– ppvvpp == pp
– ppLpp == pp
 HHuukkuumm KKoommuuttaattiiff
– ppvvqq == qqvvpp
– ppLqq == qqLpp
 HHuukkuumm AAssssoossiiaattiiff
– ((ppvvqq))vv rr == ppvv((qqvvrr))
– ((ppLqq)) Lrr == ppL((qqLrr))

12. SSiiffaatt--ssiiffaatt aalljjaabbaarr llooggiikkaa
uunnttuukk kkoonnjjuunnggssii ddaann ddiissjjuunnggssii
 HHuukkuumm DDiissttrriibbuuttiiff
– ppvv((qqLrr)) == ((ppvvqq)) L ((ppvvrr))
– ppL((qqvvrr)) == ((ppLqq)) vv ((ppLrr))
 HHuukkuumm IIddeennttiittaass
– ppvv FFaallssee == pp
– ppLTTrruuee == pp
– ppvv TTrruuee == TTrruuee
– ppL FFaallssee == FFaallssee
12

13. SSiiffaatt--ssiiffaatt aalljjaabbaarr llooggiikkaa
uunnttuukk kkoonnjjuunnggssii ddaann ddiissjjuunnggssii
 HHuukkuumm KKoommpplleemmeenn
– ppvv nnoott pp == TTrruuee
– ppLnnoott pp == FFaallssee
– nnoott ((nnoott pp)) == pp
 HHuukkuumm DDee MMoorrggaann
NNeeggaassii ddaarrii kkoonnjjuunnggssii ddaann ddiissjjuunnggssii::
– nnoott ((ppvvqq)) == nnoott pp L nnoott qq
– nnoott ((ppLqq)) == nnoott pp vv nnoott qq
13

14. 1144
TTHHAANNXX ‘‘UU.... 