B.Pernyataan dan logika proposisi

 1.Definisi proposisi

Salah satu jenis pernyataan yang dapat dijadikan acuan dalam komputasi adalah proposisi,yang mengandung pengertian metode untuk menyatakan sesuatu secara utuh sehingga dapat dinilai apakah pernyataan tersebut benar ,salah,disetujui,ditolak,ditrima,atau disangkal validitasnya.

2. Aspek penggunaan dalam proposisi 

Pernyataan logika proposisi berdasarkan aspek penggunaanya dapat dibedakan menjadi empat macam, yaitu sebagai berikut.

a.Aspek bentuk

1)Proposisi tunggal adalah jenis pernyataan logika yang hanya teridiri atas satu subjek dan satu predikat atau dikenal dengan kalimat tunggal.

2)Proposisi majemuk merupakan jenis pernyataan yang memiliki dua predikat dalam peulisannya atau gabungan dari dua pernyataan tunggal proposisi

b.Aspek sifat

Aspek sifat dapat dikategorikan menjadi dua jenis,yaitu sebagai berikut 

1) kategorial merupakan jenis sifat dalam pernyataan proposisi yang memiliki nilai pembenaran atau penolakan (ingkar) secara mutlak tanpa syarat apa pun .

2) kondisional merupakan pernyataan proposisi yang nilai kebenarannya memiliki syarat penentu.jenis ini dapat dibedakan menjadi dua macam, yaitu HIPOTETIS DAN DISJUNGTIF

c.Aspek luas 

Berdasarkan keluasan penyampainnya, proposisi dapat menjadi tiga macam 

1) Universal 

merupakan pernyataan kondisi secara menyeluruh atau bagian tertentu.

2) Partikular

merupakan teknik dalam menyampaikan sebagian pernyataan dalam seluruh aspek kebenaran,biasanya ditandai dengan kata sebagian,tidak semua,beberapa dan kebanyakan.

3) Singular

merupakan teknik penyampaian logika dalam sebuah pernyataan dengan satu aspek saja.hal ini dapat dilihat dalam penggunaan kata ini dan itu.

d.Aspek 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 subjek yang dinyatakan.

2) Proposisi negatif adalah jenis proposisi dengan predikat nya mengandung nilai yang tidak mendukung atau menyalahkan subjek.

    Berdsarkan aspek kuantitas,Pernyataan proposisi dapat dibedakan menjadi dua jenis , antara lain sebagai berikut .

1) Proposisi universal atau umum 

     Proposisi universal merupakan pernyataan logika dengan predikat menjadi pendukung atau penolak kebenaran seua subjek yang dinyatakan.sebagai contoh,semua komputer membutukan power supply

2.Proposisi khusus atau partikular 

    Proposisi khusus meruoakan pernyataan logika yang membenarkan sebagian subjek.sebagai contoh,sebagian komputer tidak menyediakan port PS/2 lagi