B. Pernyataan dan Logika proposisi

 1. Definisi proposisi

        salah satu jenis pernyataan yang dapat djadikan acuan dalam komputasi adalah proposisi, yang mengandung pengertian untuk menyatakan sesuatu secara utuh sehingga dapat dinilai apakah pernyataan tersebut benar, salah, disetujui ditolak,diterima atau disangkal veliditasnya.Logika proposisi dapat diidentifikasi berdasarkan empat elemen penting yaitu:

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 dikenalkan pada subjek.

c.Kopula merupakan kata kerja(verba) yang menjadi penghubung antar subjek dan predikat dalam sebuah pernyataan.

d.Kuantor merupakan bagian dari pernyataan yang penulisannya disesuiakan dengan kebutuhan, dengan tujuan untuk mengubah frasa.

2.Aspek Penggunaan dalam proposisi 

        Pernyataan logika proposisi berdasarkan aspek penggunaannya dapat dibedakan menjadi empat macam, yaitu sebagai berikut:

a.Aspek bentuk

 1)Proposisi tunggal adalah jenis pernyataan logika yang hanya terdiri atas satu subjek dan satu predikat.

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

b.Aspek sifat

       Jika dilihat dari sisi kebenaran dan penolakannya, model sifat proposisi dapat dikategorikan menjadi dua jenis yaitu:

1)Kategorial

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

2)Kondisional

      Kondisional merupakan pernyataan proposisi yang nilai kebenarannya memiliki syarat penentu. jenis ini dapat dibedakan menjadi dua macam:

-Hipotetis:jenis pernyataan proposisi yang dapat dinyatakan kebenarannya

-Disjuangtif:jenis pernyatan kondisional yang nilai kebenarannya berdasarkan pilihan tertentu

c.Aspek Luas

1)Universal:pernyataan yang menjelaskan kondisi secara menyeluruh

2)Partikular;teknik dalam menyampaikan sebagai pernyataan dalam seluruh aspek kebenaran

3)Singular;penyampaian logika dalam sebuah pernyataan dng satu aspek saja

d.Aspek kualitas dan kuantitas

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

1)Proposisi positif atau afirmatif

2)Proposisi negatif