B .Pernyataan dan logika proposisi

 1. definisi proposisi

       Salah satu jenis pernyataan yang dapat dijadikan acuan dalam berproposisi, 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 proposisi dapat diidentifikasikan menjadi empat elemen penting yaitu sebagai berikut.
a.    Subjek merupakan konsep yang menjadi aktor utama dalam pernyataan,meliputi benda, objek                 tempat, kejadian, orang, peralatan, dan lainya.
b.    Predikat adalah istilah perlakuan atau timdakan 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 penulisanya disesuaikan dengan                                      kebutuhan,dengan tujuan untuk mengubah frasa pernyataan umum menjadi tertutup dalam rangka          mempertegas makna yang disampaikan. kuantor dalam penerapan diklarifikasikan menjadi dua              tipe, yaitu sebagai berikut.

       1)  kuantor universal/umum
                kuantor universal/umum digunakan untuk menyatakan ''untuk semua/setiap'' dengan simbol
       2)  kuantor khusus
                 kuantor khusus digunakan untuk menyatakan bahwa ''ada bagian paling sedikit satu X''                       dengan notasi simbol 
2. Aspek pengunaan dalam berproposisi
       pernyataan logika proposisi bedasarkan aspek pengunaanya 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 atau dikenak kalimat tunggal.
      2) Proposisi  majemuk merupakan jenis pernyataan yang memiliki dua predikat dalam penulisan                atau gabungan dari dua pernyataan tunggal proposisi.
    b. Aspek sifat 
           jika dilihat dari sisi kebenaranya dan penolakanya  dapat dikategorikan menjadi dua jenis, yaitu sebagai berikut.
        1) Kategorial
                 Kategorial merupakan jenis sifat dalam pernyataan proposisi yang memikiki milai                                   pembenaran atau penolakan (ingkar) secara mutlak tanpa syarat apapun.
         2)Kondisial
                  Kondisial merupakan pernyataan proposisi yang nilai kebenaranya memiliki syarat oenentu.                     jenis ini dapat dibedakan menjadi dua macam, yaitu sebagai berikut.
           a) Hipotetis
                 Hipotetis sdalah jenis pernyataan proposisi yang dapat dinyatakan benar jika memenuhi                            persyaratan tertentu
           b) Disjungtif 
                 Disjungtif adalah jebis pernyataan kondisional ysng nilai kebenaranya diperoleh bedasarkam                    pilihan tertentu

       c.Aspek luas
               Aspek luas dibagi menjadi tiga macam, yaitu sebagai berikut.
               1. Universal 
                      Universal merupakan pernyataan yang menjelaskan kondisi secara menyeluruh atau                                  bagian tertentu
               2. Patikular
                     Patikular erupakan teknik dalam menyampaikan sebagian pernyataan dalam seluruh aspek                       kebenaran .
               3. Singular 
                     Singular merupakan teknik penyampaikan logika dalam sebuah pernyataan dengan satu                           aspek saja.

        d. Aspek kualitas dan Kuantitas

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

               1) proposisi positif atau afirmatif 

               2) proposisi negatif

               bedasarkan sisi kuan titas , pernyataan proposi dibedakan menjadi dua jenis,yaitu sebagai                      berikut.

               1) proposisi universal atau umum 

               2) proposisi khusus atau partikular