zantufa jonma'o smuni/jbo: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
mNo edit summary
 
Line 84: Line 84:
i {'''ga A gi B gi C'''} = ( A ∨ B ) ∨ C
i {'''ga A gi B gi C'''} = ( A ∨ B ) ∨ C


[[image:venn-ga.png|thumb|ga zei venn]]
[[image:venn-ga.png|thumb|ga zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 177: Line 177:
i {'''ga nai A gi B gi C'''}=( ¬A ∨ B ) ∨ C
i {'''ga nai A gi B gi C'''}=( ¬A ∨ B ) ∨ C


[[Image:venn-ganai.png|thumb|ga zei nai zei venn]]
[[Image:venn-ganai.png|thumb|ga zei nai zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 262: Line 262:
|}
|}


[[Image:venn-ganaibo.png|thumb|ga zei nai zei bo zei venn]]
[[Image:venn-ganaibo.png|thumb|ga zei nai zei bo zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 346: Line 346:
|}
|}


[[Image:venn-inaja.png|thumb|i zei na zei ja zei venn]]
[[Image:venn-inaja.png|thumb|i zei na zei ja zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 424: Line 424:
i {'''ge A gi B gi C'''} = ( A ∧ B ) ∧ C
i {'''ge A gi B gi C'''} = ( A ∧ B ) ∧ C


[[Image:venn-ge.png|thumb|ge zei venn]]
[[Image:venn-ge.png|thumb|ge zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 517: Line 517:
i {'''ge nai A gi B gi C'''} = ( ¬A ∧ B ) ∧ C
i {'''ge nai A gi B gi C'''} = ( ¬A ∧ B ) ∧ C


[[Image:venn-genai.png|thumb|ge zei nai zei venn]]
[[Image:venn-genai.png|thumb|ge zei nai zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 605: Line 605:
|}
|}


[[Image:venn-genaibo.png|thumb|ge zei nai zei bo zei venn]]
[[Image:venn-genaibo.png|thumb|ge zei nai zei bo zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 684: Line 684:
i {'''go A gi B gi C'''} = ( A ↔ B ) ↔ C
i {'''go A gi B gi C'''} = ( A ↔ B ) ↔ C


[[Image:venn-go.png|thumb|go zei venn]]
[[Image:venn-go.png|thumb|go zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 767: Line 767:
|}
|}


[[Image:venn-gobo.png|thumb|go zei bo zei venn]]
[[Image:venn-gobo.png|thumb|go zei bo zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 853: Line 853:
i {'''go nai A gi B gi C'''} = ( ¬A ↔ B ) ↔ C
i {'''go nai A gi B gi C'''} = ( ¬A ↔ B ) ↔ C


[[Image:venn-gonai.png|thumb|go zei nai zei venn]]
[[Image:venn-gonai.png|thumb|go zei nai zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 960: Line 960:
|}
|}


[[Image:venn-gonaibo.png|thumb|go zei nai zei bo zei venn]]
[[Image:venn-gonaibo.png|thumb|go zei nai zei bo zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 1,258: Line 1,258:
|}
|}


[[Image:venn-ijonai.png|thumb|i zei jo zei nai zei venn]]
[[Image:venn-ijonai.png|thumb|i zei jo zei nai zei ven]]
{| class="wikitable" style="text-align: center;"
{| class="wikitable" style="text-align: center;"
|-
|-
Line 1,433: Line 1,433:
|}
|}


[[Image:venn-gu.png|thumb|gu zei venn]]
[[Image:venn-gu.png|thumb|gu zei ven]]


ni'o ni'o ni'o
ni'o ni'o ni'o
Line 1,486: Line 1,486:
|}
|}


[[Image:venn-gunai.png|thumb|gu zei nai zei venn]]
[[Image:venn-gunai.png|thumb|gu zei nai zei ven]]


ni'o ni'o ni'o
ni'o ni'o ni'o

Latest revision as of 00:23, 11 July 2016

banjubu'o / français / 日本語 / English

jo'au zantufa xi 1.16

ni'o ni'o ni'o ni'o

lo ciste co smuni be lo li'erla'i ke logji jonma'o

i lo li'erla'i jonma'o pe la zantufa noi na'e catni jbobau genturfa'i cu mutce co zmadu lo catni gerna co'e lo ka vlipa lo nu cupra lo ricfu be lo vrici be lo ve skicu

i la zantufa cu genturfa'i ije tu'a lo go'i na javni lo smuni ciste

i ku'i te zu'e lo nu da prali lo tinbe be lo zantufa gerna lo ka vlipa lo nu cupra lo ricfu be lo vrici be lo ve skicu zo'u stidi tu'a lo di'e smuni ciste be lo li'erla'i ke logji jonma'o

ni'o ni'o ni'o ni'o

lo liste be lo sinxa noi se tcidu fi lo dei papri

lo sinxa noi se tamgau lo te tamgau
¬P na ku P
P ∨ Q P i ja Q
"so'i zo ja" ((((P0 ∨ P1) ∨ P2) ∨ ...) ∨ Pn)
P ∧ Q P i je Q
"so'i zo je" ((((P0 ∧ P1) ∧ P2) ∧ ...) ∧ Pn)
P ↔ Q P i jo Q
"so'i zo jo" ((((P0 ↔ P1) ↔ P2) ↔ ...) ↔ Pn)
P ⊕ Q P i jonai Q
"so'i lu jonai li'u" ((((P0 ⊕ P1) ⊕ P2) ⊕ ...) ⊕ Pn)
P ⊏ Q P i ju Q
"so'i zo ju" ((((P0 ⊏ P1) ⊏ P2) ⊏ ...) ⊏ Pn)
= P0
P ⊐ Q P i se ju Q
"so'i lu seju li'u" ((((P0 ⊐ P1) ⊐ P2) ⊐ ...) ⊐ Pn)
= Pn

i lu'e lo de'e velcki cu se pagbu so'o kurfa liste be lo jei jetnu fa lo mupli pe lo ci a vo fa joi fe jorne i lo jitfa cu se sinxa li 0 ije lo jetnu cu se sinxa li 1

i ji'a pagbu fa so'o ven zei pixra pe lo mupli pe lo ci fa joi fe jorne i lo blabi cu sinxa lo jitfa ije lo narju cu sinxa lo jetnu

ni'o ni'o ni'o ni'o

zo ga

ni'o ni'o ni'o

ga A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ga P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo ja"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {ga A gi B gi C} = ( A ∨ B ) ∨ C

ga zei ven
A B C A ∨ B ( A ∨ B ) ∨ C
1 1 1 1 1
0 1 1 1 1
1 0 1 1 1
0 0 1 0 1
1 1 0 1 1
0 1 0 1 1
1 0 0 1 1
0 0 0 0 0

ni'o ni'o ni'o

ga bo a gi b gi c gi ...

ni'o ni'o

lo te tamgau

ga bo p0 gi p1 gi ... gi pn (gi'i)
= ga p0 gi p1 gi ... gi pn (gi'i)
= "so'i zo ja"

ni'o ni'o ni'o

ga nai a gi b gi c gi ...

ni'o ni'o

lo te tamgau

ga nai p0 gi p1 gi ... gi pn (gi'i)
= ga ¬p0 gi p1 gi ... gi pn (gi'i)

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {ga nai A gi B gi C}=( ¬A ∨ B ) ∨ C

ga zei nai zei ven
A B C ¬A ∨ B ( ¬A ∨ B ) ∨ C
1 1 1 1 1
0 1 1 1 1
1 0 1 0 1
0 0 1 1 1
1 1 0 1 1
0 1 0 1 1
1 0 0 0 0
0 0 0 1 1

ni'o ni'o ni'o

ga nai bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ga nai bo P0 gi P1 gi ... gi Pn (gi'i)
"ganaibo"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne

{ga nai bo A gi B gi C}
= (( A → B ) ∧ ( B → C ))
= (( ¬A ∨ B ) ∧ ( ¬B ∨ C ))
ga zei nai zei bo zei ven
A B C ¬A ∨ B ¬B ∨ C ( ¬A ∨ B ) ∧ ( ¬B ∨ C )
1 1 1 1 1 1
0 1 1 1 1 1
1 0 1 0 1 0
0 0 1 1 1 1
1 1 0 1 0 0
0 1 0 1 0 0
1 0 0 0 1 0
0 0 0 1 1 1

ni'o

lo te frica

{ga nai bo A gi B gi C} ≠ {A i na ja B i na ja C}

A i na ja B i na ja C
= (A → B) → C
= ¬(¬A ∨ B) ∨ C
i zei na zei ja zei ven
A B C ¬A∨B ¬(¬A∨B)∨C
1 1 1 1 1
0 1 1 1 1
1 0 1 0 1
0 0 1 1 1
1 1 0 1 0
0 1 0 1 0
1 0 0 0 1
0 0 0 1 0

ni'o ni'o ni'o ni'o

zo ge

ni'o ni'o ni'o

ge A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ge P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo je"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {ge A gi B gi C} = ( A ∧ B ) ∧ C

ge zei ven
A B C A ∧ B ( A ∧ B ) ∧ C
1 1 1 1 1
0 1 1 0 0
1 0 1 0 0
0 0 1 0 0
1 1 0 1 0
0 1 0 0 0
1 0 0 0 0
0 0 0 0 0

ni'o ni'o ni'o

ge bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ge bo P0 gi P1 gi ... gi Pn (gi'i)
= ge P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo je"

ni'o ni'o ni'o

ge nai A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ge nai P0 gi P1 gi ... gi Pn (gi'i)
= ge ¬P0 gi P1 gi ... gi Pn (gi'i)

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {ge nai A gi B gi C} = ( ¬A ∧ B ) ∧ C

ge zei nai zei ven
A B C ¬A ∧ B ( ¬A ∧ B ) ∧ C
1 1 1 0 0
0 1 1 1 1
1 0 1 0 0
0 0 1 0 0
1 1 0 0 0
0 1 0 1 0
1 0 0 0 0
0 0 0 0 0

ni'o ni'o ni'o

ge nai bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

ge nai bo P0 gi P1 gi ... gi Pn (gi'i)
"genaibo"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne

{ge nai bo A gi B gi C}
= {ge nai A gi nai B gi nai C}
= {A i na je nai B i je nai C}
= ( ¬A ∧ ¬B ) ∧ ¬C
ge zei nai zei bo zei ven
A B C ¬A ∧ ¬B ( ¬A ∧ ¬B ) ∧ ¬C
1 1 1 0 0
0 1 1 0 0
1 0 1 0 0
0 0 1 1 0
1 1 0 0 0
0 1 0 0 0
1 0 0 0 0
0 0 0 1 1

ni'o ni'o ni'o ni'o

zo go

ni'o ni'o ni'o

go A gi B gi C gi ...

ni'o ni'o

lo te tamgau

go P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo jo"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {go A gi B gi C} = ( A ↔ B ) ↔ C

go zei ven
A B C A ↔ B ( A ↔ B ) ↔ C
1 1 1 1 1
0 1 1 0 0
1 0 1 0 0
0 0 1 1 1
1 1 0 1 0
0 1 0 0 1
1 0 0 0 1
0 0 0 1 0

ni'o ni'o ni'o

go bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

go bo P0 gi P1 gi ... gi Pn (gi'i)
"gobo"

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne

{go bo A gi B gi C}
= (( A ↔ B ) ∧ ( B ↔ C ))
go zei bo zei ven
A B C A ↔ B B ↔ C ( A ↔ B ) ∧ ( B ↔ C )
1 1 1 1 1 1
0 1 1 0 1 0
1 0 1 0 0 0
0 0 1 1 0
1 1 0 1 0 0
0 1 0 0 0 0
1 0 0 0 1 0
0 0 0 1 1 1

ni'o ni'o ni'o

go nai A gi B gi C gi ...

ni'o ni'o

lo te tamgau

go nai P0 gi P1 gi ... gi Pn (gi'i)
= go ¬P0 gi P1 gi ... gi Pn (gi'i)

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne i {go nai A gi B gi C} = ( ¬A ↔ B ) ↔ C

go zei nai zei ven
A B C ¬A ↔ B ( ¬A ↔ B ) ↔ C
1 1 1 0 0
0 1 1 1 1
1 0 1 1 1
0 0 1 0 0
1 1 0 0 1
0 1 0 1 0
1 0 0 1 0
0 0 0 0 1

ni'o ni'o ni'o

go nai bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

i tamgau fi lo di'e se tarmi be lo ka krefu

lo nu lo 2 mei no'u P0 joi P1 cu fa joi fe jorne
go nai bo P0 gi P1 (gi'i)
= go nai P0 gi P1 (gi'i)
= P0 ⊕ P1
= ¬P0 ↔ P1
lo nu lo su'o 3 mei no'u joi gi P0 gi ...li'o... Pn (n≥2) cu fa joi fe jorne
go nai bo P0 gi ... gi Pn (gi'i)
= ((go nai bo P0 gi ... gi Pn-1 (gi'i)) ⊕ Pn) ∧ "gonaibo_na"

ni'o ni'o

lo mupli

ni'o

lo mupli be lo nu lo ci mei cu fa joi fe jorne
{go nai bo A gi B gi C}
= ((go nai A gi B) ⊕ C) ∧ ¬(A∧B)
= ((A⊕B)⊕C) ∧ ¬(A∧B)
go zei nai zei bo zei ven
A B C A⊕B (A⊕B)⊕C ¬(A∧B) ((A⊕B)⊕C) ∧ ¬(A∧B)
1 1 1 0 1 0 0
0 1 1 1 0 1 0
1 0 1 1 0 1 0
0 0 1 0 1 1 1
1 1 0 0 0 0 0
0 1 0 1 1 1 1
1 0 0 1 1 1 1
0 0 0 0 0 1 0

ni'o

lo mupli be lo nu lo ci mei cu fa joi fe jorne
{go nai bo A gi B gi C gi D}
= ((go nai bo A gi B gi C) ⊕ D) ∧ ¬(A∧B) ∧ ¬(B∧C) ∧ ¬(C∧A)
A B C D go nai bo A gi B gi C (go nai bo A gi B gi C) ⊕ D ¬(A∧B) ¬(B∧C) ¬(C∧A) ((go nai bo A gi B gi C) ⊕ D) ∧ ¬(A∧B) ∧ ¬(B∧C) ∧ ¬(C∧A)
1 1 1 1 0 1 0 0 0 0
0 1 1 1 0 1 1 0 1 0
1 0 1 1 0 1 1 1 0 0
0 0 1 1 1 0 1 1 1 0
1 1 0 1 0 1 0 1 1 0
0 1 0 1 1 0 1 1 1 0
1 0 0 1 1 0 1 1 1 0
0 0 0 1 0 1 1 1 1 1
1 1 1 0 0 0 0 0 0 0
0 1 1 0 0 0 1 0 1 0
1 0 1 0 0 0 1 1 0 0
0 0 1 0 1 1 1 1 1 1
1 1 0 0 0 0 0 1 1 0
0 1 0 0 1 1 1 1 1 1
1 0 0 0 1 1 1 1 1 1
0 0 0 0 0 0 1 1 1 0

ni'o

lo te frica

{go nai bo P0 gi P1 gi ... gi Pn (gi'i)} ≠ {P0 i jo nai P1 i jo nai ... i jo nai Pn}

i mu'a de'e kurfa liste lo jei jetnu fa la'e lo nu jorne fa joi fe lo vo mei fi lu {i jo nai} li'u i lo go'i cu frica lo jetnu ke kurfa liste pe lu {go nai bo A gi B gi C gi D} li'u lo ka ma kau tarmi ce'u

{A i jo nai B i jo nai C i jo nai D}
= {A i na jo B i na jo C i na jo D}
= ((A ⊕ B) ⊕ C) ⊕ D
i zei jo zei nai zei ven
A B C D A ⊕ B (A ⊕ B) ⊕ C ((A ⊕ B) ⊕ C) ⊕ D
1 1 1 1 0 1 0
0 1 1 1 1 0 1
1 0 1 1 1 0 1
0 0 1 1 0 1 0
1 1 0 1 0 0 1
0 1 0 1 1 1 0
1 0 0 1 1 1 0
0 0 0 1 0 0 1
1 1 1 0 0 1 1
0 1 1 0 1 0 0
1 0 1 0 1 0 0
0 0 1 0 0 1 1
1 1 0 0 0 0 0
0 1 0 0 1 1 1
1 0 0 0 1 1 1
0 0 0 0 0 0 0

ni'o ni'o ni'o ni'o

gu

ni'o ni'o ni'o

gu A gi B gi C gi ...

ni'o ni'o

lo te tamgau

gu P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo ju"
= P0

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne

{gu A gi B gi C}
= (A ⊏ B) ⊏ C
= A
gu zei ven

ni'o ni'o ni'o

gu bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

gu bo P0 gi P1 gi ... gi Pn (gi'i)
= gu P0 gi P1 gi ... gi Pn (gi'i)
= "so'i zo ju"
= P0

ni'o ni'o ni'o

gu nai A gi B gi C gi ...

ni'o ni'o

lo te tamgau

gu nai P0 gi P1 gi ... gi Pn (gi'i)
= gu ¬P0 gi P1 gi ... gi Pn (gi'i)
= ¬P0

ni'o ni'o

lo mupli

i di'e mupli lo nu lo ci mei cu fa joi fe jorne

{gu nai A gi B gi C}
= {gu ¬A gi B gi C}
= ¬A
gu zei nai zei ven

ni'o ni'o ni'o

gu nai bo A gi B gi C gi ...

ni'o ni'o

lo te tamgau

gu nai bo P0 gi P1 gi ... gi Pn (gi'i)
gu ¬P0 gi ¬P1 gi ... gi ¬Pn (gi'i)
= ¬P0
= gu nai P0 gi P1 gi ... gi Pn (gi'i)

ni'o ni'o ni'o ni'o

segu

ni'o ni'o ni'o

se xi ky gu A gi B gi C gi ... (se gu, te gu, ve gu, xe gu, ..., se xi ro gu)

se xi ky gu P0 gi P1 gi ... gi Pn (gi'i)
= P0 i se ju P1 i se ju ... i se ju Pk i ju ... i ju Pn
= "ky lu seju li'u" i ju ... i ju Pn
= Pk i ju ... i ju Pn
= "ny vu'u ky zo ju"
= Pk
{se xi no gu} = {gu}
{se xi pa gu} = {se gu}
{se xi re gu} = {te gu}
{se xi ci gu} = {ve gu}
{se xi vo gu} = {xe gu}
...
{se xi ro gu P0 gi P1 gi ... gi Pn (gi'i)} = Pn

ni'o ni'o ni'o

se xi ky gu bo A gi B gi C gi ...

se xi ky gu bo P0 gi P1 gi ... gi Pn (gi'i)
= se xi ky gu P0 gi P1 gi ... gi Pn (gi'i)
= Pk

ni'o ni'o ni'o

se xi ky gu nai A gi B gi C gi ...

va'o lo nu k=0
se xi no gu nai P0 gi P1 gi ... gi Pn (gi'i)
= gu ¬P0 gi P1 gi ... gi Pn (gi'i)
= ¬P0
va'o lo nu k≠0
se xi ky gu nai P0 gi P1 gi ... gi Pn (gi'i)
= se xi ky gu ¬P0 gi P1 gi ... gi Pn (gi'i)
= Pk

ni'o ni'o ni'o

se xi ky gu nai bo A gi B gi C gi ...

se xi ky gu nai bo P0 gi P1 gi ... gi Pn (gi'i)
= se xi ky gu ¬P0 gi ¬P1 gi ... gi ¬Pk gi ... gi ¬Pn (gi'i)
= ¬Pk
Retrieved from "https://mw-live.lojban.org/index.php?title=zantufa_jonma%27o_smuni/jbo&oldid=121091"