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:

1.   Untuk setiap x, P(x)

disebut kuantor universal simbol yang digunakan ∀

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 - 1

Bentuk-bentuk Dasar Menarik Kesimpulan - 1

 Contoh pemanfaatan:

Buatlah kesimpulan dari argumen di bawah sehingga argumen tersebut valid

1.   Jika hasilnya akurat maka sistemnya digital

2.   Jika sistem digital maka rancangan jaringannya kombinasi

3.   Jika sistem digital maka menggunakan dua nilai tanda bilangan biner

4.   Hasil akurat

--------------------------------------------------------------------------

∴  ?

Jawab:

 

Dengan Hypothetical Syllogism

Sehingga argumentasi dapat ditulis ulang

Dengan Modus Ponen

Sehingga argumentasi dapat ditulis ulang

Dengan conjuntion kesimpulannya dapat ditulis r Ù s, sehingga argumentasi menjadi

adalah valid.

Bukti dengan tabel kebenaran

∴ argumen di atas valid.

 

 “Sumber Informasi”

Bentuk-bentuk Dasar Menarik Kesimpulan

Bentuk-bentuk Dasar Menarik Kesimpulan

 Bentuk-bentuk Dasar Menarik Kesimpulan

1.     Conjunctio