adalah struktur diskrit sama dengan matematika diskret
Matematika diskret -- rumus logika adalah struktur diskrit, seperti bukti, yang membentuk pohon terbatas atau, lebih umum, mengarahkan struktur grafik acyclic (dengan setiap langkah inferensi menggabungkan satu atau lebih premis cabang untuk memberikan kesimpulan tunggal). nilai-nilai kebenaran dari rumus-rumus logis biasanya membentuk sebuah set terbatas, umumnya dibatasi untuk dua nilai: benar dan salah, tetapi logika juga dapat terus menerus bernilai, e.g. logika fuzzy. konsep seperti bukti pohon-pohon yang tak terbatas atau derivation pohon-pohon yang tidak terbatas telah dipelajari, e.g.