Kepada, Yth
Bapak Dr. Lukman Nul Hakim
Izin mejawab soal diskusi, dan ini hasil penelusuran saya, kurang lebihnya sebagai berikut.
1. Contoh Proposisi Kategorik dan Unsur-unsurnya
Contoh proposisi kategorik: "Semua mahasiswa adalah pelajar yang rajin."
Unsur-unsur proposisi kategorik ini adalah:
a. Subjek: Mahasiswa
b. Predikat: Pelajar yang rajin
c. Kuantor: Semua (universal afirmatif)
2. Negasi Universal Afirmatif Implikasi
Negasi dari proposisi "Semua mahasiswa adalah pelajar yang rajin" adalah: "Ada mahasiswa yang
bukan pelajar yang rajin."
Dalam bentuk implikasi, proposisi asli dapat ditulis sebagai: "Jika seseorang adalah mahasiswa, maka
ia adalah pelajar yang rajin."
Negasi universal afirmatif implikasi dari proposisi ini adalah: "Ada mahasiswa yang tidak rajin,
meskipun ia mahasiswa."
Referensi:
- Modul Logika, Universitas Terbuka
- Buku Logika Dasar, karya Prof. Dr. H. Mundiri