Dokumen tersebut merupakan tugas mata kuliah Logika Teknik yang berisi penyelesaian beberapa soal logika seperti penyataan proposisi dalam bentuk simbolik, menunjukkan ekivalensi logika antara dua proposisi, mengubah proposisi menjadi bentuk implikasi, serta menentukan konvers, invers, dan kontraposisi suatu proposisi.