Skip to content
- Kontraposisi
Sedangkan untuk kontraposisi adalah kebalikan daripada invers tetapi sama seperti konvers, hanya pernyataan majemuknya saja yang merupakan negasi (ingkaran). Seperti misalnya invers “~p => ~q”, maka untuk kontraposisinya yaitu “~q => ~p” .
- Kuantor Pernyataan
Pernyataan kuantor adalah bentuk pernyataan yang dimana didalamnya ada suatu konsep kuantitas. Ada dua macam jenis kuantor yang perlu Anda ketahui, yakni kuantor universal dan kuantor eksitensial.
- Kuantor Universal biasanya digunakan dalam suatu pernyataan yang menggunakan konsep untuk setiap dan untuk semua.
- Kuantor eksistensial biasanya digunakan dalam suatu pernyataan yang mengandung konsep ada, sebagan, beberapa, atau terdapat.
- Ingkaran dari Pernyataan Berkuantor
Pernyatan berkuantor mempunyai negasi (ingkaran). Negasi dari berkuantor universal merupakan kuantor ekstentsial, demikian pula sebaliknya. Silahkan Anda perhatikan contoh dibawah ini.
- p : beberapa siswa mempunyai semangat belajar yang tinggi
- ~p : semua siswa tidak mempunyai semangat belajar yang tinggi
- Penarikan Kesimpulan
Kesimpulan bisa dilakukan dari beberapa pernyataan yang telah diketahui nilai kebenarannya yang disebut dengan premis. Selanjutnya menggunakan berbagai prinsip yang sudah ada didapatkan pernyataan yang baru atau disebut dengan kesimpulan/konkluksi yang diturunkan langsung dari premis yang ada.
Penarikan kesimpulan seperti ini biasa disebut sebagai argumentasi. Sebuah argumentasi bisa ditakan sah apabila premis-premisnya benar sehingga untuk konklusinya juga benar. Ada 3 metode yang digunakan dalam penarikan kesimpulan. Ketiga metode tersebut adalah Modus ponens, Modes Tolens, dan juga Silogisme.
