Lodjike

Li lodjike c' est l' syince do råjhonmint. Elle aide les djins a dire si ene sacwè est vraiye ou fåsse.

Èn egzimpe bén cnoxhou, diné d' Aristote:

Tchaeke djin est mortele.
Aristote est ene djin.
Adon, Artistote est mortel.

On lît $\land$ come "eyet"; dj' ô bén, les deus sont vraiys. On lît $\lor$ come "ou"; dj' ô bén onk (pol moens) est vraiy. On lît $\Rightarrow$ come "implike" ou "Si ... adon ... ". On lît $\neg$ come "nén" ou "C' est nén vraiy ki...".

Vochal li minme egzimpe tot-z eployant les simboles lodjikes:

(d j i n \Rightarrow m o r t e l e) \land (A r i s t o t e \Rightarrow d j i n) \Rightarrow (A r i s t o t e \Rightarrow m o r t e l)

Eyet co l' minme egzimpe, avou des termes djenerås:

(a \Rightarrow b) \land (c \Rightarrow a) \Rightarrow (c \Rightarrow b)

Cwand on cåze del lodjike on cåze des clåzes lodjikes. Ene clåze c' est tot biesmint ene sacwè come "Aristote est ene djin" ou "Tchaeke djin est mortelle"; dj' ô bén, on declaraedje ki pout esse vraiy, ou fås, mins nén les deus.

Les acertinaedjes sont des relåcions lodjikes ki sont tofer vraiyes, metans $(a \lor \neg a)$ . On les lomes des totolodjeyes (metans: "i plout oudobén i n' plout nén").

Les copiutreces eployèt l' lodjike po fé des algorisses.