Reply on: 810zssk #232900:
Tu nejde o formálnu platnosť výrokovej logiky, tu ide o jej obsah, ktorý si formuloval takým spôsobom, aby vyznel, že v roku 2019 niekto spiatočnícky nahráva natvrdo oznamy. Informácia o prestupe je samostatný audio súbor a môže sa použiť k hociktorej zastávke, v budúcnosti ho môže vyvolať aj vodič. Systém je obmedzujúci, ale v rámci neho je snaha o najväčšiu flexibilitu.
Napisal som ze hlasenie je bud parametrom zastavky, ALEBO dokonca v nej natvrdo nahrate v jej hlaseni. Ty tu pises ze je parametrom zastavky. Cize som mal pravdu. Dezinformacie, slamene panaky, rydzi hejt!
.
gejza