Laskushiru

Laskuširu fal fu širutropos i, ka mit aftoo deki tsatainmietta tsui lasku auau. Ine laskuširu, lasku mononai katainen – pasku miepie fu usoting ka mus samasuru mit joku ruuru.

Mahpravda ine laskuširu

Mahpravda je tsatainmiettatropos per ka joku fras glaubena bli vyerena (zettai pravda, lakinai tšigaumie). Brukena ine joku mahpravda: erpravda (hadžimade vyerena pravda – miettaranja) au razpravda (fras dan mahpravdena, hotia imauen vyerena).

Fal fù láskusjiru

Lásku·isju

Lásku·isju mánge simpel fal fù láskusjiru, ka ova leðte·sjirena brúkna lásku made: medna, útenna, ræsna, tjerna, ræsdæina av ranjana.

Li jam 2 tro, na ljeva — tro fu Luna, na migi — tro fu Jan

$2+3=5$: ni mit/plus* tre sama go

$2-3=-1$: ni uten/minus* tre sama lopain

$2\times 3=6$: ni raz tre sama ikse

$2\div 3={\frac {2}{3}}$: ni telfu tre sama ni ova tre / ni tserena tre sama ni tresca

* Gruunvas fu afto: Na Luna, « plus » au « minus » mono brukena per likkto (ttb: plubraa, minubraa), sitt hanu « med » au « uten ». Awen xörena plubraa na un. Men andrdźin hanu plu/minu per awen lääskuśiru.

Katai·lasku·sjiru

Katailasku nasimpel lasku fu katai: ein, ni, tre…. Katailaskuširu per širu katai ting ytten bruk veltting – mangesimpel antaa tšiisai lasku andrlasku made mit yoobi fpašuun, men mit stuur lasku (ttb. 157.928) treng hyerne os štift-na-paperi.

Jamlasku ($\mathbb {N}$)

lasku fu tingkatai ka sejena ine pravdavelt. 1, 2, 3… jamlasku; $-1$, $\scriptstyle {\frac {1}{2}}$ jamlaskunai. Miettena ka 0 (nil) auen jamlaskutropos, auenli »uso katai«.

Heellasku ($\mathbb {Z}$)

jamlasku au kundurlasku fu aftoo. Kundurlasku fu $x$ tak lasku $y$, ka $x+y=0$. Kakena $-x$, hanena »nut $x$« (< ‘nil utn’) os »lop $x$«.

Tellasku ($\mathbb {Q}$)

al lasku ka heellaskunen tel fu andr heellasku.

Gwirlasku ($\mathbb {R}$)

Figlasku ($\mathbb {C}$)

Fal·lasku·sjiru

Aftó fal fù lásku·sjiru oba sen, ikk, kræis, avav. Na gammel, aftó brúkena per sðánîe·maha, men de àven fuksena na imadág.

Aldjaber

Aldjaber mánge vikti na lásku·sjiru – två ti isju fù suruna láskufesta made.

Klaanilaskuširu

Klaani - ine laskuširu, klaani har mange chigau ting. Deki har sofnai ting, os nil ting (de kaku $\emptyset$). Ttb Jamlasku je klaani mit sofnai lasku, men $A=\{1,2,3,4\}$ je klaani mit mono 4 lasku. Ting ine klaani mus chigau je, sitt $\{1,1\}$ sama $\{1\}$. Klaani mavikti ine laskuširu, grun al laskuširu bruk sore.

Havuralaskuširu

Havura – liik klaani, men har plusmange ruruimpla. Klaani $H$ je havura li har kawarina $(\cdot ):H\times H\to H$, ka suru 4 Havurapravda:

1. Peral $a,b$ ine havura $H$, $a\cdot b$ auen ine $H$
2. Peral $a,b,c$ ine $H$, $a\cdot (b\cdot c)=(a\cdot b)\cdot c$
3. Jam tak $e$ ine $H$, ka peral $a$ ine $H$, $e\cdot a=a\cdot e=a$
4. Peral $a\in H$, jam $b\in H$, ka $a\cdot b=b\cdot a=e$ (kakuena $b=a^{-1}$)

Men ine havura, $a\cdot b$ naimus $b\cdot a$ sama. Li afto pravda peral $a$ au $b$, de $H$ haissa havurafabel (naeme za Niels Henrik Abel).

ṡirunajun (MidoriVals😤)

$\Rightarrow ,\rightarrow ,\supset$

li A pravda, sitt B pravda. Men li A pravdanai, sitt nai śiru B.

$x=2\Rightarrow x^{2}$ = 4 je pravda, au $x^{2}=4\Rightarrow x=2$ je nai pravda gruun x deki -2

$\Leftrightarrow ,\leftrightarrow ,\equiv$

li au mono li, sama

A ⇔ B mono ak A ak au B ak os A naj ak au B naj ak

$x+y=y+2\Leftrightarrow x+3=y$

$\neg x,{\tilde {x}},!x$

nai, nilatai

$\neg (\neg A)\Leftrightarrow A$

¬A ak, li au mono li A naj ak

$x\neq y\Leftrightarrow \neg (x=y)$

$\land ,\cdot ,\&$

laskiau

$A\land B$ ak li A ak au B ak os je najak

$n<4\land n>2\Leftrightarrow n=3$ koske n je lasku

$\lor ,+,\|\|$

laskios

$n\geq 4\lor n\leq 2\Leftrightarrow n\neq 3$ koske n je lasku

∴ sitt

Alkami naj sinu

Zeuskami je kami

Zeuskami naj sinu

∵ gruun

Zeuskami naj sinu

∵ alkami naj sinu au Zeuskami je kami