B. Pernyataan dan Logika

 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, diterima, atau disangkal validitasnya. Dalam pernyataan, logika prosisi dapat diidentifikasi berdasarkan 4 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 (verba) yang menjadi penghubung antara subjek dan predikat dalam           sebuah pernyataan 

d. Kuantor merupakan bagian dari pernyataan yang penulisannya disesuikan dengan kebutuhan,dengan tujuan untuk mengubah frasa pernyataan umum menjadi tertutup dalam rangka mempertegas makna yantg disampaikan. Kuantor dalam penerapan diklarifikasikan menjadi dua tipe, yaitu sebagai berikut.

1. Kuantor universital 

2. Kuator khusus

2. Aspek Penggunaan dalam Proposisi

a. Aspek bentuk

   1. Proposisi tunggal 

   2. Proposisi majemuk

b. Aspek sifat

    1. Kategorial

    2. kondisional 

        a. Hipotetis

        b. Disjungtif

c. Aspek luas

     1. Universal

     2. Partikural

     3. Singular

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

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

1. Proposisi universial atau umum

2. Proposisi khusus atau partikular

     Secara umum, pernyataan logika proposisi jika dilihat berdasarkan aspek kualitas dan kuantitas               dapat diklasifikasikan  menjadi empat bagian, yaitu sebagaoi berikut:

  1. Proposisi A

  2. Proposisi E

  3. Proposisi I