Penarikan Kesimpulan

Jika p, q dan r adalah suatu pernyataan, maka terdapat tiga cara dalam penarikan kesimpulan, yaitu : pada modus ponens dan modus tol...

Pernyataan Berkuantor

Terdapat dua macam kuantor, yakni kuantor universal dam kuantor eksistensial. (1) Kuantor universal Simbol : ∀ x ϵ S , P(x) Dibaca :Unt...

Konvers, Invers dan Kontraposisi

Misalkan p dan q suatu pernyataan, maka sebuah implikasi p → q akan mempunyai konvers, invers dan kontraposisi, yang didefinisikan : Konv...

Ekivalensi, Tautologi, Kontradiksi dan Kontingensi

Dua pernyataan majemuk p dan q dikatakan ekivalen jika memiliki nilai kebenaran yang sama, ditulis p ≡ q Salah satu cara untuk membuktikan...

Pernyataan Majemuk (Negasi Kalimat Majemuk)

Negasi dari pernyataan majemuk adalah negasi dari konjungsi, disjungsi, implikasi dan biimplikasi. Seperti yang telah dijelaskan dimuka, ji...

Pernyataan Majemuk (Implikasi dan Biimplikasi)

(3) Implikasi Implikasi adalah kalimat majemuk yang disusun dari dua pernyataan p dan q dalam bentuk: “jika p maka q” ditulis “p→q” Dalam ...

Pernyataan Majemuk (Konjungsi dan Disjungsi)

Pernyataan majemuk adalah dua pernyataan atau lebih yang digabungkan menjadi satu, dengan aturan tertentu. Aturan tersebut dalam logika mat...

Pernyataan, Kalimat Terbuka, dan Negasinya

Kalimat adalah rangkaian kata-kata yang mengandung arti. Mengandung arti disini maksudnya baik berupa makna kiasan maupun makna yang sebena...