Klauzula (matematyka)

Ten artykuł od 2021-02 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

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: ${\displaystyle \bigvee _{j=1}^{m}l_{j},}$ gdzie ${\displaystyle l_{j}}$ są formułami logicznymi, dla ${\displaystyle j=1,\dots ,m.}$

W szczególnym przypadku ${\displaystyle \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