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

     

Argumentasi

Argumentasi

Argumentasi

 

Argumentasi adalah kumpulan pernyataan-pernyataan atau kumpulan premis-premis atau kumpulan dasar pendapat serta kesimpulan (konklusi).

Biimplikasi

Biimplikasi

Biimplikasi

Perhatikan pernyataan berikut:

Microsoft Word jika dan hanya jika ingin membuat dokumen dengan sistem operasi Windows.