The wiki page is under active construction, expect bugs.

Differences

This shows you the differences between two versions of the page.

--- statnice:bakalar:b0b01lgr [2025/05/19 13:22] – [Normální formy formulí] zapleka3
+++ statnice:bakalar:b0b01lgr [2025/06/01 11:45] (current) – zapleka3
@@ Line 1: / Line 1: @@
-==== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. ====
+====== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. ======
 [[https://fel.cvut.cz/cz/education/bk/predmety/46/80/p4680706.html|B0B01LGR]] [[https://math.fel.cvut.cz/en/people/gollova/lgr/lgr-prednaska.html|Webové stránky předmětu]] [[https://docs.google.com/document/d/1yGhEceIZR0vuSbkH2nP-3HrXwGxUGZck/edit|Manuál 101]]
@@ Line 284: / Line 284: @@
   * Odvozovací systém bez axiomů, používá pravidla pro spojky i kvantifikátory
   * Dedukce: $S \vdash \varphi$ znamená, že $\varphi$ lze odvodit ze $S$
+{{:statnice:bakalar:pasted:20250517-201056.png}}
 **Věta o úplnosti**:

Trace: