Berpikir matematis
Daftar Isi Topik Mengenai Login

Menggabungkan semuanya

  • logika
  • inferensia

Berikutnya: Contoh

  • Contoh

  • Contoh: Premis berkuantifier

Ditulis oleh
Ari Prasetyo
Ditulis pada
Monday, 22 Jun 2020 14:26:12
Terakhir diupdate
Friday, 15 Jul 2022 00:54:20
Dipublikasikan
Tuesday, 28 Oct 2025 05:09:26
Frase kunci
logika inferensia
Berpikir matematis
Logika Simbolik
  1. Apa itu Logika?
    1. Konsistensi dan Kontradiksi
      1. Apakah keduanya memaksudkan saat yang sama?
      2. Apakah pengertian keduanya sama?
    2. Konsistensi dan kebenaran
    3. Kesamaan Arti
    4. Menarik Kesimpulan
    5. Mengapa Belajar Logika Penting?
    6. Mengapa ini termasuk matematika?
    7. Disclaimer
  2. Pernyataan
    1. Simbol pernyataan
    2. Nilai kebenaran
    3. Simbol nilai kebenaran
    4. Pernyataan yang undecidable
  3. Kalimat terbuka
    1. Membedakan kalimat terbuka dari pernyataan
    2. Simbol kalimat terbuka
    3. Penyelesaian dan himpunan penyelesaian
    4. Kalimat terbuka dengan lebih dari satu variabel
    5. Domain pembicaraan
    6. Domain pembicaraan kalimat terbuka
  4. Tabel kebenaran
    1. Contoh 1: 1 pernyataan
    2. Contoh 2: 2 pernyataan
    3. Contoh 3: pernyataan majemuk
    4. Contoh 4: 3 pernyataan
    5. Contoh 5: Menggambarkan keadaan
    6. Contoh 6: Menggambarkan keadaan lagi
    7. Latihan membuat tabel kebenaran
  5. Ekivalensi
  6. Negasi (Ingkaran/Bantahan)
    1. Contoh 1: Warna baju Budi
    2. Contoh 2: Negasi kalimat aljabar
    3. Contoh 3: Kata "ada"
    4. Latihan Negasi
    5. Menentukan negasi suatu kalimat
    6. Kesalahpahaman mengenai negasi
    7. Menentukan kebenaran kalimat dengan menggunakan negasinya
  7. Konektor logika
    1. Konjungsi
    2. Disjungsi
    3. Implikasi
  8. Konjungsi dan disjungsi
    1. Tangan kiri dan kanan
    2. Latihan
    3. Menggunakan tabel kebenaran
      1. Contoh
      2. Contoh
      3. Latihan
    4. Pohon Sintaks
    5. Negasi dari konjungsi
      1. Hukum de Morgan
    6. Membedakan disjungsi eksklusif dan inklusif dalam pertanyaan
    7. Penggunaan disjungsi dalam aljabar
  9. Implikasi
    1. Anteseden dan Konsekuen
    2. Haruskah anteseden dan konsekuen berhubungan?
    3. Ekivalensi Implikasi dan disjungsi
    4. Kontraposisi
      1. Latihan
    5. Negasi dari implikasi
      1. Latihan
    6. Bi-implikasi
      1. Dalam pembicaraan sehari-hari
      2. Hubungan bi-implikasi dengan disjungsi eksklusif
  10. Berhenti sejenak
  11. Tautologi, kontradiksi, dan kontingensi
  12. Penarikan kesimpulan
    1. Anatomi Deduksi
    2. Validitas
    3. Menguji validitas dengan tabel kebenaran
      1. Latihan
    4. Aturan penarikan kesimpulan yang umum
      1. Modus ponens (MP)
      2. Modus tollens (MT)
      3. Silogisme disjungtif (SD)
      4. Silogisme hipotetis (SIL)
      5. Instansiasi Universal
      6. Introduksi Eksistensial
      7. Simplifikasi
      8. Introduksi konjungsi (IK)
    5. Menggabungkan semuanya
      1. Contoh
      2. Contoh: Premis berkuantifier
    6. Diagram penarikan kesimpulan & tabel kebenaran
    7. Format linear
    8. Latihan
    9. Principle of Explosion
  13. Referensi
  • Outline
  • Beranda
  • Ke judul
  • Penarikan kesimpulan
  • Introduksi konjungsi (IK)
  • Contoh