Logika Proposisi

Logika Proposisi

Logika Proposisi

Pernyataan

Logika proposisi sering juga disebut logika matematika ataupun logika deduktif.

Logika proposisi berisi pernyataan-pernyataan (dapat tunggal maupun gabungan).

Pernyataan adalah kalimat deklarasi yang dinyatakan dengan huruf-huruf kecil, misalnya:

Negasi Kuantor

Negasi Kuantor

Negasi Kuantor

~ ∀x = ∃x

~ ∃x = ∀x

Macam-macam Kuantor

Macam-macam Kuantor

Macam-macam Kuantor

Macam-macam kuantor yang sering digunakan dalam proposisi:

Kuantor Pernyataan

Kuantor Pernyataan

Kuantor Pernyataan

 

Misalkan P(x) adalah pernyataan yang menyangkut variabel x dan q adalah sebuah himpunan, maka P adalah fungsi proposisi jika untuk setiap x ∊ D berlaku P(x) adalah sebuah setiap proposisi.

Bentuk-bentuk Dasar Menarik Kesimpulan

Bentuk-bentuk Dasar Menarik Kesimpulan

Bentuk-bentuk Dasar Menarik Kesimpulan

1.     Conjunctio