BAB III DASAR – DASAR LOGIKA - Bab III Dasar Logika

• " * *+ % * &
• . / 0 1 0 1 / 2 0 , %

  ) *" + % * 2 7 #

  9 9 /

  9

  9 9 / / 9 / /

  9

  9 9 /

  9

  / / 9 / / / / /

  7 7 . 2 7 4 7 → 7 ↔ 7

  4

  6 /!/ 8 9!9 : %

  7

  6 )

  7

  6

  6

  & ↔

  → $ #

  33 "

  3

  ( ,

  % % ) *" + % *

  $ % &' % (

  ! " " # $

• " * 7 *+ % *

  9 9 / /

  ) ) )

  / ) ) ) )

  , . * 2 * 4 .

  : ) ) . 2 . . 4 2 .

  <

  6 (

  %

  ! " " # "

  (

  ==================== _{∴ ∴} 7 > 7 * % 7 *

  (

  4 %

  % (

  4

• ?

  4

  6 / - ; +

  " % 4 #

• ,
• / / / / / 9 /
• / 9 / / /

  74.

  2 ====================

  →

  C → 7 4 .

  7 →

  2 →

  7 .

  2 → 74. 7→ 27 →

  / " 6 % / )

  9 /

  9

  9

  9 / / " / 9 9 / / 9 / /

  9 & 9 / / 9 / 9 / 9 / @ 9 / 9 / / 9 / 9 / A 9 9 / 9

  9 9 / / / B 9 9 9 / / 9 / / /

  → 7 →

  9

  9

  9 / " /

  /

  4

  4 4 7 4 . ============= 4 7

  6 4 7 4 . 4 7 /

  6 7 7 4 4 7 4 . 4 7

  / / 9 / / / /

  9

  9 9 /

  9 9 / / / & 9 / / / / 9 / @ 9 / 9 / / / / A

  9 9 / / /

  9

  9 B

  9

  9

  9

• " @
• / / / 9 / / / / / / / 9 / /
• / 9 / 9 9 /
• " A B "

  $ " $ "

  7 _→ 7 → > ^∴

  6

  D , E , ( , / % ? , % F % %

  6 %

  6

  6

  ?

  % =

  % #

  % , : # % %

  # % , #

  : ( =

  7 ;

  7 > ^{∴ ∧}

  %

  7 _∨

  ) $ ,

  7 7 → > ^{∴ →}

  > ^∴ ( C ^→

  7 .7

  7 ^∨

  > ^∴

  7 .

  7 ( % ^∨

  7 % ^∧ 7 > ^{∴ ∧} 7 > ^∴

  7 7 > ^{∴ ∨}

  > ^{∴ ∨}

  > ^∴ . %

  7 .7

  7 ) / ^→

  ) ^→ 7 > ^∴

  6 → 7

  → : →

  $

• → 7

  . 7 ========

  . ) / →

  . - =========

  . ) /

• 4 .

  ========= ( %

  " →

• =========

  ) %

  :