Kuantor, Negasi, Ekuivalen, dan Silogisme

Halo teman-teman! Pertama, Kuantor Universal untuk semua x, p x yang berarti semua, setiap, atau seluruh. Kedua, Kuantor Eksistensial terdapat x, p x untuk kata ada, beberapa, sebagian, atau terdapat.

Lanjut ke Negasi. Negasi untuk semua x p x ekuivalen dengan terdapat x negasi p x. Negasi terdapat x p x ekuivalen dengan semua x negasi p x. Serta negasi p maka q ekuivalen dengan p dan negasi q.

Ekuivalensi atau pernyataan senilai. Pernyataan implikasi p maka q senilai dengan dua bentuk, yaitu kontraposisi negasi q maka negasi p, atau bentuk negasi p atau q.

Berikutnya rumus inferensi. Modus Ponens: p maka q dan p menghasilkan q. Modus Tollens: p maka q dan negasi q menghasilkan negasi p. Serta Silogisme: p maka q dan q maka r menghasilkan p maka r.

Penerapan soal: Jika rajin belajar maka lulus UTBK, tapi Andi tidak lulus. Jika p adalah rajin dan q adalah lulus, kita gunakan Modus Tollens sehingga kesimpulannya negasi p, yaitu Andi tidak rajin belajar.

Itulah dasar logika untuk soal penalaran umum. Pahami semua rumusnya agar kalian makin siap menghadapi UTBK. Sampai jumpa di materi berikutnya!