Anda di halaman 1dari 1

Kuantor Universal

Kalimat dan Pernyataan

Kuantor Eksistensial
Kuantor Kalimat Terbuka
KB 1. Kalimat,
Negasi Pernyataan Pernyataan, Kalimat
Negasi
Kuantor Terbuka, Pernyataan
KB. 2. Tautologi dan Majemuk
Kontradiksi
Konjungsi
Tautologi

Pernyataan Majemuk Disjungsi


Kontradiksi

LOGIKA
Implikasi
MATEMATIKA
Biimplikasi

Alajabar Proposisi

Argumen dan Inferensi

Aturan Bukti Bersyarat KB. 3. Aljabar Proposisi


KB. 4. Aturan Bukti
Bersyarat dan Bukti Tak dan Argumen Modus Ponen
Langsung
Bukti Tak Langsung

Modus Tolen

Metode Inferensi

Hipotesis

Silogisme Disjungtif

Anda mungkin juga menyukai