pernyatan dan logika proposisi

    B. PERNYATAAN DAN LOGIKA PROPOSISI

1. DEFINISI PROPOSISI

    dalam pembelajaran logika, anda akn di tuntun berpikir secara rasional dan logis . untuk menyimulasikan penalaran awal yang baik, akan di jelaskan dengan cara penyampaian kalimat dalam bentuk pernyataan . menurut KBBI, pernyataan merupakan hal yang mmenyatakan, sesuatu yang dapat yang mengandung makna benar atau salah , tetapi tidak kedua duannyaa.

salah satu jenis pernyataan yang dapat dijadikan dalam acuan komputasi adalah proposisi, yang mengandung

a. subjek merupakan konsep yang menjadi faktor utama pernyataan , meliputi benda , objek tempat , kejadian , orang , peralatanan, dan lainnya .

b. predikat adalah istilah perlakuan atau tindakan yang dilakukan atau dikenakan 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 penulisnya disesuaikan dengan kebutuhan , dengan tujuan untuk mengubah frasa pernyartaan umum menjadi tertutup dalam rangka mempertegas makna yang di di sampaikan 

2. ASPEK PENGGUNAAN DALAM PROPOSISI 

a. aspek bentuk 

1) proposisi tunggal adalah jenis pernyataan logika yang terdiri atas satu sobjek dan satu predikat atau dikenal dengan kalimat tunggal . sebagai contoh , setiap mamalia akan mati .

2) proposisi majemuk merupakan jenis pernyataan yang mrmiliki dua predikat dalam penulisan nya atau gabungan dari dua pernyataan tunggal . sebagai contoh , linux dapat dioprasikan dengan terminal dan GUI. 

b.  aspek sifat 

jika dilihat dari sisi kebenaran dan penolakannya , model sifat proposisi dapat di kate gorikan menjadi dua sisi atau dua jenis , yaitu sebagai berikut 

1) kategorial 

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

2) kondisional

kondisional merupakan pernyataan proposisi yang nilai kebenarannya memiliki syarat penentu . 

a) hipotetis 

hipotetis adalah jenis pernyataan proposisi yng dapat di nyatakan kebenaran nya jika memenuhi persyaratan tertentu . 

b) disjungtif 

disjungtif adalah jenis pernyataan kondisional yang nilai kebenaran nya diperoleh berdsar kan pilihan tertentu. 

c. aspek luas 

berdasar kan keluasan penyimpanan nya , proposisi dapat di bagi menjadi tiga macam , yaitu sebagai berikut . 

1) universal 

universal merupakan pernyataan yang menjelaskan kondisi secara menyeluruh atau bagian tertentu . hal ini di tandai dengan kata siap , sluruh, semua, dan masing masing . contoh setiap komputer yang nyala akan menghasilkan panas

2) partikular 

partikular merupakan teknik dalam menyampaikan sebagian pernyataan dalam seluruh aspek kebenaran , beberapa ,  dan kebanyakan . sebagai contoh , tidak semua komputer mendukung permaainan 3D. 

3) singular 

singular merupakan teknik penyimpanan logika daram sebuah pernyataan dengan satu aspek saja.            contoh komputer ini tidak ini tidak dapat di nyalakan 

d. aspek kualitas dan kuantitas 

berdasarkan sisi kualitas, proposisi dapat dapat di bedakan menjadi dua , yaitu sebagai berikut 

1) proposisi positif atau alternatif

peroposisi positif adalah jenis pernyataan proposisi dengan nilai predikatnya akan menjadi kebenaran subjek yang di nyatakan. 

2) proposisi negatif 

proposisi negatif adalah jenis proposisi dengan predikat mengandung nilai yang tidak mendukung atau menyalahkan subjek . 

berdasarkan aspek kuantitas , pernyataan proposisi dapat di bedakan menjadi dua jenis , antara lain sebagai berikut .

1) proposisi universal atau umum 

proposisi universal merupakan pernyataan logika dengan predikat menjadi pendukung atau penolak kebenaran  semua subjek yang di nyatakan. 

2) proposisi khusus atau partikular 

proposisi khusus merupakan pernyataan logika yang membenarkan sebagai subjek . 

secara umum pernyataan logika proposisi jika di lihat berdasarkan aspek kualitas dan kuantitas dapat di klasifikasikan jadi empat macam ya itusebagai berikut. 

1) proposisi A 

proposisi A merupakan kategori jenis proposisi yang universal afirmatif atau singular positif yang digunakan untuk menyatakan secara keseluruhan tentang kebenaran, pengakuan, dan nilai positif 

2) proposisi E 

proposisi E memiliki kebalikan sifat di banding kan proposisi A . istilah lain dari proposisi E adalah proposisi universal negatif

3) proposisi I 

proposisi I adlah proposisi partikual afirmatif yang menjelaskan sebagaian dari semua kebenaran , pengakuan , dan bernilai positif.