B. PERNYATAAN DAN LOGIKA PROPOSISI

 1. Befinisi Proposisi

    Menurut KBBI ,pernyataan merupakan ,sesuatu yang dapat mengandung makna benar atau salah ,tetapi kedua- duanya sama halnya dengan sistem komputasi yang menghasilkan nilai benar / true (1) atau salah / false (0).

 dalam pernyataan ,logika proposisi dapat diindetifikasi berdasarkan empat elemen penting yaitu,

a. subjek merupakan konsep yang menjadi aktor utama dalam pernyataan,meliputi benda ,objek,tempat,kejadian,orang,peralatan

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

c. kopula merupakan kata kerja (verba) yang menjadi pemghubung antara subjek dan predikat dalam sebuah pernyataan.

d. kuantor merupakan bagian dari pernyataan yang penulisannya disesuaikan kebutuhan .kuantor dalam penerapannya diklasifikasikan 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''

 2. Aspek Penggunaan dalam Proposisi

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

a. aspek bentuk

  1) proposisi tunggal adalah jenis pernyataan logika yang hanya terdiri atas satu subjek dan satu predikat atau dikenal denagn kalimat tunggal

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

b. aspek sifat

model sifar proposisi dapat dikategorikan menjadi dua jenis ,yaitu sebagai berikut.

1) kategorial 

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

2) kondisional

    kondisional merupakan pernyataan proposisi yang nilai kebenarannya memiliki syarat tertentu

jenis ini dapat dibedakan menjadi dua ,yaitu sebagai berikut.

a) hipotetis

b).disjungtif

 C. ASPEK LUAS

    Berdasarkan keluasan penyampaiannya, proposisi dapat dibagi menjadi tiga macam yaitu sebagai berikut.

1) universal

universal merupakan pernyataan yang menjelaskan kondisi secara menyeluruh atau bagian  tertentu.

2) partikular 

partikular merupakan teknik menyampaiakan sebagain pernyataan salam seluruh aspek kebenaran. 

3) singular

singular merupakan teknik penyampaian logika dalam sebuah pernyataan dengan satu aspek saja.

D. Aspek kualitas dan kuantitas 

dibedakan menjadi dua macam ,yaitu

1) proposisi positif atau afirmatif 

2) proposisi negatif

berdasarkan aspek kuantitas dibedakan menjadi dua yaitu sebagai berikut.

 1) proposisi  universal atau umum 

 2) proposis khusus atau partikular

 aspek kualitas dan kuantitas dapat diklasifikasikan  menjadi empat macam ,yaitu

1) proposisi A

    proposisi A  merupakan kategori jenis proposisi yang bersifat universal yang digunakan untuk menyatakan secara  keseluruhan tentang kebenaran, pengakuan , dan nilai posistif.

2) proposis E 

    proposisis E  merupakan universal  negatif yang mengandung penolakan ,pengingkaran, dan negatif.

3) proposisi 1 

    proposisi 1 adalajh jenis proposisi partikular afirmatif yang menjelaskan sebagain  dari semua kebenaran ,pengakuan , dan bernilai positif.

4) proposisi 0 

     proposisi o asalah kebalikan dari proposis 1 ,sebagai salah satu jenis partikular negatif yang menyatakan sebagain dari keseluruhan penolakan , pengingkaran, dan ber nilai negatif .