B.Pernyataan dan Logika Proporsi

 1.  Definisi Proporsi

       Menurut KBBI,pernyataan merupakan hal yang menyatakan,sesuatu yang dapat mengandung makna besar atau salah, yang sekaku menghasilkan nilai benar /true (1) atau sala/false (0).

        Salah satu jenis pernyataan yang dapat dijadikan acuan dalam komputasi yang mengandung pengertian metode untuk menyatakan sesuatu secara utuh sehingga dapat dinilai apakah pernyataan itu benar, salah,disetujui, ditolak, diterima, atau disangkal validitasnya.dalam pernyataan logika proposisi dapat diidentifikasi berdasarkan empat elemen penting, yaitu sebagai berikut.

 A.subjek merupakan konsep yang menjadi aktor utama dalam pernyaan, meliputi benda, objek tempat, orang. 

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

C.kopuka merupakan kata kerja (verba) yang menjadi penghubung antara subjek dan predikat dalam sebuah pernyataan.

D.kuantor merupakan bagian dari pernyataan yang penulisnya disesuaikan dengan kebutuhan, bertujuan untuk mengubah pernyataan umum menjadi tertutup dalam rangka mempertegas makna yang disampaikan. dalam penerapannya diklasifikasiksn menjasi dua tipe,yaitu sebagai berikut

1.kuantor universa/umum

kuantor universal/umum digunakan untuk menyatakan

 "untuk semua/setiap"dengan simbol (vx)

2.kuantor khudud

kuantor khusus digunakan untuk menyatakan bahwa.

"ada bagian paling sedikit satu x" dengan notasi simbol (ex).

    contoh pernyataan proposisi yang ddinyataan dalam bentukkalimat dalam bentuk kaliat ataupun secara sistematis.

A.universitas negeri sebelas maret surakarta adalah salasatu perguruan tinggi negeri dibawah kemdikbud.

B.setiap anga yang dikalian dengan nol hasilnya akan tetap nol.

    Contoh pernyataan yang tidak termaksud dalam kategori proposisi adalah sebagai berikut.

"apakah SMK Negeri 2 surakarta terakreditasi A?"

      Pernyataan logika proporsisi dalam contoh sebelmnya bisa diklasifikasikan sebagai pernyataan kalimat terbuka.

2.   Aspek Penggunaan dalam Proporsi

  Berdasarkan aspek penggunaannya dapat dibedakan menjadi empat macam, yaitu sebagai berikut.

 A.aspek bentu 

 1.proposisi tunggal adalah jenis pernyataan logika yang hanya terdiri dari satu subjek dan satu predikat atau dikenal dengan kalimat tunggal.

 2.proposisi majemuk merupaan jenis pernyataan yng memiliki dua predikat dalam penulisannya atau gabungandari dua pernyataan tungga proposisi.

 B.aspek sifat

  1.kategorial 

kategori merupakan jenis sifat dalam pernyataan proposisi  yang memiliki nilai pembenaran atau penolakan (ingkar) secara mutlak tanpa alasan apapun.

  2.kondisional
kondisional merupakan pernyataa proposisi yang nilai kebenaran memiliki syarat penentu.jenis ini dapat dibedakan menjadi dua macam,antara lain:

 a.hipotetis

 b.disjungtif

 
C.aspek luas

    Berdasarkan keluasan penyampaianny, proposisi dapat dibagi menjadi tiga macam antara lain:

     1.Unifersal

     2.Partikular

     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 kuantitaf, pernyataan proposisi dapat dibedakan menjadi dua jenis, antara lain:

1.proposisi universal tau umum 

2.proposisi khusus atau partikular.