from Aneh to Anyeh

Proposisi kategorik merupakan pernyataan yang terdiri atas hubungan dua term sebagai subjek dan predikat, dan secara sederhana dibedakan atas empat macam, yaitu: proposisi universal afirmatif, proposisi universal negatif, proposisi partikular afirmatif, dan proposisi partikular negatif.
Proposisi universal afirmatif ialah pernyataan bersifat umum yang mengiyakan adanya hubungan subjek dengan predikat, dirumuskan berikut ini. “Semua S adalah P”. Proposisi universal afirmatif, berdasarkan perbandingan luas term, dapat dibedakan atas dua macam: universal afirmatif ekuivalen dan universal afirmatif implikasi.
1. Proposisi universal afirmatif ekuivalen ialah pernyataan umum X mengiyakan yang antara subjek dan predikat merupakan suatu persamaan, yakni semua anggota subjek adalah anggota predikat dan semua anggota predikat adalah anggota subjek, misal: Semua manusia berbudaya.
2. Proposisi universal afirmatif implikasi ialah pernyataan umum mengiyakan yang semua subjek merupakan bagian dari predikat, yakni semua anggota subjek menjadi himpunan bagian dari predikat, misal: Setiap warga negara Indonesia ber-Ketuhanan Yang Maha Esa.
Proposisi universal negatif ialah pernyataan bersifat umum yang mengingkari adanya hubungan subjek dengan predikat, dirumuskan: “semua S bukan P”. Proposisi universal negatif berdasarkan perbandingan luas term, hanya ada satu bentuk,yaitu berbentuk eksklusif sehingga lengkapnya disebut universal negatif eksklusif, yaitu pernyataan umum mengingkari yang berarti antara subjek dan predikat tidak ada hubungan, misalnya semua rakyat Indonesia tidak mengikuti ajaran komunis.
Proposisi partikular afirmatif ialah pernyataan bersifat khusus yang mengiyakan adanya hubungan subjek dengan predikat, dirumuskan: “sebagian S adalah P”. Proposisi partikular afirmatif berdasarkan perbandingan luas term, dapat dibedakan atas dua macam: partikular afirmatif inklusif dan partikular afirmatif implikasi.
1. Proposisi partikular afirmatif inklusif ialah pernyataan khusus mengiyakan yang sebagian subjek merupakan bagian dari predikat, yakni ada anggota subjek yang menjadi bagian predikat dan ada anggota predikat yang menjadi bagian subjek, misal: Sebagian rakyat Indonesia adalah keturunan asing.
2. Proposisi partikular afirmatif implikasi ialah pernyataan khusus mengiyakan yang sebagian dari subjek merupakan suatu predikat, yakni ada sebagian anggota subjek yang menjadi himpunan predikat, misal: Sebagian rakyat Indonesia adalah warga Partai Demokrasi Indonesia.
Proposisi partikular negatif ialah pernyataan bersifat khusus yang mengingkari adanya hubungan subjek dengan predikat, dirumuskan: “sebagian S bukan P”. Proposisi partikular negatif berdasarkan perbandingan luas term terdapat dibedakan atas dua macam: partikular negatif inklusif dan partikular negatif implikasi.
1. Proposisi partikular negatif inklusif ialah pernyataan khusus mengingkari yang sebagian subjek tidak merupakan bagian dari predikat, yakni ada sebagian subjek yang tidak termasuk predikat dan ada sebagian predikat yang tidak termasuk subjek, misalnya Sebagian Sarjana Hukum bukan ahli politik.
2. Proposisi partikular negatif implikasi ialah pernyataan khusus mengingkari yang sebagian dari subjek tidak merupakan suatu predikat, yakni ada sebagian subjek yang bukan anggota predikat dan semua anggota predikat merupakan bagian dari subjek, misalnya Sebagian manusia bukan bangsa Indonesia.

source : http://massofa.wordpress.com/2008/01/31/proposisi-kategorik-penyimpulan-langsung-dan-silogisme-kategorik/