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. 

Kategorio:Matematikala logiko