V sedmé lekci se podíváme na jinou oblast formálních základů pro informatiku - na základy matematické logiky. Bude se jednat o skutečně velmi lehký úvod do této těžké oblasti, tak akorát přizpůsobený běžným potřebám informatiků. I zde však lze narazit na obtížné partie, zejména co se týče přenosu získaných zdánlivě velmi snadných poznatků o logice "do praxe". Zamyslete se sami třeba zda skutečně chápete logický význam (pravdivé) implikace 0=>0 i v jejím slovním vyjádření, které najdete v příslušných příkladech odpovědníku (a v čem studenti často chybují).

Podívejte se tedy pozorně na přiložené odpovědníky a sami si zkuste, nakolik látce rozumíte do detailu i do hloubky. Máte na výběr od velice snadných příkladů na prosté doplňování pravdivostních tabulek, přes trochu obtížnější poznávání splnitelnosti a tautologií, až k těžšímu převodu formulí do normálního tvaru či do tvaru s určenými spojkami. Základním nástrojem k řešení je pro tyto příklady jen dobrá znalost pravdivostních tabulek a jejich použití.

Následuje malé cvičení z logiky a jazyka pro pobavení...

Třebaže celá látka tohoto stručného úvodu do logiky je jednoduchá a ani studenti ji za těžkou nepovažují, je tu jeden důležitý bod - platnost implikace z neplatného předpokladu, který mnohým dělá problémy (a ani si to včas neuvědomí, až třeba na zkoušce). Čtěte v této staré diskuzi, srovnejte si to s příslušnými příklady v odpovědnících a případně založte nové diskuzní vlákno na toto téma v aktuálním semestru.

Opět přidáváme dvě starší sady příkladů k doplňkovému procvičení. Ne vše v nich se vztahuje k logice, ale za vyzkoušení to stojí...