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

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.

Pernyataan tersebut disebut biimplikasi atau biconditional statement.

Konvers, lnvers, dan Kontraposisi

Konvers, lnvers, dan Kontraposisi

Konvers, lnvers, dan Kontraposisi

Jika implikasi:

p → q

Maka:    Konversnya         : q → p