Klauzula (matematyka)

Klauzula (ang.) clause – jest to zbiór formuł logicznych. Klauzulę nazywamy prawdziwą wtedy i tylko wtedy, gdy alternatywa jej formuł logicznych jest prawdziwa. Klauzula pusta jest zawsze fałszywa.

Formalnie, klauzulę zapisujemy jako: $\bigvee_{j=1}^{m}l_j$, gdzie $l_j$ są formułami logicznymi, dla $j = 1, ..., m$.

W szczególnym przypadku $\bigvee_{j=1}^{0}\phi_i = \perp$

Przykład

Klauzula {p, ¬r,q} jest prawdziwa, gdy co najmniej jedna z formuł p, ¬r, q ma wartość logiczną 1.

Zobacz też

• klauzula dualna
• klauzula Horna