B.Pernyataan dan Logik Proposisial

 B.Pernyataan dan Logika Proposisial 

B.Definisi Proposisi

       Menurut KBBI,pernyataan merupakan hal yan menyatakan sesuatu yang mengandung makna benar atau salah.Nilai benar/true(1)atau salah/false(0).memiliki 4 elemen yaitu;

a.subyek merupakan konsep yang menjadi aktor utama.

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

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

d.kuantor merupakan bagian dari pernyataan yang penulisanya disesuaikan dengan kebutuhan.kuantor di bagi menjadi 2 yaitu;

1.kuantor universal/umum

 digunakan  untuk menyatakan "untuk semua/setiap" dengan simbol (∀x)

2.kuantor khusus

untuk menyatakan bahwa" ada bagian paling sedikit satu x" 

2.Aspek penggunaan dalam proposisi

dibedakan menjadi 4 macam;

a.Aspek bentuk

1)Proposisi tunggal

jenis pernyataan logika yang harus terdiri atas satu objek &satu predikat 

2)Proposisi majemuk 

memiliki dua predikat / gabungan dari dua pernyataa tunggal proposisi

b.aspek sifat

1)kategorial 

memiliki nilai pembenaran /penolakan secara mutlak tanpa syarat apapun.

2)kondisional

nilai kebenarannya memiliki syarat penentu ,jenis ini dibedakan 2 yaitu;

a)hipotetis

dinyatakan kebenaran nya jika memenuhi syarat tertentu.

b)disjungtif

pernyataan kondisuional yg nilai kebenarannya berdasarkan pilihan tertentu.

c.Aspek luas

dibagi 3 macam yaitu;

1)universal 

          pernyataan yang menjelaskan kondisi secara menyeluruh /bagian tertentu

2)partikular 

         teknik dalam menyampaikan sebagian pernyataan dalam seluruh aspek kebenaran 

3)singular

 teknik penyampaian logika dalam sebuah pernyataan dengan satu aspek saja.

d.Aspek Kualitas dan Kuantitas

       berdasarkan sisi kualitas

1)proposisi positif / afirmatif

          pernyataan proposisi dengan nilai predikatnya akan menjadi pembenaran subjek yang dinyatakan.

2)proposisi negatif 

          jenis proposisi dengan predikatnya mengandung nilai yang tidak mendukung /menyalahkan subjek

     Berdasarkan aspek kuantitas 

1)proposisi universal atau umum 

           pernyataan logika dengan predikat menjadi pendukung /penolakan kebenaran semua subjek yang dinyatakan 

2)Proposisi khusus atau parikular

           Pernyataan logika yang membenarkan sebagian subjek.

Berdasarkan aspek kualitas dan kuantitas

1)proposisi A 

            Bersifat universal afirmatif / singular positif yang digunakan untuk menyatakan secara keseluruhan tentang kebenaran 

2)Proposisi E

            kebalikan proposisi A

3)Proposisi I

            jenis proposisi partikular afirmatif yg menjelaskan sebagian dari semua kebenaran .

4)Proposisi  O 

             kebalikan proposisi I