Jawaban:

Negasi kontradiksi adalah ketika dua pernyataan saling bertentangan, yang berarti keduanya tidak dapat benar secara bersamaan. Dalam konteks pernyataan "Prop 1: Semua rakyat Indonesia yang sudah berusia 17 tahun memiliki kartu tanda penduduk" dan "Prop 2: Tidak ada rakyat Indonesia yang sudah berusia 17 tahun tidak memiliki kartu tanda penduduk", kedua pernyataan tersebut adalah contoh negasi kontradiksi. Jika salah satu pernyataan benar, maka pernyataan yang lain akan menjadi salah.

Sementara itu, penyimpulan implikasi adalah proses logis di mana kita menarik kesimpulan dari sebuah pernyataan atau proposisi. Dalam kasus ini, jika Prop 1 benar, yaitu semua rakyat Indonesia yang sudah berusia 17 tahun memiliki kartu tanda penduduk, maka kita dapat menyimpulkan bahwa tidak ada rakyat Indonesia yang sudah berusia 17 tahun yang tidak memiliki kartu tanda penduduk (Prop 2). Ini merupakan penyimpulan implikasi yang didasarkan pada asumsi bahwa Prop 1 adalah benar.

Penjelasan: