Materi Logika Matematika untuk Informatika Lengkap

Assalamu alaikum warah matullahi wabaraktu..

Selamat Pagi menjelang siang menjaelang sore menjaelng malam dan malam menjelang pagi.
Pekernalkan mahasiswa UNTAN Pontianak  biasa saya akan membagi sebuah ilmu pengetahuan tentang informatika kali ini saya akan membagi pelajaran saya selama 1 minggu martikulasi 

Logika
Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi, anda sulit belajar Bahasa Java dan anda tidak suka begadang. Jadi, anda bukan mahasiswa Informatika.
Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika merupakan dasar dari semua penalaran (reasoning). 
Logika merupakan dasar dari semua penalaran (reasoning). 
• Penalaran didasarkan pada hubungan antara pernyataan (statements). 
• Di dalam logika, tidak semua jenis kalimat menjadi obyek tinjauan. Proposisi 
• Pernyataan atau kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya.

"Gajah lebih besar daripada tikus.”
Apakah ini sebuah pernyataan?
YA
Apakah ini sebuah proposisi?YA
Apakah nilai kebenaran dari proposisi ini?
Benar