Dokumen ini menjelaskan dasar-dasar logika, termasuk pengertian proposisi sebagai pernyataan yang dapat dinilai benar atau salah. Terdapat dua jenis proposisi, yaitu proposisi analitik yang tidak mendatangkan pengetahuan baru dan proposisi sintetik yang didapat dari pengalaman. Selain itu, dokumen membahas cara mengukur kebenaran proposisi berdasarkan hubungan mereka dengan premis dan kenyataan empirik.