Klauzo (logiko)

Klauzo en matematikala logiko esas kolekto di logikala formuli. La klauzo esas verajo nur, kande logikala disjunciono di olua formuli es verajo. Vakua klauzo esas sempre falsajo.

Por altra termini nomizita 'Klauzo', videz Klauzo (homonimo).