{
    "title": "Loogikavalemite teisendaja",
    "input": "Töödeldav valem",
    "inputGuide": "Enne teisendamist sisesta valem ja vajuta nupule 'Alusta teisendamist'",
    "inputDescription": "Sisesta valem või ...",
    "fileInputDescription": "... laadi üles pooleliolev lahendus JSON-failist",
    "newInputDescription": "Sisesta uus osavalem {toInsert}",
    "startConversions": "Alusta teisendamist",
    "conversions": "Teisendussammud",
    "deleteLast": "Kustuta viimane teisendussamm",
    "deleteAll": "Kustuta kõik teisendussammud",
    "deleteAllConfirmation": "Kustutada kõik teisendussammud?",
    "downloadTEX": "Laadi alla TeX",
    "downloadPDF": "Laadi alla PDF",
    "downloadJSON": "Laadi alla JSON",
    "insertFormulaGuide": "Sisesta valem. Loogikasümboleid saab sisestada nii sisendlahtri kohal olevate nuppude abil, klaviatuurilt numbritega kui ka käsitsi TeXi kujul. Sümboli sisestamise numbrit näeb, kui hiirt hoida vastava sümbolinupu peal. TeXi kujul sisestatu asendatakse automaatselt vastavate sümbolitega:",
    "pressStartButtonGuide": "Vajuta nupule 'Alusta teisendamist'.",
    "conversionGuide": "Vali hiirega sisendlahtris teisendatav osavalem ja vajuta vastavale nupule. Kui tehte suund on vasakult paremale, vajuta samaväärsusmärgist vasakul olevale nupule, kui paremalt vasakule, siis paremal asuvale nupule.",
    "metaCharsGuide": "Sümbol ∗ tähistab reeglite L3 ja L4 puhul nii konjunktsiooni, disjunktsiooni kui ka ekvivalentsi, reeglite P5 ja P6 puhul aga ainult konjunktsiooni ja disjunktsiooni. Reegli L9 puhul tähistab T tõeväärtust.",
    "resultGuide": "Teisendussammud kuvatakse töödeldava valemi all.",
    "resultSaveGuide": "Tulemuse allalaadimine",
    "downloadGuide": "Lõpptulemuse saab alla laadida TeX kui ka PDF vormingus.",
    "itermediateDownloadGuide": "Et teisendustega hiljem jätkata, laadi vahetulemus alla JSON vormingus. Saadud faili on võimalik hiljem rakendusse importida.",
    "additionalGuide": "Kommutatiivsus ja assotsiatiivsus",
    "commutationGuide": "Reeglite L5 - L8, L12, L13, L16, L19 - L26, P5 ja P6 korral tehakse teisendus ka siis, kui osavalemid on disjunktsioonis või konjunktsioonis reegliga võrreldes vastupidises järjekorras.",
    "associativityGuide": "Kui valemisse jääb kõrvuti mitu ühesugust assotsiatiivset tehet, lubab rakendus osavalemi valida nii vasakult, keskelt kui ka paremalt. Näiteks võib valemist A∧B∧C∧D valida teisendamiseks muu hulgas A∧B, B∧C ja C∧D. Aga kui valitud osavalemisse endasse jääb kõrvuti ilma sulgudeta kaks või enam sama prioriteediga tehet, siis peatehteks jääb kõige parempoolsem tehe. Näiteks kui valitud on osavalem A∧B∧C, siis on konjunktsiooni vasak pool konjunktsioon A∧B ja parem pool valem C.",
    "showHelp": "Näita abi",
    "hideHelp": "Peida abi",
    "noInput": "Valem on sisestamata!",
    "faultyInput": "Valem ei ole korrektsel kujul! {clarification}",
    "faultyConversion": "Valitud teisendus {conversion} ei sobi sellele osavalemile!",
    "notSubformula": "Valitud ei ole põhivalemi osavalemit!",
    "noSubformula": "Osavalem on valimata!",
    "conversionNotAllowed": "Valitud teisendus {conversion} ei ole lubatud!",
    "inputFileError": "Viga failis!",
    "enteringFormulas": "Valemite sisestamine ja teisenduste tegemine",
    "selectionNotFromCorrectField": "Osavalem teisendamiseks tuleb valida töödeldava valemi alt!",
    "symbols": "Sümbolid",
    "indConstFunct": "Muutujad, konstandid ja funktsionaalsümbolid",
    "functNote": "Funktsionaalsümbolit ei saa samal ajal kasutada muutuja või konstandina.",
    "pred": "Predikaatsümbolid",
    "insertNew": "Valitud reegel {rule}, sisesta uus osavalem",
    "newIsIncorrect": "Valem on sisestamata või ei ole korrektne!",
    "ready": "Valmis",
    "cancel": "Katkesta",
    "propLogic": "Lausearvutuse põhisamaväärsused",
    "predicateLogic": "Predikaatarvutuse põhisamaväärsused",
    "show": "Näita",
    "hide": "Peida",
    "truthValues": "Tõeväärtused",
    "insertFilename": "Sisesta failinimi ilma laiendita",
    "fileNamePlaceholder": "Sisesta failinimi siia",
    "invalidFilename": "Sisestatud failinimi pole lubatud!",
    "forbiddenChars": "Väldi failinimes tühikuid, reavahetust ning järgmisi sümboleid: {symbols}",
    "defaultFileName": "teisendused",
    "yes": "Jah",
    "no": "Ei",
    "predicateArgError": "Viga predikaadi {symbol} argumentide arvus!",
    "functionArgError": "Viga funktsiooni {symbol} argumentide arvus!",
    "syntaxError": "Valem ei ole süntaktiliselt korrektne! Viga kohal: {index}; sümbol: {symbol}.",
    "syntaxErrorEnding": "Valem ei ole süntaktiliselt korrektne! Viga on valemi lõpus.",
    "functionInManyRoles": "Funktsionaalsümbol {symbol} on kasutusel ka konstandi või indiviidina!",
    "unknownError": "Tundmatu viga!",
    "noNewSubformula": "Uus osavalem on sisestamata!"
}