PERNYATAAN DAN LOGIKA PROPOSISI

    1.Definisi Proposisi

Dalam Pernyataan, logika proposisi dapat diidentifikasi berdasarkan empat elemen penting, yaitu sebagai berikut:

 a.Subjek merupakan konsep yang menjadi aktor utama dalam pernyataan,meliputi benda,objek tempat,kejadian,orang,peralatan,dan lainnya.

 b.predikat adalah istilah perlakuan atau tindakan yang dilakukan atau dikenakan pada subjek

 c.Kopula merupakan kata kerja(verbal) yang menjadi penghubung antara subjek dan predikat dalam debuah pernyataan.

 d.Kuator merupakan bagian dari pernyataan yang penulisnya di sesuaikan dengan kebutuhan,dengan tujuan untuk mengubah frasa pernyataan umum menjadi tertutup dalam rangka mempertegas makna yang di sampaikan .

    2.Aspek Penggunaan dalam Proposisi

Pernyataan penggunaan dalam proposisi berdasarkan aspek penggunaanya dapat di bedakan menjadi empat macam,yaitu:

 a.Aspek Bentuk

    1) Proporsi tunggal adalah jenis pernyataan logika yang hanya terdiri atas satu subjek dan satu predikat atau di kenal dengan kalimat tunggal .

    2)Proporsi majemuk merupakan jenis pernyataan yang memiliki dua predikat dalam penulisannya atau gabungan dari dua pernyataan tunggal proposisi.

b.Aspek Sifat

   Model sifat proposisi dapat di kategorikan menjadi dua jenis yaitu:

1.Kategorial 

Merupakan jenis sifat dalam pernyataan proposisi yang memiliki nilai pembenaran atau penolakan(ingkar) secara mutlak tanpa syarat apapun.

 2.Kondisional 

 Merupakan pernyataan proposisi yang nilai kebenarannya memiliki syarat penentu.jenis ini dapat di bedakan menjadi dua macam,yaitu:

    a) Hipotetis 

 Hipotetis adalah jenis pernyataan proposisi yang dapat di nyatakan kebenarannya jika memenuhi persyaratan tertentu .contoh,semakin tinggi ram komputer maka semakin cepat proses yang dijalankanya.

    b) Disjungtif

Disjungtif adalah jenis pernyataan kondisional yang nilai kebenarannya di peroleh berdasarkan pilihan tertentu.

c.Aspek Luas

   Dapat dibagi menjadi tiga macam yaitu:

1) Universal 

    Merupakan pernyataan yang menjelaskan kondisi secara menyeluruh atau bagian tertentu.

2) Partikular 

 Merupakan teknik dalam menyampaikan sebagian pernyataan dalam seluruh aspek kebenaran,biasanya di tandai dengan kata sebagian,tidak semua,beberapa,dan kebanyakan.

 3)Singular

singular merupakan teknik penyampaian logika dalam sebuah pernyataan dengan suatu aspek saja.

d.Apek Kualitas dan Kuantitas

berdasarkan sisi kualitas, proposisi dapat dibedakan menjadi dua macam, yaitu sebagai berikut.

1) Proposisi positif dan afirmatif

    proposisi positif adalah jenis pernyataan proposisi dengan nilai predikatnya akan menjadi pembenaran subyek yang dinyatakan . sebagai contoh, semua komputer adalah perangkat elektronik

2) Proposisi negatif

    adalah jenis proposisi dengan predikatnya mengandung nilai yang tidak mendukung atau menyalahkan subyek. contoh: tidak satupun komputer yang membutuhkan makanan.

Berdasarkan aspek kuantitas pernyataan proposisi dapat dibedakan menjadi dua jenis,antara lain sebagai berikut:

1) proposisi Universal dan Umum

merupakan pernyataan logika dengan predikat menjadi pendukung atau penolak kebenaran semua subyek yang dinyatakan. contoh semua komputer membutuhkan power supply

2) Proposisi khusus atau partikular

merupakan pernyataan logika yang membenarkan sebagian subyek. contoh: sebagian komputer tidak menyediakan port PS/2

   Pernyataan logika proposisi jika dilihat berdasarkan aspek kualitas dan kuantitas dapat diklasifikasikan menjadi empat macam,yaitu:

1)Proposi A

merupakan kategori jenis proposisi yang bersifat universal afirmatif atau singular positif yang digunakan untuk menyatakan secara keseluruhan tentang kebenaran,pengakuan,nilai dan positif

2)ProposiE

istilah lain dari proposisi E adalah proposisi universal negatif atau singular negatif yang mmengandung makna penolakan,pengingkaran,dan negatif.

3)Proposisi I

Adalah jenis proposisi partikular afirmatif yang menjelaskan sebagian dari semua kebenaran ,pengakuan,dan bernilai positif.

4)Proposi O

Adalah kebalikan dari proposi I,sebagai salahsatu jenis partikular negatif yang akan menyatakan sebagian dari keseluruhan penolakan,pengingkaran,dan bernilai negatif.