Záradék (logika)

A kikötés a logikai logika egy kötőszó vagy diszjunkció a literálok . Beszélünk rendre konjunktív kikötés és diszjunktív kikötés . Pontosság nélkül a leggyakrabban a diszjunktív záradék következik.

A propozíciós számításban egy kötőszó a következő alakú:

l1∧l2∧⋯∧lnem,{\ displaystyle l_ {1} \ ék l_ {2} \ ék \ cdots \ ék l_ {n},}

míg a diszjunkciós záradék formája:

l1∨l2∨⋯∨lnem,{\ displaystyle l_ {1} \ vee l_ {2} \ vee \ cdots \ vee l_ {n},}

ahol az l i szó szerinti értelemben vett, azaz atomok vagy atomok tagadásai.

Az üres diszjunktív záradék, vagyis a 0 literál disszjunkciója mindig hamisra értékel. Ezzel a természetes levonás , azt bizonyítja, hogy az üres kikötés nem differenciálható, amely így érdemes bizonyítéka a koherencia e rendszert az axiómák.

Lásd is

• Kürt záradék

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">