10 Virus Komputer yang Paling Merusak

10. CIH – Kerugian $ 80.000.000

Virus ini dianggap salah satu virus yang paling berbahaya dan paling merusak yang pernah ada karena memiliki kemampuan untuk tetap tidak terdeteksi dalam memori komputer, dan menginfeksi setiap aplikasi yang dijalankan. Pertama kali dirilis pada tahun 1998, virus CIH file executable menginfeksi mulai dari sistem operasi Windows 95, 98, sampai windows ME.

Virus ini juga sengaja didistribusikan oleh vendor perangkat lunak, yang memberikan kontribusi  besar untuk menginfeksi komputer. Apa yang membuat virus ini berbahaya adalah bahwa ia memiliki tanggal pemicu. Setelah tanggal itu tercapai, hal itu menimpa file pada hard drive dan menghancurkan semua isi file.

CIH juga memiliki kemampuan untuk menimpa BIOS dari komputer untuk mencegah boot up. Virus ini juga dikenal sebagai virus Chernobyl karena beberapa varian yang ditetapkan untuk menghancurkan data di komputer yang bertepatan dengan kecelakaan pembangkit tenaga nuklir.

9. Blaster – Kerugian $ 320.000.000

Virus Blaster adalah sebuah malware kompleks yang menyebar sendiri tanpa melalui email, tetapi melalui kerentanan pengamanan baik di sistem Windows 2000 dan Windows XP. Ini perangkat lunak berbahaya yang terdeteksi pada pertengahan-2003 dan pada saat itu telah menginfeksi ratusan ribu komputer.

Blaster worm

Setelah komputer terinfeksi, virus ini menampilkan sebuah kotak pesan yang menunjukkan bahwa sistem akan menutup dalam beberapa menit. Ia juga diprogram untuk meluncurkan serangan DDoS ke server yang dijalankan oleh Microsoft pada April 2003. Didalam kode virus ini juga ditemukan pesan tersembunyi untuk pendiri Microsoft Bill Gates yang berbunyi “Billy Gates, mengapa Anda membuat ini terjadi? Berhentilah membuat uang, dan memperbaiki perangkat lunak Anda! ”

8. Sasser – Kerugian $ 500.000.000

Sasser adalah virus komputer yang cukup rumit yang mampu melumpuhkan ribuan komputer. Virus ini dibuat oleh seorang mahasiswa berumur 17 tahun di Jerman pada tahun 2004. Sasser tidak menyebar melalui email, dan tidak memerlukan campur tangan manusia untuk menginfeksi sebuah komputer. Virus ini menginfeksi komputer dengan memanfaatkan kerentanan yang hadir di kedua mesin Windows 2000 dan Windows XP, yang dikenal sebagai mengeksploitasi (Remote Procedure Call) RPC – kerentanan yang sama yang digunakan oleh virus Blaster.

                                           Sasser timeline

Sasser berhasil menginfeksi dan mematikan ribuan jaringan komputer hanya dalam hitungan hari. Setelah menginfeksi komputer, virus ini diprogram untuk mengakses internet untuk mencari mesin rentan lainnya sehingga dapat menginfeksi komputer lainnya.

7. SQL Slammer – Kerugian $ 750.000.000

Sql after

SQL Slammer adalah virus peringkat 7 yang paling merusak dalam daftar ini. Muncul pada Januari 2003, menyebar cepat lewat internet. Waktu itu virus ini sempat membuat layanan ATM Bank Amerika crash, hancurnya layanan 911 Seattle, dan Continental Airlines membatalkan beberapa penerbangan karena error check in dan ticketing.

6. Virus Melissa – Kerugian $ 1.200.000.000

Dibikin tahun 1999 oleh David L Smith, basicnya Microsoft Word macro. Menyebar via email dengan dokumen “Here is that document you asked for, don’t show it to anybodey else.” Virus ini juga telah menginfeksi sampai 20% pemilik komputer di seluruh dunia. Bila sampai dibuka, virus akan mereplikasi dan otomatis terkirim ke top 50 di address book email Anda. Smith dipenjara 20 bulan karena ulahnya dan didenda $5000 serta dilarang mengakses komputer tanpa pengawasan.

5. Code Red – Kerugian $ 2.000.000.000

                                                     Code Red

Tidak seperti virus lain, ini adalah virus yang ditargetkan agar komputer menjalankan Microsoft IIS (Internet Information Server) Web Server, dan mengeksploitasi bug dalam perangkat lunak. Setelah komputer telah terinfeksi, virus ini akan memodifikasi situs yang diakses dan menampilkan pesan “Welcome to http://www.worm.com! Hacked oleh Cina “Lalu!, Nanti virus ini akan mencari komputer lain untuk menjalankan software web server dan melakukan hal yang sama. Setelah sekitar dua minggu menginfeksi, virus ini diprogram untuk memulai DDoS (Distributed Denial of Service) serangan pada situs-situs tertentu, termasuk server Gedung Putih.

4. Conficker: Kerugian $ 9.100.000.000

                                                 Conficker

Conficker (juga disebut Downup, Downandup dan Kido) adalah worm yang muncul pada Oktober 2008. Conficker menyerang Windows dan paling banyak ditemui dalam Windows XP. Microsoft merilis patch untuk menghentikan worm ini pada tanggal 15 Oktober 2008. Heinz Heise memperkirakan Conficker telah menginfeksi 2.5 juta PC pada 15 Januari 2009, sementara The Guardian memperkirakan 3.5 juta PC terinfeksi.Pada 16 Januari 2009, worm ini telah menginfeksi hampir 9 juta PC, dan menjadikannya salah satu infeksi virus yang paling cepat menyebar dalam waktu singkat.

3. ILOVEYOU – Kerugian $ 15.000.000.000

Worm ini berasal dari Manila, Filipina pada tanggal 4 Mei 2000 dan menyebar ke seluruh dunia dalam satu hari, pindah ke Hong Kong, kemudian ke Eropa dan Amerika Serikat, menyebabkan kerugian ekonomi sekitar $ 5,5 miliar dalam jangka waktu kurang dari 2 minggu. Pada tahun 2000, 50 juta orang telah melapor terinfeksi virus ini. Dalam rangka untuk membebaskan diri dari virus ini, Pentagon, CIA, dan Parlemen Inggris harus menutup sistem email mereka;. Seperti yang dilakukan kebanyakan perusahaan besar dunia.

                                                 iloveyou

Worm ini menimpa file penting – file musik, file multimedia, dan banyak lagi – dengan salinan dirinya. Virus ini juga mengirim worm ke lima puluh orang pertama dalam daftar buku teman. Karena ditulis dalam Visual Basic Script dan dihubungkan dengan Buku Alamat Windows Outlook, worm ini hanya mempengaruhi komputer yang menjalankan sistem operasi Microsoft Windows.

2. Sobig.F – Kerugian $ 37.000.000.000

                                                      Sobig.F

Virus komputer ini menyebabkan kerugian miliaran dolar dengan mengulur-ulur atau benar-benar menabrak gateway Internet dan server email, sehingga tanpa ampun memperlambat akses internet global. Virus Ini dapat mengirim lebih dari satu juta salinan dari dirinya sendiri hanya dalam beberapa jam. Pada September 2003, virus ini telah diprogram untuk menonaktifkan dirinya sendiri. Dan akhirnya virus ini berhenti mengancam dunia dengan sendirinya.

1. MyDoom – Kerugian $ 38.000.000.000

                                                     Mydoom

Mulai menyerang tanggal 1 Februari 2004, virus ini membuat backdoor di OS. Pertama kali tanggal 1 itu mulai DDoS. Kedua, tanggal 12 Feb, virus ini berhenti menyebar dan mulai buat backdoors. MyDoom menyebar via email, selain itu selalu search di search engines, seperti Google mulai menerima jutaan permintaan pencarian dan bikin lambat sampai akhirnya crash. Gara-gara MyDoom, Senator US Chuck Schumer mengajukan pembuatan National Virus Response Center.

Program Link List Dengan Java

import java.util.Scanner;
import java.io.*;
class LinkListApp {
    public static void main (String args []) throws Exception{
        String nama;
        byte berat;
        short tinggi;
        char lagi;
        int pilih;
        LinkList List = new LinkList();
        Scanner in = new Scanner (System.in);
        BufferedReader input = new BufferedReader (new InputStreamReader(System.in));
        Node hapus;
       
        System.out.println ("Proses: ");
        System.out.println ("1. Tambah depan");
        System.out.println ("2. Tambah belakang ");
        System.out.println ("3. Hapus depan");
        System.out.println ("4. Hapus belakang ");
        do {
            System.out.print ("Pilih: ");
            pilih = in.nextInt();
            switch (pilih) {
                case 1    :   System.out.print ("Masukkan n: ");
                            int n=in.nextInt();
                            for(int i=1;i<=n;i++){
                            System.out.print ("Masukkan nama: ");
                            nama = input.readLine();
                            System.out.print ("Masukkan berat: ");
                            berat = in.nextByte();
                            System.out.print ("Masukkan tinggi: ");
                            tinggi = in.nextShort();
                            List.tambahDepan (nama, berat, tinggi);}
                           
                            break;
                case 2    :    System.out.print ("Masukkan n: ");
                            int m=in.nextInt();
                            for(int i=1;i<=m;i++){
                            System.out.print ("Masukkan nama: ");
                            nama = input.readLine();
                            System.out.print ("Masukkan berat: ");
                            berat = in.nextByte();
                            System.out.print ("Masukkan tinggi: ");
                            tinggi = in.nextShort();
                            List.tambahBelakang (nama, berat, tinggi);}
                            break;
                case 3    :    hapus = List.hapusDepan();
                            if (hapus != null)
                                System.out.print ("Nama: "+hapus.nama +" Berat: "+hapus.berat +" Tinggi"+ hapus.tinggi+"\tterhapus.");
                            break;
                case 4    :    hapus = List.hapusBelakang();
                            if (hapus != null)
                                System.out.print ("Nama: "+hapus.nama +" Berat: "+hapus.berat +" Tinggi"+ hapus.tinggi+"\tterhapus.");
                            break;
                default    :
                            System.out.print ("Tidak ada");
            }
            List.displayList();
            System.out.print ("\nLagi ? ");
            lagi = in.next().charAt(0);
        }
        while (lagi == 'y' || lagi == 'Y');

    }
}
********************************************************************************
class LinkList {
    private Node head, tail;
   
    public LinkList() {
        head = null;
    }
   
    public void tambahDepan (String n, byte b, short t) {
        Node baru = new Node (n, b, t);
        if (head == null) {
            head = baru;
            tail = baru;
        }
        else {
            baru.next = head;
            head = baru;
        }
    }
   
    public void tambahBelakang (String n, byte b, short t) {
        Node baru = new Node (n, b, t);
        if (head == null) {
            head = baru;
            tail = baru;
        }
        else {
            tail.next = baru;
            tail = baru;
        }
    }
   
    public Node hapusDepan () {
        if (head != null) {
            Node temp = head;
            head = head.next;
            temp.next = null;
            return temp;
        }
        else {
            System.out.println ("List kosong.");
            return null;
        }
    }
   
    public Node hapusBelakang () {
        if (head != null) {
            Node bantu, temp;
            if (head.next == null) {
                temp = head;
                head = tail = null;
            }
            else {
                bantu = head;
                while (bantu.next != tail) {
                    bantu = bantu.next;
                }
                temp = tail;
                tail = bantu;
                tail.next = null;
            }
            return temp;
        }
        else {
            System.out.println ("List kosong.");
            return null;
        }
    }
   
    public void displayList () {
        if (head != null) {
            Node bantu = head;
            System.out.println ("Data dalam list: ");
            while (bantu != null) {
                System.out.println ("Nama: "+ bantu.nama + "\tBerat: " + bantu.berat +"\tTinggi: "+ bantu.tinggi);
                bantu = bantu.next;
            }
            System.out.println ("");
        }
        else
            System.out.println ("List kosong.");
    }
}
-----------------------------------------------------------------------------------------------------------
 class Node {
    public String nama;
    public byte berat;
    public short tinggi;
    public Node next;
   
    public Node ( String n, byte b, short t ) {
        nama = n;
        berat = b;
        tinggi = t;
        next = null;
    }
}

=======================================================================          

Contoh Perogram Link List Dalam Java

import java.util.Scanner;
class LimkListApp{
    public static void main (String[] args){
        Scanner in=new Scanner (System.in);
        LinkList List=new LinkList();
        int td,n,pilih;
        char Lagi;
        Node hapus;
        do {
        System.out.println ("Pilihan data: ");
        System.out.println ("1. Tambah Depan ");
        System.out.println ("2. Tambah Belakang ");
        System.out.println ("1. Hapus Depan ");
        System.out.println ("2. Hapus Belakang");
        System.out.print ("Pilih: ");
        pilih = in.nextInt();
        switch (pilih) {
            case 1    : System.out.print ("Masukkan untuk menambah data: ");
                      td=in.nextInt();
                      List.tambahDepan(td);
                      break;
            case 2    : System.out.print ("Masukkan untuk menambah data: ");
                      td=in.nextInt();
                      List.tambahBelakang(td);
                      break;
            case 3    : hapus=List.hapusDepan();
                      if(hapus!=null)
                      System.out.println(hapus.data + " terhapus .");
                      break;
            case 4    : hapus=List.hapusBelakang();
                      if(hapus!=null)
                      System.out.println(hapus.data + " terhapus .");
       
                      break;
            default    : System.out.println ("Pilihan tidak ada");
        }
       
        List.displayList();
        System.out.print ("Lagi? ");
        Lagi = in.next().charAt(0);
        }
        while (Lagi == 'y' || Lagi == 'Y');
    }
}

---------------------------------------------------------------------------------------------------------------
class LinkList{
    private Node head, tail;
    public LinkList(){
        head=null;
    }
    public void tambahDepan(int d){
        Node baru=new Node(d);
        if (head==null){
            head=baru;
            tail=baru;
        }
        else{
            baru.next=head;
            head=baru;
        }
    }
    public void tambahBelakang(int d){
    Node baru=new Node(d);
    if(head==null){
        head=baru;
        tail=baru;
    }
    else{
        tail.next=baru;
        tail=baru;
    }
}
public Node hapusDepan(){
    if(head!=null){
        Node temp=head;
        head=head.next;
        temp.next=null;
        return temp;
    }
    else{
        System.out.println("list kosong");
        return null;
    }
}
public Node hapusBelakang(){
    if(head!=null){
        Node bantu, temp;
        if(head.next==null){
            temp = head;
            head = tail = null;
        }
        else{
            bantu=head;
            while(bantu.next!=tail);{
                bantu=bantu.next;
            }
            temp=tail;
            tail=bantu;
            tail.next=null;
        }
        return temp;
    }
    else{
        System.out.println("List Kosong. ");
        return null;
    }
}
public void displayList(){
    if(head!=null){
        Node bantu=head;
        System.out.println("Data Dalam List :");
        while(bantu!=null){
            System.out.print(bantu.data + " ");
            bantu=bantu.next;
        }
        System.out.println("");
    }
    else
        System.out.println("List Kosong.");
    }
}

-------------------------------------------------------------------------------------------------------------
class Node{
    public int data;
    public Node next;
    public Node(int d){
        data=d;
        next=null;
        }
    }

Logika Informatika Proposisi

 

Logika Informatika

Proposisi

Diajukan Untuk Memenuhi salah Satu Tugas Kelompok Mata kuliah Logika Informatika

   

                 KELOMPOK  7

             1.      Ayi  Ruhiyat

             2.      Alfi  Khoerudin Yusuf

             3.      Acep Sofwan Yazid

             4.      Dede Khoerul Rizal

Kelas : IF.A / III

FAKULTAS SAINS DAN TEKNOLOGI

UNIVERSITAS ISLAM NEGRI

SUNAN GUNUNG DJATI

BANDUNG

2011

PENDAHULUAN

Kata ‘logika’ mungkin sering kita dengar dalam kehidupan sehari-hari. Tapi apakah itu logika…..?Dalam hidup sehari-hari kita mungkin sering mengartikannya ‘menurut akal’, seperti orang berkata : “langkah yang diambilnya itu logis”, atau “menurut logika ia harus marah”. Tapi apakah logika itu……?

Apakah logika itu ?

            Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar (sehingga didapatkan kesimpulan yang absah). Manusia mampu mengembangkan pengetahuan karena mempunyai bahasa dan kemampuan menalar. Untuk dapat menarik konklusi yang tepat, diperlukan kemampuan menalar. Kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat dari bukti-bukti yang ada, dan  menurut aturan-aturan tertentu.

1.      Sejarah Ringkas dan Perkembangan Logika

Logika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Sebagai ilmu, logika disebut dengan logike episteme (Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur. Logika secara istilah dapat kita katakan sebagai : suatu metode atau teknik yang digunakan untuk meneliti ketepatan pemikiran. Atau dengan kata lain logika adalah alat yang kita gunakan untuk menghasilkan kesimpulan.

Manusia belajar logika sejak jaman Yunani Kuno. Aristoteles (384 - 322 SM) adalah seorang filsuf yang mengembangkan logika pada jaman itu, yang pada waktu itu dikenal dengan sebutan logika tradisional.

a.       Terdapat 5 aliran besar dalam logika, yaitu :

1.      Aliran Logika Tradisional

       Logika ditafsirkan sebagai suatu kumpulan aturan praktis yang menjadi petunjuk pemikiran.

2.      Aliran Logika Metafisis

         Susunan pikiran itu dianggap kenyataan, sehingga logika dianggap seperti metafisika. Tugas pokok logika adalah  menafsirkan pikiran sebagai suatu tahap dari struktur kenyataan. Sebab itu untuk mengetahui kenyataan, orang harus belajar logika lebih dahulu.

3.      Aliran Logika Epistemologis

           Dipelopori oleh Francis Herbert Bradley (1846 - 1924) dan Bernard Bosanquet (1848 - 1923). Untuk dapat mencapai pengetahuan yang memadai, pikiran logis dan perasaan harus digabung. Demikian juga untuk mencapai kebenaran, logika harus dihubungkan dengan seluruh pengetahuan lainnya.

Logika adalah kaidah-kaidah berfikir. Subyeknya akal-akal rasional. Obyeknya adalah proposisi bahasa. Proposisi bahasa mencerminkan realitas, apakah itu realitas di alam nyata ataupun realitas di alam fikiran. Kaidah-kaidah berfikir dalam logika bersifat niscaya atau mesti. Penolakan terhadap kaidah berfikir ini mustahil (tidak mungkin). Bahkan mustahil pula dalam semua khayalan yang mungkin (all possible intelligebles). Contohnya, sesuatu apapun pasti sama dengan dirinya sendiri, dan tidak sama dengan yang bukan dirinya.

Prinsip berfikir ini telah tertanam secara niscaya sejak manusia lahir. Tertanam secara spontan. Dan selalu hadir kapan saja fikiran digunakan. Dan harus selalu diterima kapan saja realitas apapun dipahami. Bahkan, lebih jauh, prinsip ini sesungguhnya adalah satu dari watak niscaya seluruh yang ada (the very property of being). Tidak mengakui prinsip ini, yang biasa disebut dengan prinsip non-kontradiksi, akan menghancurkan seluruh kebenaran dalam bahasa dan pengetahuan.

 PROPOSISI

A.    Depinisi Proposisi

Proposisi (proposition) adalah suatu pernyataan (statement) yang memiliki nilai kebenaran true (benar, T) atau false (salah, F) tetapi tidak kedua-duanya pada saat dinyatakannya.

Proposisi adalah suatu pernyataan dalam bentuk kalimat yang memiliki arti penuh dan utuh. Proposisi logika terdiri atas tiga bagian utama, yaitu subjak, predikat dan kopula. Kopula ialah kata yang menghubungkan subjak dan predikat. Sering kali proposisi memiliki pembilang {quantifier} yang mengacu kepada kuantitas subjek.

Contoh 1. Pernyataan berikut adalah proposisi:

(a) Jakarta adalah ibu kota Indonesia.

(b) Penang adalah ibu kota Malaysia.

(c) 5 + 6 = 11.

(d) 25 + 2 = 26.

Proposisi (a) dan proposisi (c) bernilai true, sedangkan proposisi (b) dan proposisi (d) bernilai false.

Contoh 2.

Semua manusia adalah fana

     semua    =  pembilang {quantifier}

     manusia = subjek

     adalah   =   kopula

     fana      =   predikat

Proposisi mempunyai dua kemungkinan nilai kebenaran, yakni benar atau salah, tapi tidak mungkin keduanya.

Contoh 3.

(a) Negasi proposisi “Jakarta adalah ibu kota Indonesia” adalah

                                “Jakarta bukan ibu kota Indonesia” atau

                                “Tidak benar bahwa Jakarta bukan ibu kota Indonesia”.

(b) Jika p mewakili proposisi

               “Luas ruang kuliah ini lebih dari 16 m2”,

        maka ¬p mewakili proposisi

 “Luas ruang kuliah ini kurang dari atau sama dengan 16 m2” atau “Tak benar                       bahwa luas ruang kuliah ini lebih dari 16 m2”.

B.     Jenis-Jenis proposisi Dan Contonya

              Proposisi dapat di bedakan atas berbagai jenis berdasarkan materi,kualitas, komposisi, bentuk, kebenaran isi, dan sebagainya. Pembedaan demikian itu akan menghasilkan berpuluh-puluh jenis proposisi. Namun, kita hanya membicarakan beberapa jenis proposisi berikut ini.

1.      proposisi kategorik{categorical proposition}, sering pula disebut proposisi subjek-predikat{subject-predicate proposition}. Proposisi ketegorik adalah proposisi yang terdiri atas subjek dan predikat. Dalam proposisi kategorik, predikat mengafirmasi atau menegasi subjek. Misalnya:

~ Plato adalah seorang filsuf

                        ~ Elvis Presley bukanlah seorang filsuf

2.      Proposisi afirmatif {affirmative proposition}, sering juga disebut proposisi positif {positive proposition}. Proposisi afirmatif adalah proposisi kategorik yang mengafirmasi atau mengiakan adanya hubungan antara subjek dan predikat, dan dalam hal ini diakui pula bahwa subjek menjadi bagian dari predikat.

Misalnya :

                            - Semua manusia adalah hewan yang berakal budi.

3.      Proposisi negatif (negative proposition) adalah proposisi kategorik yang menegasikan (mengingkari) adanya hubungan antara subjek dan predikat,

 misalnya:

- Sebagian manusia tidak bijaksana

- Meja bukanlah kursi

4.      Proposisi universal (universal proposition), adalah proposisi kategorik yang menggunakan pembilang (quantifier) yang bersifat universal. Untuk prosposisi universal afirmatif, kata pembilang yagn biasanya digunakan adalah ‘semua, tiap-tiap, masing-masing, setiap, siapa pun juga, apa pun juga’.

 Contoh:   - Semua manusia adalah fana

                 - Setiap sarjana lulusan IKIP adalah pendidik

5.      Proposisi partikular (particular proposition), adalah proposisi kategorik yang menggunakan pembilang (quantifier) yang bersifat khusus. Baik untuk proposisi partikular afirmatif, maupun proposisi partikular negatif, kata pembilang yang biasa digunakan ialah ‘beberapa’ dan ‘sebagian’.

Contoh:    - Beberapa penyanyi adalah sarjana

                 - Sebagian sastrawan adalah filusur

6.      Proposisi apodiktik (apodictic proposition), disebut juga proposisi keharusan (necessary proposition) atau proposisi a priori (a priori proposition), adalah proposisi yang merupakan kemestian kebenaran dari penjelasan yagn diberikan oleh predikat terhadap subjek berdasarkan pertimbangan akal budi semata-mata.

Contoh:

      - Lima adalah sepuluh dibagi dua

      - Semua segitiga adalah berisi tiga

7.      Proposisi empirik (empirical proposition), disebut juga proposisi faktual (factual proposition), adalah prosisis yang didasarkan pada pengamatan dan pengalaman. 

     - Sunarto adalah karyawan yang paling setia di kantor ini

 - Budi adalah teman saya yang telah menderita penyakit ginjal selama 10  tahun

8.      Proposisi majemuk (compound proposition), disebut juga proposisi komplek (complex proposition), adalah proposisi yagn mengandung lebih dari satu pernyataan yang terlihat dari adanya subjek atau predikat yang berjumlah lebih dari satu. Contoh:

       - John adalah orang yang bijaksana dan rajin.

Proposisi tersebut sejatinya terdiri dari dua proposisi, yakni:

       -  John adalah orang yang bijaksana

       -  John adalah orang yang rajin

9.      Prosisi disjungtif, adalah prosisi majemuk yang menegaskan bahwa subjek dari proposisi majemuk tidak kedua-duanya benar atau salah. Contoh:

Amir atau Yusuf adalah pemimpin sejati

              hanya salah satu subjek pada proposisi tersebut yang benar

      -  Amir adalah pemimpin sejati, atau

      -  Yusuf adalah pemimpin sejati

10.  Proposisi konjungtif, adalah dua predika prosisi yang tidak mungkin kedua-duanya benar. Contoh:

Ahmad tidak sekaligus saleh dan penjahat.

              Jika yang pertama benar, maka yang kedua salah

      -   Ahmad adalah saleh, atau

      -   Ahmad adalah penjahat

11.  Prosisi problematik, adalah prosisi yang predikatnya hanyalah merupakan kemungkinan bagi subjek. Contoh:

Andre adalah mungkin petinju, mungkin juga penyanyi

-   Andre mungkin petinju

-   Andre mungkin penyanyi

Entah mana yang benar, kedua-duanya atau hanya salah satu, atau kedua-duanya keliru sebab semuanya hanya kemungkinan.

C.    Proposisi Kategorik

Penalaran langsung dan penalaran deduktif didasarkan pada proposisi kategorik. Oleh karena itu, proposisi lain yang hendak dijadikan dasar penalaran langsung harus diubah menjadi bentuk proposisi kategoik standar.

1.      Jenis proposisi kategorik:

a.       Dari segi kualitas

1)      Proposisi yang menyatakan bahwa ada hubungan yang mengiyakan antara subjek dan predikat dalam proposisi yang bersangkutan. Jenis proposisi ini disebut juga proposisi afirmatif. Contoh:

- Manusia adalah hewan yang berakal budi

- Sokrates adalah seorang filusuf

2)      Proposisi yang menyatakan tidak ada hubungan antara subjek dan predikat dalam proposisi yang bersangkutan. Jenis ini disebut juga proposisi negatif.

       Contoh:

- Meja bukanlah bola

- Segitiga tidaklah bulat

3)      Proposisi yang menggunakan pembilang (quantifier) semua, tiap-tiap, masing-masing, setiap, siapapun juga, apa pun juga, tidak satu pun, tidak seorang pun. Jenis ini disebut juga proposisi universal. Contoh:

- Siapapun yang memimpin bangsa ini harus memerangi KKN

4)      Propisisi yang menggunakan pembilang (quantifier) beberapa dan sebagian. Proposisi ini disebut juga proposisi partikular. Contoh:

-Beberapa menteri kebinet gotong royong menyandang gelar doktor