Garis besar topik

    • Pola Logika dan Penalaran

      • Pendahuluan

      • Peran Pengetahuan

      • Logika Proporsional

      • Pola Penalaran

      • Proof Methods

      Penalaran Nonmonotonic