penyataan dan logika proposisi

    1.definisi proposi ;salah satu jenis pernyataan yang   dapat dijadiakan acuan  dalam komputasi adalah proposi ,yang mengandung pengertian metode  untuk menyatakan suatu secara utuh sehingga dapat dinilai apakah pernyataan tersebut benar ,salah disetujui,ditolak ,diterima atau di sangkal validitasnya .dalam pernyatatan ,logika proposisi dapat diidentifikasikan berdasarkan empat elemen penting yaitu sebagai berkut ;a).subyek merupakan konsep yang menjadi aktor utama dalam pernyataan ,meliputi benda ,objek tempat kejadian ,orang peralatan dan lainya., b) .predikat  dalah istilah perlakuan atau tindakan yang n yang penulisanya disesuan kan dengan kebutuhan ,dengan tujuan umyk mengubah frasa pernyataan umum menjadu tertutup dalam rangka mempertegas makna yang disampaikan .kuantor dalam penerapannya, ,c).kopulan merupakan kata kerja (verba )  yang menjadi penghubung antara subjek dan predikat dalam sebuaha pernyatan .,d)kuantor merupakan bagian dari pernyaa b.pernyataan dan logika proposisi                             

 diklasifikasikan menjadi dua tipe yaitu          1).kuantor universal/umum digunakan untuk menyatakan untuk semua /setiap   ,2) kuantor khusus digunakan untuk menyatajan bahwa ada bagian paling sedikit satu x..    contoh pernyataan proposisi yang dinyatakan dalam bentuk kaliamat secara matematis a),universitas negri sebelas maret surakarta adalah salah satu perguruan tinggi negri dibawah kemdikbud, b),setiapa angka dikaliakn nol akan menghasilkan nol,c)12+5=17                                               contoh pernyataan tidak termasuk dalam katagori proposisi :a)apakah smk negri 2surakarta terakredikasi A? ,b)4x+y=34,c)dilarang membawa makanan kedalam laboratorium ,d)x<100,e) A adalah jenis bilangan ganjil.  

   2..aspek penggunaan dalam proposisi                                                                                                                perntaan logika proposisi berdasarkan aspek penggunaanya dapat dibedakan menjadi 4 macam yaitu sebagai berikut.                                                                                                                                         A)aspek bentuk  1.)proposisi tunggal adalah jenis pernyatatan logika yang hanya terdiri atas satu subyek dan satu predikat atau dikenal dengan kalimat tunggal.sebagai contoh,setiap hewan mamalia pasti akan mati.2).proposisi menjemuk merupakan jenis pernyatatan yang memiliki 2 predikat dalam penulisanya atau gabungan dari dua pernyatatn tunggal proposisi.sebagai contoh ,linuxdapat dioperasikan dengan terminal dan GUI.                                                                                                           B.)aspek sifat :jika dilihat dari sisi kebenaran dan penolakanya ,model sifat proposisi dapat dikatagorikan menjad dua jenis 1.)katagorial ,katagorial merupakan jenis sifat dalam pernyataan proposisi yang memiliki nilai kebenaran atau penolakan (ingkar) secara mutlak tanpa syarat apapaun . 2.)kondisional ,kondisional merupakan pernyataan proposisi yang nilai kebenaranya memiliki syarat tertentu  jenis ini dapat dibedakan menjadi dua macam yaitu 

a)hipotetis ,hipotetis adalah jenis pernyataan proposisi yang dapat dinyatakan kebenaranya jikamemenuhi persyaratan tertentu .

b).disjungtif adalah jenis pernyataan kondisional yang niali kebenarannya diperbolehkan berdasrkan masalh tertentu .

C).berdasarakan keluasan penyampaianya, proposisi dapat dibagi menjadi 3 macam ,yaitu sebagai berikut;

1).universal

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

2).pertikular 

pertikular merupakan teknik dalam memyampaikan sebagai pernyataan dalam seluruh aspek kebenaran biasanya ditandai dengan kata sebagian ,tidak semua ,dan masing -masing .

3)singular 

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

D).aspek kualita dan kuantitas 

berdasarakan sisi kualitas ,proposisi dibedakan menjadi dua macam yaitu :

1).proposisi positif atau afirmatif 

adalah jenis pernyaataan proposisi dengan nilai predikatnya akan menjadi kebenaran subjek yang dinyatakan.

2).prposisi negatif 

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

berdasrkan aspek kuantitas ,pernyatataan proposisi dapata di bedakan menjadi 2jenis antara lain 

1.)proposisi universal atau umum 

merupakan pernyataan logika dengan predikat menjadi pendukung atau menolak kebenaran semua subjek yang dinyatakan .

2).prposisi khusus atau pratikuler 

merupakan pernyataan logika yang membenarkan subjek .

secara umum ,pernyataan logika proposisikan jika dilihat berdasarakan aspek kualitas dan kuantitas dapat diklasifikasikan menjadi empat macam yaitu :

1.prposisi A 

2.prposisi E

3.proposisi I

4.proposisi O