Dokumen ini membahas tentang berbagai jenis pernyataan logika seperti pernyataan berkuantor, pernyataan majemuk, negasi pernyataan, dan hubungan antar pernyataan seperti konjungsi, disjungsi, implikasi, dan biimplikasi. Jenis pernyataan logika lain yang dijelaskan adalah tautologi dan kontradiksi.