logika proposisional

eBook tentang logika proposisional membahas penggunaan pernyataan matematis untuk analisis dan penalaran logis. Contohnya digunakan dalam pemrograman dan pengambilan keputusan.