Klauzula (matematyka)

Szablon:Dopracować Klauzula – zbiór formuł logicznych. Klauzulę nazywamy prawdziwą wtedy i tylko wtedy, gdy alternatywa jej formuł logicznych jest prawdziwa. Klauzula pusta jest zawsze fałszywa.

Definicja formalna

Klauzulę zapisujemy jako: $\underset{j=1}{\overset{m}{\bigvee }}{l}_j,$ gdzie $l_j$ są formułami logicznymi, dla $j=1,\dots ,m.$

W szczególnym przypadku $\underset{j=1}{\overset{0}{\bigvee }}{\varphi }_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