Høyt matematikk - Logisk formler er diskret strukturer, som er beviser, som form for begrenset trær eller mer generelt, rettet mot en syklisk graf-strukturer (med hvert ytre steg som kombinerer ett eller flere preber for å gi en enkel konklusjon). Sannheten verdier av logiske formler danner vanligvis et endelig sett, vanligvis begrenset til to verdier: sann og falske, men logikken kan også være kontinuerlig verdibasert, f.eks., uklare logikken. Ubehandlet slike som uendelig bevis trær eller uendelig deriverte trær har også blitt studert, http: / / europa. eu. int / eur- lex / lex / LexUriServ / LexUriServ. do. uendelig vær logikk.
Er diskret strukturer det samme som diskret matte