Klauzula dualna () – koniunkcja skończonego zbioru literałów. Jest ona prawdziwa wtedy i tylko wtedy, gdy każdy z literałów jest prawdziwy. Klauzulę dualną pustą uznaje się za zawsze prawdziwą.
Na przykład klauzula dualna {p, ¬r, q} jest prawdziwa, gdy każde z wyrażeń p, ¬r, q ma wartość logiczną 1.
Zobacz też klauzula klauzula Horna Kategoria:Logika matematyczna
Bibliografia