Laravel

Toki Pona - Blog Posts

baba, tbh, and soweli are the same aminal I think


Tags
1 year ago

toki! sina pilin seme?

toki! mi pilin pona a! tenpo pini la, jan ala li toki pi kama sona tawa mi kepeken lipu Tumapula!


Tags
1 year ago

y'all help 😭translating toki pona into luka pona's grammar is so hard postverbs and postpositions are so hard to wrap my head around


Tags
1 year ago

tokiponists on tumblr where you at. I need you. kama tawa mi.


Tags
3 years ago

Ρ‚ΠΎΠΊΠΈ!

ΠΌΠΈ ΠΉΠ°Π½ Π™ΡƒΠ»Π° Бэлисэў. ΠΌΠΈ ўилэ ΠΏΠ°Π½Π° э Π»ΠΈΠ»ΠΈ лаўа ΠΏΠΈ Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π°

Ρ‚ΠΎΠΊΠΈ!

ΠŸΡ€ΠΎΡ…Π»Π°Π΄Π½Ρ‹Ρ… Π΄Π½Π΅ΠΉ ΠΈ Ρ‚Ρ‘ΠΏΠ»Ρ‹Ρ… Π½ΠΎΡ‡Π΅ΠΉ ΠΏΠ°Ρ†Π°Π½Ρ‹, пацанСссы ΠΈ ΠΏΡ€ΠΎΡ‡ΠΈΠ΅ Π½Π΅Π±ΠΈΠ½Π°Ρ€Π½Ρ‹Π΅ ΠΊΠ΅Π½Ρ‚Ρ‹. Π—Π°Π½ΠΈΠΌΠ°ΡΡΡŒ ΠΈΠ½Ρ‚Π΅Ρ€Π½Π΅Ρ‚ сёрфингом Π²Ρ‹ ΠΌΠΎΠ³Π»ΠΈ Π·Π°ΡΡ‚Π°Ρ‚ΡŒ сайты Π½Π° самых Ρ€Π°Π·Π½Ρ‹Ρ… языках, Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π΄Π°ΠΆΠ΅ Π²ΠΈΠ΄Π΅Π»ΠΈ сообщСства посвящённыС искусствСнным. Об ΠΎΠ΄Π½ΠΎΠΌ ΠΈΠ· Ρ‚Π°ΠΊΠΈΡ… ΠΊΠΎΠ½Π»ΠΈΠ³Π²ΠΎΠ², Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π°, ΠΈ ΠΏΠΎΠΉΠ΄Ρ‘Ρ‚ Ρ€Π΅Ρ‡ΡŒ.

Но, Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π°?

Π“Π»Π°Π²Π½ΠΎΠ΅ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° даосистская концСпция – мСньшС Π·Π½Π°Ρ‡ΠΈΡ‚ большС. Π‘ΡƒΠ΄ΡƒΡ‡ΠΈ ΠΏΠ»Π°Π½ΠΎΠ²Ρ‹ΠΌ языком, Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Π°Π½Π½Ρ‹ΠΌ лингвисткой Π‘ΠΎΠ½Π΅ΠΉ Π­Π»Π΅Π½ Киса Π² 2001ΠΎΠΌ Π³ΠΎΠ΄Ρƒ, Π²Π»Π°Π΄Π΅ΡŽΡ‰Π°Ρ английским, французскиим, эспСранто ΠΈ грузинским, задалась Ρ†Π΅Π»ΡŒΡŽ ΡΠΎΠ·Π΄Π°Ρ‚ΡŒ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ язык, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΡΠ΅Ρ‚ ΠΎΠ±Ρ‰ΠΈΠ΅ Ρ‡Π΅Ρ€Ρ‚Ρ‹ Ρ€Π°Π·Π½Ρ‹Ρ… ΠΊΡƒΠ»ΡŒΡ‚ΡƒΡ€ Π·Π΅ΠΌΠ½ΠΎΠ³ΠΎ ΡˆΠ°Ρ€Π°.

АндрСй Шляхов, популяризатор Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° Π² русскоязычной срСдС, Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ ΠΎΠ± этом сконструированном языкС Ρ‚Π°ΠΊ: ΠΊΠΎΠ³Π΄Π° Π΅Π²Ρ€ΠΎΠΏΠ΅ΠΉΡ†Ρ‹ ΠΊΠΎΠ»ΠΎΠ½ΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Π»ΠΈ ОкСанию, ΠΈΠΌ понадобилось ΠΎΠ±Ρ‰Π°Ρ‚ΡŒΡΡ с мСстными. Π’ΠΎΠ·Π½ΠΈΠΊΠ»ΠΈ простыС языки с ΡƒΠΏΡ€ΠΎΡ‰Π΅Π½Π½ΠΎΠΉ Π³Ρ€Π°ΠΌΠΌΠ°Ρ‚ΠΈΠΊΠΎΠΉ – ΠΏΠΈΠ΄ΠΆΠΈΠ½. Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° – Ρ‚ΠΎΠΆΠ΅ ΠΏΠΈΠ΄ΠΆΠΈΠ½, Π½ΠΎ ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠ³ΠΎ дСйствия. Он Π½ΡƒΠΆΠ΅Π½ Π½Π΅ для приобщСния Ρ‚ΡƒΠ·Π΅ΠΌΡ†Π΅Π² ΠΊ соврСмСнному ΠΌΠΈΡ€Ρƒ, Π° для возвращСния Ρ†ΠΈΠ²ΠΈΠ»ΠΈΠ·ΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ Ρ‡Π΅Π»ΠΎΠ²Π΅ΠΊΠ° ΠΊ корням.

Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, это своСго Ρ€ΠΎΠ΄Π° идСологичСский язык, ΠΈ Π΅Π³ΠΎ ΠΈΠ΄Π΅ΠΉΠ½ΠΎΡΡ‚ΡŒ состоит Π² …… ЧСловСчСскоС общСство Π² 21-ΠΎΠΌ Π²Π΅ΠΊΠ΅ нашСй эры стало чСрСсчур слоТным ΠΈ ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ²Ρ‹ΠΌ, ΠΈ Ρ…ΠΎΡ‚ΡŒ холодная Π²ΠΎΠΉΠ½Π° Π·Π°ΠΊΠΎΠ½Ρ‡ΠΈΠ»Π°ΡΡŒ Ρ‚Ρ€ΠΈΠ΄Ρ†Π°Ρ‚ΡŒ Π»Π΅Ρ‚ Π½Π°Π·Π°Π΄, ΠΊΠΎΠ½Ρ„Π»ΠΈΠΊΡ‚Ρ‹ ΠΈ Π²Π½ΡƒΡ‚Ρ€Π΅Π½Π½ΠΈΠ΅ противорСчия, Ρ‡Ρ‚ΠΎ накапливались Π²Π΅ΠΊΠ°ΠΌΠΈ, Π½Π΅ исчСзли Π² ΠΎΠ΄ΠΈΠ½ ΠΌΠΈΠ³.

Как ΠΈ язык ΠΈΠ· Ρ„ΠΈΠ»ΡŒΠΌΠ° ΠŸΡ€ΠΈΠ±Ρ‹Ρ‚ΠΈΠ΅, Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° ΠΈΠΌΠ΅Π΅Ρ‚ свою Ρ†Π΅Π»ΡŒ ΠΈ, ΠΊΠ°ΠΊ ΠΈ ΠΌΠ½ΠΎΠ³ΠΈΠ΅ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ идСологичСскиС языки, Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Π°Π½ с Ρ†Π΅Π»ΡŒΡŽ проявлСния эффСкта Π‘Π΅ΠΏΠΈΡ€Π°-Π£ΠΎΡ€Ρ„Π°, Π² сознании Π²Π»Π°Π΄Π΅ΡŽΡ‰Π΅Π³ΠΎ этим языком. Но, Π² ΠΎΡ‚Π»ΠΈΡ‡ΠΈΠ΅ ΠΎΡ‚ языка Ρ„ΠΈΠ»ΡŒΠΌΠ° ΠŸΡ€ΠΈΠ±Ρ‹Ρ‚ΠΈΡ, благодаря ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌΡƒ ΠΌΠΎΠΆΠ½ΠΎ Π±Ρ‹Π»ΠΎ Π²Ρ‹ΠΉΡ‚ΠΈ Π·Π° Π³Ρ€Π°Π½ΠΈΡ†Ρ‹ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ прСдставлСния ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ, Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° ΡƒΡ‡ΠΈΡ‚ ΠΆΠΈΡ‚ΡŒ здСсь ΠΈ сСйчас, находя ΡƒΠ΄ΠΎΠ²ΠΎΠ»ΡŒΡΡ‚Π²ΠΈΠ΅ Π² ΠΊΠ°ΠΆΠ΄ΠΎΠΌ ΠΌΠ³Π½ΠΎΠ²Π΅Π½ΠΈΠΈ своСй ΠΆΠΈΠ·Π½ΠΈ.

ИдСи Π°Π½Π°Ρ€Ρ…ΠΎ-ΠΏΡ€ΠΈΠΌΠΈΡ‚ΠΈΠ²ΠΈΠ·ΠΌΠ°, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²ΠΎ построСно ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Паланника "Бойцовский ΠšΠ»ΡƒΠ±", ΡΠ²Π»ΡΡŽΡ‚ΡΡ идСологичСской основой Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π°. ΠŸΡ€ΠΈΠΌΠΈΡ‚ΠΈΠ²ΠΈΡΡ‚Ρ‹ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ сдвиг Π² сторону символичСской ΠΊΡƒΠ»ΡŒΡ‚ΡƒΡ€Ρ‹, Π΅Ρ‘ Π²ΠΎΠΏΠ»ΠΎΡ‰Π΅Π½ΠΈΠ΅ΠΌ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, являСтся язык БМИ, ΠΊΠΎΠ³Π΄Π° Π²ΠΎΠΉΠ½Π° называСтся миротворчСской ΠΈΠ½Ρ‚Π΅Ρ€Π²Π΅Π½Ρ†ΠΈΠ΅ΠΉ, Π° политичСских дСятСлСй – Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ просто Π±Π»ΠΎΠ³Π΅Ρ€Π°ΠΌΠΈ. Π­Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ большая ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° Π² Ρ‚ΠΎΠΌ смыслС, Ρ‡Ρ‚ΠΎ ΠΎΠ½Π° Ρ€Π°Π·Ρ€Ρ‹Π²Π°Π΅Ρ‚ нас с нСпосрСдствСнным осознаниСм Π²Π΅Ρ‰ΠΈ ΠΈΠ»ΠΈ дСйствия ΠΈ Π΅Π³ΠΎ истинного значСния. Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° ΠΆΠ΅ ΠΈΠ΄Ρ‘Ρ‚ ΠΏΡƒΡ‚Ρ‘ΠΌ ΠΌΠΈΡ€Π½ΠΎΠ³ΠΎ измСнСния сознания с Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒΡŽ Π²ΠΈΠ΄Π΅Ρ‚ΡŒ Π²Π΅Ρ‰ΠΈ Ρ‚Π°ΠΊΠΈΠΌΠΈ, ΠΊΠ°ΠΊΠΈΠ΅ ΠΎΠ½ΠΈ Π΅ΡΡ‚ΡŒ Π²Π·Π°ΠΏΡ€Π°Π²Π΄Ρƒ, Π² ΠΎΡ‚Π»ΠΈΡ‡ΠΈΠΈ ΠΎΡ‚ Ρ€Π°Π·Ρ€ΡƒΡˆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π° Π’Π°ΠΉΠ»Π΅Ρ€Π° Π”Ρ‘Ρ€Π΄Π΅Π½Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π» Ρ€Π°Π·Ρ€ΡƒΡˆΠ΅Π½ΠΈΠ΅ всСго Π»ΠΈΡ†Π΅ΠΌΠ΅Ρ€Π½ΠΎΠ³ΠΎ ΠΌΠΈΡ€Π°.

Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° Π½Π΅ΠΈΠ·Π±Π΅ΠΆΠ½ΠΎ ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ вас ΠΊ ΠΈΠ³Ρ€Π΅ ΠΏΠΎΠ΄ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ΠΌ "сСмантичСская дСкомпозиция". Π’ΠΎΡ‡Π½ΠΎ Ρ‚Π°ΠΊ ΠΆΠ΅, ΠΊΠ°ΠΊ ΠΌΡ‹ сокращаСм Π΄Ρ€ΠΎΠ±ΡŒ 4/8 ΠΊ 1/2, Ρ‚ΠΎΡ‡Π½ΠΎ Ρ‚Π°ΠΊ ΠΆΠ΅ ΠΌΡ‹ Ρ€Π°Π·Π±ΠΈΠ²Π°Π΅ΠΌ сСмантичСскиС конструкции Π½Π° самыС простыС ΠΈ Π½Π΅Π΄Π΅Π»ΠΈΠΌΡ‹Π΅ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ смысла ΠΈ Π² этот ΠΌΠΎΠΌΠ΅Π½Ρ‚ ΠΎΡ‚ΠΊΡ€Ρ‹Π²Π°Π΅ΠΌ для сСбя Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ ΠΆΠ΅ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ эти Π²Π΅Ρ‰ΠΈ.

Π’ соотвСтствии с Ρ€Π΅Π΄ΡƒΠΊΡ†ΠΈΠΎΠ½ΠΈΠ·ΠΌΠΎΠΌ слоТныС ΠΈΠ΄Π΅ΠΈ ΠΈ систСмы ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ описаны Π² Ρ‚Π΅Ρ€ΠΌΠΈΠ½Π°Ρ… Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ простых ΠΈΡ… частСй ΠΈΠ»ΠΈ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠ². Π’Π°ΠΊ Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π° Π²Ρ‹Ρ€Π°ΠΆΠ°Π΅Ρ‚ понятия Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ СстСствСнным ΠΈ простым способом, внутрСнняя идСя Π΄ΠΎΠ±Ρ€Π° ΠΈ искрСнности ΠΏΡ€ΠΎΠ½ΠΈΠ·Ρ‹Π²Π°Π΅Ρ‚ вСсь язык.

Π£Ρ‡ΠΈΡ‚Π΅ Ρ‚ΠΎΠΊΠΈ ΠΏΠΎΠ½Π°, вСдь ΠΎΠ²Π»Π°Π΄Π΅Ρ‚ΡŒ ΠΈΠΌ ΠΌΠΎΠΆΠ½ΠΎ Π·Π° ΠΏΠ°Ρ€Ρƒ часов занятий, Π½ΠΎ эффСкт ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΎΠ½ ΠΎΠΊΠ°ΠΆΠ΅Ρ‚ Π½Π° вашС восприятиС Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ - Π½Π΅ сравнится Π½ΠΈ с Ρ‡Π΅ΠΌ.

ΠΌΠΈ Ρ‚Π°ΡžΠ°!


Tags
1 month ago
Smth Smth Out Here Doing The Opposite Of Kokosila (none Of My Friends Know Toki Pona So I Must Share

smth smth out here doing the opposite of kokosila (none of my friends know toki pona so i must share with my people here)


Tags
1 month ago

here's the sitelen sitelen version of the same text:

Here's The Sitelen Sitelen Version Of The Same Text:
Here's The Sitelen Sitelen Version Of The Same Text:

this genuinely took me like an hour, it was the last part of the essay i did and i felt SO satisfied. better than sex

Here's The Sitelen Sitelen Version Of The Same Text:

felt important to preserve these prev tags. for future historians

by FAR my favourite part of writing an essay on toki pona's scripts was realizing my name could be written in sitelen pona with the characters on the lower line:

sitelen pona characters written with pencil on paper; the text reads "kama sona e sitelen Lasina e sitelen pona e sitelen sitelen e mute / tan jan Oli Jun Owepeke. the author name is spelt using the characters (olin) (jaki uta nanpa) (o weka pakala en ken) with the appropriate marks to indicate which parts of each word are pronounced

which mean

(love) (numerous mouthy obscenities) (please ignore my errors and abilities)

hi my name is Love Swearing Lots Don't Look At Me and i have long profane error-prone hair (that's how i got my name) wi-


Tags
1 month ago

by FAR my favourite part of writing an essay on toki pona's scripts was realizing my name could be written in sitelen pona with the characters on the lower line:

sitelen pona characters written with pencil on paper; the text reads "kama sona e sitelen Lasina e sitelen pona e sitelen sitelen e mute / tan jan Oli Jun Owepeke. the author name is spelt using the characters (olin) (jaki uta nanpa) (o weka pakala en ken) with the appropriate marks to indicate which parts of each word are pronounced

which mean

(love) (numerous mouthy obscenities) (please ignore my errors and abilities)

hi my name is Love Swearing Lots Don't Look At Me and i have long profane error-prone hair (that's how i got my name) wi-


Tags
1 year ago

art dump #5

Art Dump #5

some color theory stuff hehehe

Art Dump #5

a borzoi :)

Art Dump #5

some furry ig

Art Dump #5

Toki Pona language as a bug bc I thought it was cute-

crtsfvgybhuiko idk that's prolly it for now :D


Tags
3 weeks ago
screenshot of notepad with the sitelen pona from a to nasin, each one made out of akesis

making a toki pona font where every word is made out of akesi because i have too much time on my hands and i need to do something

(still WIP, duh)

legibility is for losers, akesissen (that's not how you pluralize akesi) are awesome


Tags
1 month ago

was listening to poki suno lili (linked above), and for some reason my mind told me: "skasoweli"

ive only listened to 2 ska songs ever in my life, i have no idea what the heck im doing


Tags
1 month ago

im planning on recording this translation with my own voice, but i learned how to use openutau for two (2!) other songs, so i might as well keep tetoing for fun


Tags
1 month ago

i did a toki pona translation of You Can Do Anything from Sonic CD. also decided to start dabbling in vocaloid (well, Utauloid, actually, this is Teto)


Tags
4 months ago

wawa

Me Starting To Copy The Random Noises My Friends Make

Me starting to copy the random noises my friends make


Tags
5 months ago

turns out sonic heroes's anniversary is on my birthday, so that's neat the game is dogshit (please remake it, sega) but i decided to translate the main theme into toki pona


Tags
10 months ago
Awen

awen

me when im playing

Me When Im Playing

Tags
11 months ago

Tags
11 months ago

[mu]

LISTEN UP CUTE FRAUDS

[mu]

YOU'RE NOW LISTENING TO

[mu]

WAN-O-TU-POINT-MUTE

[mu]

NEW RADIO SHOWS

["seme a??!"]

WHERE WE PLAY NOTHING BUT DREAMS OF OUR GENERATION, DREAMS OF OUR GENERATION, AND MORE DREAMS OF OUR GENERATION

[mu]

[mu]

THIS AIN'T THE IDIOTIC B. GILSON'S STATION

[Imagine Dragons - Radioactive starts playing]


Tags
11 months ago

musi pi toki pona

jan tu li lon. jan nanpa wan li jo e ijo tu. jan nanpa tu li jo e ijo wan. jan nanpa tu li toki e ni: "mi pana e ijo ni tawa sina." jan nanpa wan li toki e ni: "mi jo ala e luka tu wan."
jan nanpa tu li toki e nimi A li pana e sitelen 8 (pi sitelen Lasina) tawa jan nanpa wan.

Tags
2 years ago

dreamed that kindergarten nap was called sleep class and everybody went to sleep including the teacher. if you were awake it would get a little bit foggy outside and grey and cloudy, and these guys would start approaching the classroom from behind the tree line (forgive my shitty phone drawing)

Dreamed That Kindergarten Nap Was Called Sleep Class And Everybody Went To Sleep Including The Teacher.

and they were at least a story tall, some of them were taller, you could see their legs over the trees. they would approach very slowly. this one (the one i drew) had a name for some reason, his name is kick.

before i was totally awake my brain conjured a meme of a bunch of these guys approaching from the treeline and a child watching from the window with the caption β€œwhen you the only one awake in sleep class πŸ˜‚πŸ˜³πŸ˜β€


Tags
2 years ago

im sorry

Im Sorry

remind me to rewrite this in the latin alphabet (sitelen Lasina) tomorrow

edit:

lon pi nanpa kipisi la [ante K ala la ante P ala] la [ante P la ante K]

( discrete math theorem: (~K => ~P) => (P => K) )

nasin lon

proof

(wan) [ante K ala la ante P ala] la [[ante K ala la ante P] la ante K]

(1) ((~K) => (~P)) => (((~K) => P) => K)

(tu) [ante K ala la ante P] la [[ante K ala la ante P ala] la ante K]

(2) ((~K) => P) => (((~K) => (~P)) => K)

(tu wan) ante P la [ante K ala la ante P]

(3) P => ((~K) => P)

(tu tu) ante P la [[ante K ala la ante P ala] la ante K]

(4) P => (((~K) => (~P)) => K)

(luka) [ante K ala la ante P ala] la [ante P la ante K]

(5) ((~K) => (~P)) => (P => K)

tan seme

why

(wan) lawa tu wan

(1) Axiom 3*

(tu) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]

(2) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))

(tu wan) lawa wan

(3) Axiom 1

(tu tu) lon pi nanpa kipisi: ante P la ante K. ante K la ante L. ni la ante P la ante L.

(4) discrete math theorem: P => K, K => L ⊒ P => L

(luka) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]

(5) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))

*so i went on Wikipedia to see if axiom numbers used in my class match up with what people usually use, and i found out that thing i was proving (i.e. contrapositive) is axiom 3 according to Wikipedia. however, in my class, axiom 3 is

"((~p)=>(~q)) => (((~p)=>q)=>p)"

so uh... yeah for the purposes of this post, ^ is axiom 3


Tags
Loading...
End of content
No more pages to load
Explore Tumblr Blog
Search Through Tumblr Tags