Penarikan Kesimpulan yang Melibatkan Penyataan Berkuantor

Misalkan diketahui pernyataan p. Ingkaran pernyataan p dinotasikan ~p adalah pernyataan yang memiliki nilai kebenaran yang bertentangan dengan nilai kebenaran pernyataan p. Pernyataan – pernyataan ekivalen dinotasikan ≡ adalah  pernyataan – pernyataan yang bermaksud sama.

Pernyataan berkuantor adalah pernyataan yang memuat tepat satu dari kata – kata semua, setiap, seluruh, segenap, ada, sebagian, beberapa, dan kata – kata lain yang bermaksud sama. Kuantor universal dinotasikan ∀ diwakili oleh tepat satu dari kata – kata semua, setiap, seluruh, dan segenap. Sementara kuantor eksistensial dinotasikan ∃ diwakili oleh tepat satu dari kata – kata ada, sebagian, dan beberapa.

Terdapat tiga pola penarikan kesimpulan yaitu modus ponen, modus tolen, dan silogisme.

Pembahasan kali ini adalah mengenai penarikan_kesimpulan yang melibatkan pernyataan berkuantor. Semoga bermanfaat.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s