sud, iskaz kojim se nešto tvrdi ili poriče. Sastavljen je od subjekta (S), predikata (P) i kopule ili spone koja izriče njihov odnos. Tradic. logika dijeli sudove po kvantiteti (univerzalni, partikularni, singularni), kvaliteti (afirmativni, negativni, limitativni), relaciji (kategorički, hipotetički, disjunktivni), modalitetu (problematički, asertorički, apodiktički). Različite su teorije suda s obzirom na odnos subjekta i predikata: formalno-logička (Aristotel), egzistencijalna, dijalektička i dr.